|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <yaml_property_parser.h>
Public Attributes | |
| std::string | id |
| PropertyKind | kind |
| std::string | description |
| std::string | justification |
| std::vector< std::string > | variables |
| std::string | expression |
| std::string | trigger |
| std::string | response_var |
| unsigned | max_scans = 0 |
| std::string LdProperty::description |
| std::string LdProperty::expression |
| std::string LdProperty::id |
| std::string LdProperty::justification |
| PropertyKind LdProperty::kind |
| unsigned LdProperty::max_scans = 0 |
| std::string LdProperty::response_var |
| std::string LdProperty::trigger |
| std::vector<std::string> LdProperty::variables |