|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <property_encoder.h>
Public Member Functions | |
| property_encoder (contextt &context, const std::string &source_file) | |
| code_blockt | encode (const std::vector< LdProperty > &props) |
| property_encoder::property_encoder | ( | contextt & | context, |
| const std::string & | source_file ) |
| code_blockt property_encoder::encode | ( | const std::vector< LdProperty > & | props | ) |