|
CBMC
|
This graph shows which files directly or indirectly include this file: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.