CORE
main.c
--full-slice --property main.assertion.1 --unwind 1 --verbosity 10
^EXIT=10$
^SIGNAL=0$
^VERIFICATION FAILED
--
^warning: ignoring
^Thread 0 file main.c line 16 function doit
^Thread 0 file main.c line 19 function doit
^Thread 0 file main.c line 21 function doit
^Thread 0 file main.c line 41 function main
^Thread 0 file main.c line 42 function main
