cprover
static_verifier_resultt Struct Reference
+ Collaboration diagram for static_verifier_resultt:

Public Types

enum  statust { TRUE, FALSE, BOTTOM, UNKNOWN }
 

Public Attributes

enum static_verifier_resultt::statust status
 
source_locationt source_location
 
irep_idt function_id
 

Detailed Description

Definition at line 21 of file static_verifier.cpp.

Member Enumeration Documentation

◆ statust

Enumerator
TRUE 
FALSE 
BOTTOM 
UNKNOWN 

Definition at line 24 of file static_verifier.cpp.

Member Data Documentation

◆ function_id

irep_idt static_verifier_resultt::function_id

Definition at line 27 of file static_verifier.cpp.

◆ source_location

source_locationt static_verifier_resultt::source_location

Definition at line 26 of file static_verifier.cpp.

◆ status

enum static_verifier_resultt::statust static_verifier_resultt::status

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