cprover
|
#include <goto-programs/goto_model.h>
Go to the source code of this file.
Functions | |
void | instrument_preconditions (goto_modelt &) |
void | remove_preconditions (goto_modelt &) |
void | remove_preconditions (goto_functiont &) |
void instrument_preconditions | ( | goto_modelt & | ) |
Definition at line 131 of file instrument_preconditions.cpp.
void remove_preconditions | ( | goto_functiont & | ) |
Definition at line 144 of file instrument_preconditions.cpp.
void remove_preconditions | ( | goto_modelt & | ) |
Definition at line 149 of file instrument_preconditions.cpp.