Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (897 Bytes)

1
V19_late and (OK != (true -> ((not (not V19_late)) and pre V20_early))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
2
(V63_diff < 0) and (V19_late != (false -> (if pre V19_late then (not (V63_diff < 0)) else (V63_diff <= (- 10))))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
3
(V63_diff <= (- 10)) and (V19_late != (false -> (if pre V19_late then (V63_diff < 0) else (not (V63_diff <= (- 10)))))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
4
(V63_diff > 0) and (V20_early != (false -> (if pre V20_early then (not (V63_diff > 0)) else (V63_diff >= 10)))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
5
(V63_diff >= 10) and (V20_early != (false -> (if pre V20_early then (V63_diff > 0) else (not (V63_diff >= 10))))) and (beacon or not beacon) and (second or not second) and (OK or not OK)