cprover
|
Public Types | |
enum | statust { TRUE, FALSE, BOTTOM, UNKNOWN } |
Public Attributes | |
enum static_verifier_resultt::statust | status |
source_locationt | source_location |
irep_idt | function_id |
Definition at line 21 of file static_verifier.cpp.
Enumerator | |
---|---|
TRUE | |
FALSE | |
BOTTOM | |
UNKNOWN |
Definition at line 24 of file static_verifier.cpp.
irep_idt static_verifier_resultt::function_id |
Definition at line 27 of file static_verifier.cpp.
source_locationt static_verifier_resultt::source_location |
Definition at line 26 of file static_verifier.cpp.
enum static_verifier_resultt::statust static_verifier_resultt::status |