FUTURE
main.c
--intervals
^EXIT=0$
^SIGNAL=0$
^\[main.assertion.1\] line 8 assertion j<=100: SUCCESS$
^\[main.assertion.2\] line 11 assertion j<101: SUCCESS$
^\[main.assertion.3\] line 14 assertion j>100: FAILURE \(if reachable\)$
^\[main.assertion.4\] line 17 assertion j<99: UNKNOWN$
^\[main.assertion.5\] line 20 assertion j==100: FAILURE \(if reachable\)$
--
^warning: ignoring
