CORE
main.c
--generate-function-body func --generate-function-body-options nondet-return
^SIGNAL=0$
\[main.assertion.1\] line \d+ assertion func\(\) == 0: FAILURE
\[main.assertion.2\] line \d+ assertion func\(\) != 0: FAILURE
--
^warning: ignoring
