cprover
static_verifier_resultt Struct Reference
+ Collaboration diagram for static_verifier_resultt:

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
 

Detailed Description

Definition at line 43 of file static_verifier.cpp.

Member Function Documentation

◆ output_json()

jsont static_verifier_resultt::output_json ( void  ) const
inline

Definition at line 51 of file static_verifier.cpp.

◆ output_xml()

xmlt static_verifier_resultt::output_xml ( void  ) const
inline

Definition at line 69 of file static_verifier.cpp.

Member Data Documentation

◆ false_histories

ai_history_baset::trace_sett static_verifier_resultt::false_histories

Definition at line 49 of file static_verifier.cpp.

◆ function_id

irep_idt static_verifier_resultt::function_id

Definition at line 47 of file static_verifier.cpp.

◆ source_location

source_locationt static_verifier_resultt::source_location

Definition at line 46 of file static_verifier.cpp.

◆ status

statust static_verifier_resultt::status

Definition at line 45 of file static_verifier.cpp.

◆ unknown_histories

ai_history_baset::trace_sett static_verifier_resultt::unknown_histories

Definition at line 48 of file static_verifier.cpp.


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