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.