cprover
|
Set the properties to check. More...
#include "goto_model.h"
Go to the source code of this file.
Functions | |
void | set_properties (goto_functionst &goto_functions, const std::list< std::string > &properties) |
void | set_properties (goto_modelt &goto_model, const std::list< std::string > &properties) |
void | make_assertions_false (goto_functionst &) |
void | make_assertions_false (goto_modelt &) |
void | label_properties (goto_functionst &) |
void | label_properties (goto_programt &) |
void | label_properties (goto_modelt &) |
Set the properties to check.
Definition in file set_properties.h.
void label_properties | ( | goto_functionst & | ) |
Definition at line 117 of file set_properties.cpp.
References goto_functions_templatet< bodyT >::function_map, and label_properties().
void label_properties | ( | goto_programt & | ) |
Definition at line 88 of file set_properties.cpp.
References label_properties().
void label_properties | ( | goto_modelt & | ) |
Definition at line 41 of file set_properties.cpp.
References goto_modelt::goto_functions, and label_properties().
Referenced by clobber_parse_optionst::doit(), goto_analyzer_parse_optionst::doit(), symex_parse_optionst::doit(), goto_fence_inserter_parse_optionst::instrument_goto_program(), goto_instrument_parse_optionst::instrument_goto_program(), label_properties(), and cbmc_parse_optionst::process_goto_program().
void make_assertions_false | ( | goto_functionst & | ) |
Definition at line 134 of file set_properties.cpp.
References goto_functions_templatet< bodyT >::function_map, and goto_program_templatet< codeT, guardT >::instructions.
void make_assertions_false | ( | goto_modelt & | ) |
Definition at line 129 of file set_properties.cpp.
References goto_modelt::goto_functions, and make_assertions_false().
Referenced by make_assertions_false(), and clobber_parse_optionst::process_goto_program().
void set_properties | ( | goto_functionst & | goto_functions, |
const std::list< std::string > & | properties | ||
) |
Definition at line 101 of file set_properties.cpp.
References Forall_goto_functions, id2string(), and set_properties().
void set_properties | ( | goto_modelt & | goto_model, |
const std::list< std::string > & | properties | ||
) |
Definition at line 94 of file set_properties.cpp.
References goto_modelt::goto_functions, and set_properties().