cprover
|
#include <goto-programs/goto_model.h>
Go to the source code of this file.
Functions | |
void | instrument_preconditions (goto_modelt &) |
void instrument_preconditions | ( | goto_modelt & | ) |
Definition at line 137 of file instrument_preconditions.cpp.
References goto_functionst::function_map, goto_modelt::goto_functions, instrument_preconditions(), and remove_preconditions().