Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (525 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)