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

#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

Member Enumeration Documentation

◆ Verdict

Enumerator
Safe 
Violation 
Unknown 
Incomplete 
Error 

Member Function Documentation

◆ to_json()

std::string LdVerifyResult::to_json ( ) const

Member Data Documentation

◆ description

std::string LdVerifyResult::description

◆ property_id

std::string LdVerifyResult::property_id

◆ raw_output

std::string LdVerifyResult::raw_output

◆ verdict

Verdict LdVerifyResult::verdict = Verdict::Unknown

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