cprover
|
Public Member Functions | |
jsont | output_json (void) const |
xmlt | output_xml (void) const |
Public Attributes | |
statust | status |
source_locationt | source_location |
irep_idt | function_id |
ai_history_baset::trace_sett | unknown_histories |
ai_history_baset::trace_sett | false_histories |
Definition at line 43 of file static_verifier.cpp.
|
inline |
Definition at line 51 of file static_verifier.cpp.
|
inline |
Definition at line 69 of file static_verifier.cpp.
ai_history_baset::trace_sett static_verifier_resultt::false_histories |
Definition at line 49 of file static_verifier.cpp.
irep_idt static_verifier_resultt::function_id |
Definition at line 47 of file static_verifier.cpp.
source_locationt static_verifier_resultt::source_location |
Definition at line 46 of file static_verifier.cpp.
statust static_verifier_resultt::status |
Definition at line 45 of file static_verifier.cpp.
ai_history_baset::trace_sett static_verifier_resultt::unknown_histories |
Definition at line 48 of file static_verifier.cpp.