12 /* loops forever if bug ist present */
13 do {} while (c1 && c2);
16 do {} while ( c1 && c1);
17 do {} while ( c1 && !c2);
18 do {} while (!c1 && !c2);
19 do {} while ( c2 && c1);
20 do {} while (!c2 && c1);
21 do {} while (!c2 && !c1);
22 do {} while (!c2 && !c2);
24 do {} while ( c1 || c1);
25 do {} while ( c1 || !c2);
26 do {} while (!c2 || c1);
27 do {} while (!c2 || !c2);