cprover
Loading...
Searching...
No Matches
static_simplifier.cpp File Reference
Include dependency graph for static_simplifier.cpp:

Go to the source code of this file.

Functions

bool static_simplifier (goto_modelt &goto_model, const ai_baset &ai, const optionst &options, message_handlert &message_handler, std::ostream &out)
 Simplifies the program using the information in the abstract domain.

Function Documentation

◆ static_simplifier()

bool static_simplifier ( goto_modelt & goto_model,
const ai_baset & ai,
const optionst & options,
message_handlert & message_handler,
std::ostream & out )

Simplifies the program using the information in the abstract domain.

Parameters
goto_modelthe program analyzed
aithe abstract interpreter after it has been run to fix point
optionsthe parsed user options
message_handlerthe system message handler
outoutput stream for the simplified program
Returns
false on success with the domain printed to out

Definition at line 29 of file static_simplifier.cpp.