CORE
main.c
--property main.assertion.1 --property main.assertion.3
activate-multi-line-match
^EXIT=10$
^SIGNAL=0$
^VERIFICATION FAILED$
^main.c function main\n\[main\.assertion\.1\] line 5 .* SUCCESS\n\[main\.assertion\.3\] line 9 .* FAILURE$
--
^warning: ignoring
