cprover
add_malloc_may_fail_variable_initializations.h
Go to the documentation of this file.
1 
6 // NOLINT(whitespace/line_length)
7 #ifndef CPROVER_GOTO_PROGRAMS_ADD_MALLOC_MAY_FAIL_VARIABLE_INITIALIZATIONS_H
8 // NOLINT(whitespace/line_length)
9 #define CPROVER_GOTO_PROGRAMS_ADD_MALLOC_MAY_FAIL_VARIABLE_INITIALIZATIONS_H
10 
11 class goto_modelt;
12 
18 
19 // NOLINT(whitespace/line_length)
20 #endif // CPROVER_GOTO_PROGRAMS_ADD_MALLOC_MAY_FAIL_VARIABLE_INITIALIZATIONS_H
add_malloc_may_fail_variable_initializations
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 ...
Definition: add_malloc_may_fail_variable_initializations.cpp:22
goto_modelt
Definition: goto_model.h:26