cprover
|
#include <iosfwd>
#include <util/message.h>
#include <util/namespace.h>
#include <util/options.h>
#include <goto-programs/goto_model.h>
Go to the source code of this file.
Functions | |
bool | static_analyzer (const goto_modelt &, const optionst &, message_handlert &) |
void | show_intervals (const goto_modelt &, std::ostream &) |
void show_intervals | ( | const goto_modelt & | , |
std::ostream & | |||
) |
Definition at line 229 of file static_analyzer.cpp.
References static_analyzert::interval_analysis, and ai_baset::output().
Referenced by goto_analyzer_parse_optionst::doit().
bool static_analyzer | ( | const goto_modelt & | , |
const optionst & | , | ||
message_handlert & | |||
) |
Definition at line 220 of file static_analyzer.cpp.
References static_analyzert::static_analyzert().
Referenced by goto_analyzer_parse_optionst::doit().