CORE
main.c
--cover condition
^EXIT=0$
^SIGNAL=0$
^\[main.coverage.1] file main.c line 8 function main condition .* false: SATISFIED
^\[main.coverage.2] file main.c line 8 function main condition .* true: SATISFIED
^\[main.coverage.3] file main.c line 8 function main condition .* false: SATISFIED
^\[main.coverage.4] file main.c line 8 function main condition .* true: SATISFIED
^\[main.coverage.5] file main.c line 11 function main condition .* false: SATISFIED
^\[main.coverage.6] file main.c line 11 function main condition .* true: SATISFIED
^\[main.coverage.7] file main.c line 14 function main condition .* false: SATISFIED
^\[main.coverage.8] file main.c line 14 function main condition .* true: SATISFIED
^\[main.coverage.9] file main.c line 16 function main condition .* false: FAILED
^\[main.coverage.10] file main.c line 16 function main condition .* true: SATISFIED
^\*\* 9 of 10 covered \(90.0%\)
--
^warning: ignoring
