CBMC
complexity_violation.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Symbolic Execution
4 
5 Author: John Dumbell
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_GOTO_SYMEX_COMPLEXITY_VIOLATION_H
10 #define CPROVER_GOTO_SYMEX_COMPLEXITY_VIOLATION_H
11 
17 enum class complexity_violationt
18 {
19  NONE,
20  LOOP,
21  BRANCH,
22 };
23 
24 #endif // CPROVER_GOTO_SYMEX_COMPLEXITY_VIOLATION_H
complexity_violationt
complexity_violationt
What sort of symex-complexity violation has taken place.
Definition: complexity_violation.h:18
complexity_violationt::LOOP
@ LOOP
complexity_violationt::NONE
@ NONE