CBMC
validation_mode.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Goto program validation mode
4 
5 Author: Daniel Poetzl
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_UTIL_VALIDATION_MODE_H
10 #define CPROVER_UTIL_VALIDATION_MODE_H
11 
12 enum class validation_modet
13 {
14  INVARIANT,
15  EXCEPTION
16 };
17 
18 #endif /* CPROVER_UTIL_VALIDATION_MODE_H */
validation_modet
validation_modet
Definition: validation_mode.h:13
validation_modet::INVARIANT
@ INVARIANT
validation_modet::EXCEPTION
@ EXCEPTION