If the handler registered with symcc_set_test_case_handler is compiled with SymCC instrumentation (which isn't unlikely if it's part of the program under test), it reads garbage parameter expressions from the runtime which may lead to crashes. We should therefore reset any parameter expressions before calling the handler.
If the handler registered with
symcc_set_test_case_handleris compiled with SymCC instrumentation (which isn't unlikely if it's part of the program under test), it reads garbage parameter expressions from the runtime which may lead to crashes. We should therefore reset any parameter expressions before calling the handler.