CORE
main.c
--full-slice --property main.assertion.2 --unwind 1 --verbosity 10
^EXIT=10$
^SIGNAL=0$
^VERIFICATION FAILED
--
^warning: ignoring
^Thread 0 file main.c line 19 function doit
^Thread 0 file main.c line 21 function doit
^Thread 0 file main.c line 43 function main
^Thread 0 file main.c line 44 function main
--
Tests whether properties are not relabelled after slicing.