cprover
instrument_preconditions.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Move preconditions of a function
4  to the call-site of the function
5 
6 Author: Daniel Kroening
7 
8 Date: September 2017
9 
10 \*******************************************************************/
11 
12 #ifndef CPROVER_GOTO_PROGRAMS_INSTRUMENT_PRECONDITIONS_H
13 #define CPROVER_GOTO_PROGRAMS_INSTRUMENT_PRECONDITIONS_H
14 
16 
20 
21 #endif // CPROVER_GOTO_PROGRAMS_INSTRUMENT_PRECONDITIONS_H
remove_preconditions
void remove_preconditions(goto_modelt &)
Definition: instrument_preconditions.cpp:149
goto_model.h
Symbol Table + CFG.
goto_modelt
Definition: goto_model.h:26
instrument_preconditions
void instrument_preconditions(goto_modelt &)
Definition: instrument_preconditions.cpp:131
goto_functiont
A goto function, consisting of function type (see type), function body (see body),...
Definition: goto_function.h:28