CORE
main.c
--symex-coverage-report - --paths lifo
<line branch="false" hits="1" number="12"/>
^EXIT=0$
^SIGNAL=0$
^VERIFICATION SUCCESSFUL$
--
^warning: ignoring