FUTURE
main.c
--intervals
^EXIT=0$
^SIGNAL=0$
^\[main.assertion.1\] line 12 assertion i<50: UNKNOWN$
^\[main.assertion.2\] line 13 assertion i<51: UNKNOWN$
^\[main.assertion.3\] line 14 assertion i<52: SUCCESS$
--
^warning: ignoring
