Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (256 Bytes)

1
V4_a and (OK != ((((((not V4_a) or ((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)