cprover
|
Go to the source code of this file.
Enumerations | |
enum | validation_modet { validation_modet::INVARIANT, validation_modet::EXCEPTION } |
|
strong |
Enumerator | |
---|---|
INVARIANT | |
EXCEPTION |
Definition at line 12 of file validation_mode.h.