Multicondition Coverage Instrumentation

With multicondition instrumentation, the same parts of the code are instrumented in general as with decision instrumentation. Additionally, assignments are instrumented.

Decisions in if, while, for, do... while statements are separated into their atomic conditions, if they contain && or || operators.

The right hand side of an assignment (=, +=, -=, ...) is considered as a decision in this sense if it contains && or ||.

The whole decision is instrumented as well as each atomic condition.