cprover
|
Set the properties to check. More...
#include <list>
#include <string>
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 122 of file set_properties.cpp.
void label_properties | ( | goto_modelt & | ) |
Definition at line 45 of file set_properties.cpp.
void label_properties | ( | goto_programt & | ) |
Definition at line 92 of file set_properties.cpp.
void make_assertions_false | ( | goto_functionst & | ) |
Definition at line 138 of file set_properties.cpp.
void make_assertions_false | ( | goto_modelt & | ) |
Definition at line 133 of file set_properties.cpp.
void set_properties | ( | goto_functionst & | goto_functions, |
const std::list< std::string > & | properties | ||
) |
Definition at line 105 of file set_properties.cpp.
void set_properties | ( | goto_modelt & | goto_model, |
const std::list< std::string > & | properties | ||
) |
Definition at line 98 of file set_properties.cpp.