CORE
dummy_parameter.c
string
^EXIT=(0|127|134|137)$
^SIGNAL=0$
--- begin invariant violation report ---
Test invariant failure
Invariant check failed
^(Backtrace)|(Backtraces not supported)$
^Condition: false$
^Reason: Test invariant failure$
--
^warning: ignoring
^VERIFICATION SUCCESSFUL$
