CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
complexity_violation.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Symbolic Execution
4
5Author: John Dumbell
6
7\*******************************************************************/
8
9#ifndef CPROVER_GOTO_SYMEX_COMPLEXITY_VIOLATION_H
10#define CPROVER_GOTO_SYMEX_COMPLEXITY_VIOLATION_H
11
18{
19 NONE,
20 LOOP,
21 BRANCH,
22};
23
24#endif // CPROVER_GOTO_SYMEX_COMPLEXITY_VIOLATION_H
complexity_violationt
What sort of symex-complexity violation has taken place.