12 #ifndef CPROVER_GOTO_PROGRAMS_PROPERTY_CHECKER_H 13 #define CPROVER_GOTO_PROGRAMS_PROPERTY_CHECKER_H 55 #endif // CPROVER_GOTO_PROGRAMS_PROPERTY_CHECKER_H std::map< irep_idt, property_statust > property_mapt
void initialize_property_map(const goto_functionst &)
static std::string as_string(resultt)
instructionst::const_iterator const_targett
A collection of goto functions.
Class that provides messages with a built-in verbosity 'level'.
property_mapt property_map
virtual resultt operator()(const goto_modelt &)=0
goto_programt::const_targett location