cprover
|
Set Properties. More...
Go to the source code of this file.
Functions | |
void | set_properties (goto_programt &goto_program, std::unordered_set< irep_idt > &property_set) |
void | label_properties (goto_modelt &goto_model) |
void | label_properties (goto_programt &goto_program, std::map< irep_idt, std::size_t > &property_counters) |
void | label_properties (goto_programt &goto_program) |
void | set_properties (goto_modelt &goto_model, const std::list< std::string > &properties) |
void | set_properties (goto_functionst &goto_functions, const std::list< std::string > &properties) |
void | label_properties (goto_functionst &goto_functions) |
void | make_assertions_false (goto_modelt &goto_model) |
void | make_assertions_false (goto_functionst &goto_functions) |
Set Properties.
Definition in file set_properties.cpp.
void label_properties | ( | goto_modelt & | goto_model | ) |
Definition at line 41 of file set_properties.cpp.
References goto_modelt::goto_functions, and label_properties().
Referenced by clobber_parse_optionst::doit(), goto_instrument_parse_optionst::instrument_goto_program(), label_properties(), janalyzer_parse_optionst::perform_analysis(), goto_analyzer_parse_optionst::perform_analysis(), jbmc_parse_optionst::process_goto_function(), jbmc_parse_optionst::process_goto_functions(), jdiff_parse_optionst::process_goto_program(), goto_diff_parse_optionst::process_goto_program(), and cbmc_parse_optionst::process_goto_program().
void label_properties | ( | goto_programt & | goto_program, |
std::map< irep_idt, std::size_t > & | property_counters | ||
) |
Definition at line 46 of file set_properties.cpp.
References goto_program, id2string(), goto_programt::instructions, and to_string().
void label_properties | ( | goto_programt & | goto_program | ) |
Definition at line 88 of file set_properties.cpp.
References goto_program, and label_properties().
void label_properties | ( | goto_functionst & | goto_functions | ) |
Definition at line 117 of file set_properties.cpp.
References goto_functionst::function_map, and label_properties().
void make_assertions_false | ( | goto_modelt & | goto_model | ) |
Definition at line 128 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 make_assertions_false | ( | goto_functionst & | goto_functions | ) |
Definition at line 133 of file set_properties.cpp.
References goto_functionst::function_map, goto_program, and goto_programt::instructions.
void set_properties | ( | goto_programt & | goto_program, |
std::unordered_set< irep_idt > & | property_set | ||
) |
Definition at line 17 of file set_properties.cpp.
References goto_program, and goto_programt::instructions.
Referenced by 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().
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().