CORE
main.c
--generate-function-body touches_globals --generate-function-body-options 'havoc,globals:(?!__).*'
^EXIT=10$
^SIGNAL=0$
^VERIFICATION FAILED$
^\[main.assertion.1\] .* assertion global == 10: FAILURE$
^\[main.assertion.2\] .* assertion constant_global == 10: SUCCESS$
--
^warning: ignoring
