CORE
main.c
--cover branch --unwind 2
^EXIT=0$
^SIGNAL=0$
^\[main.coverage.1\] file main.c line 5 function main entry point: SATISFIED$
^\[main.coverage.2\] file main.c line 6 function main block .* branch false: SATISFIED$
^\[main.coverage.3\] file main.c line 6 function main block .* branch true: SATISFIED$
--
^warning: ignoring
