|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <ld_verify.h>
Public Types | |
| enum class | Verdict { Safe , Violation , Unknown , Incomplete , Error } |
Public Member Functions | |
| std::string | to_json () const |
Public Attributes | |
| Verdict | verdict = Verdict::Unknown |
| std::string | property_id |
| std::string | description |
| std::string | raw_output |
|
strong |
| std::string LdVerifyResult::to_json | ( | ) | const |
| std::string LdVerifyResult::description |
| std::string LdVerifyResult::property_id |
| std::string LdVerifyResult::raw_output |
| Verdict LdVerifyResult::verdict = Verdict::Unknown |