ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
LdProperty Struct Reference

#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

Member Data Documentation

◆ description

std::string LdProperty::description

◆ expression

std::string LdProperty::expression

◆ id

std::string LdProperty::id

◆ justification

std::string LdProperty::justification

◆ kind

PropertyKind LdProperty::kind

◆ max_scans

unsigned LdProperty::max_scans = 0

◆ response_var

std::string LdProperty::response_var

◆ trigger

std::string LdProperty::trigger

◆ variables

std::vector<std::string> LdProperty::variables

The documentation for this struct was generated from the following file: