Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / bench / distrib / misc / stalmark / tests / stalmark.test_suite.no_mcdc @ 53aa0cb0

History | View | Annotate | Download (771 Bytes)

1
V6_c and (OK != (((((((not V4_a) and (not V5_b)) and (not V6_c)) or (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK)
2
V5_b and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) or (((not V4_a) and (not V5_b)) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK)
3
V4_a and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) or (((not V4_a) and V5_b) and (not V6_c))) or (((not V4_a) and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK)