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
17
void
add_malloc_may_fail_variable_initializations
(
goto_modelt
&goto_model);
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
goto-programs
add_malloc_may_fail_variable_initializations.h
Generated by
1.8.20