Branch testing, like most testing methods, is based on coverage, in this case of the alternatives of conditional expressions
. The idea is that if something is not covered, then that something might hide an arbitrarily bad blunder.
If the value of the conditional expression
is true, the program executes the first group of commands after the comma, and if the value of the conditional expression
is false, the program executes the second group of commands (after the second comma).
Pruning unreachable code is most important for conditional expressions
. Let <m, [Rho], [Kappa]>[Lambda] be the unique closure called at l.
(6) A conditional joining two assignments (to the same variables) may be replaced by a single assignment of a conditional expression
to the same variables: ((x := E) b (x := F)) = (x := (E b F)).
Salamander has received preliminary, conditional expressions
of interest for part or the entire company and is currently in talks with potential buyers, it further explained.