cprover
|
Public Types | |
enum | { TRUE, FALSE, BOTTOM, UNKNOWN } |
Public Attributes | |
enum static_verifier_resultt:: { ... } | status |
source_locationt | source_location |
irep_idt | function_id |
Definition at line 20 of file static_verifier.cpp.
anonymous enum |
Enumerator | |
---|---|
TRUE | |
FALSE | |
BOTTOM | |
UNKNOWN |
Definition at line 23 of file static_verifier.cpp.
irep_idt static_verifier_resultt::function_id |
Definition at line 26 of file static_verifier.cpp.
source_locationt static_verifier_resultt::source_location |
Definition at line 25 of file static_verifier.cpp.
enum { ... } static_verifier_resultt::status |