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 120 of file set_properties.cpp.
void label_properties | ( | goto_modelt & | ) |
Definition at line 43 of file set_properties.cpp.
void label_properties | ( | goto_programt & | ) |
Definition at line 90 of file set_properties.cpp.
void make_assertions_false | ( | goto_functionst & | ) |
Definition at line 136 of file set_properties.cpp.
void make_assertions_false | ( | goto_modelt & | ) |
Definition at line 131 of file set_properties.cpp.
void set_properties | ( | goto_functionst & | goto_functions, |
const std::list< std::string > & | properties | ||
) |
Definition at line 103 of file set_properties.cpp.
void set_properties | ( | goto_modelt & | goto_model, |
const std::list< std::string > & | properties | ||
) |
Definition at line 96 of file set_properties.cpp.