cprover
|
Go to the source code of this file.
Functions | |
void | add_malloc_may_fail_variable_initializations (goto_modelt &goto_model) |
Some variables have different initial values based on what flags are being passed to cbmc; since the _start function might've been generated by goto-cc before getting passed over here we need to add the initialisation of these variables here as a post-processing step. More... | |
Definition in file add_malloc_may_fail_variable_initializations.h.
void add_malloc_may_fail_variable_initializations | ( | goto_modelt & | goto_model | ) |
Some variables have different initial values based on what flags are being passed to cbmc; since the _start function might've been generated by goto-cc before getting passed over here we need to add the initialisation of these variables here as a post-processing step.
Definition at line 22 of file add_malloc_may_fail_variable_initializations.cpp.