TerminationTypes.h File Reference
#include <cstdint>
Include dependency graph for TerminationTypes.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Macros | |
| #define | TERMINATION_TYPES |
| #define | TTYPE(N, I, S) N = (I), |
| #define | MARK(N, I) N = (I), |
Enumerations | |
| enum class | StateTerminationType : std::uint8_t { TTYPE , MARK , TERMINATION_TYPES } |
| Reason an ExecutionState got terminated. More... | |
Macro Definition Documentation
◆ MARK
| #define MARK | ( | N, | |
| I | |||
| ) | N = (I), |
Definition at line 49 of file TerminationTypes.h.
◆ TERMINATION_TYPES
| #define TERMINATION_TYPES |
Value:
TTYPE(RUNNING, 0U, "") \
TTYPE(Exit, 1U, "") \
MARK(NORMAL, 1U) \
TTYPE(Interrupted, 2U, "early") \
TTYPE(MaxDepth, 3U, "early") \
TTYPE(OutOfMemory, 4U, "early") \
TTYPE(OutOfStackMemory, 5U, "early") \
MARK(EARLY, 5U) \
TTYPE(Solver, 8U, "solver.err") \
MARK(SOLVERERR, 8U) \
TTYPE(Abort, 10U, "abort.err") \
TTYPE(Assert, 11U, "assert.err") \
TTYPE(BadVectorAccess, 12U, "bad_vector_access.err") \
TTYPE(Free, 13U, "free.err") \
TTYPE(Model, 14U, "model.err") \
TTYPE(Overflow, 15U, "overflow.err") \
TTYPE(Ptr, 16U, "ptr.err") \
TTYPE(ReadOnly, 17U, "read_only.err") \
TTYPE(ReportError, 18U, "report_error.err") \
MARK(PROGERR, 18U) \
TTYPE(User, 23U, "user.err") \
MARK(USERERR, 23U) \
TTYPE(Execution, 25U, "exec.err") \
TTYPE(External, 26U, "external.err") \
MARK(EXECERR, 26U) \
TTYPE(Replay, 27U, "") \
TTYPE(Merge, 28U, "") \
TTYPE(SilentExit, 29U, "") \
MARK(END, 29U)
Definition at line 15 of file TerminationTypes.h.
◆ TTYPE
| #define TTYPE | ( | N, | |
| I, | |||
| S | |||
| ) | N = (I), |
Definition at line 48 of file TerminationTypes.h.
Enumeration Type Documentation
◆ StateTerminationType
|
strong |
Reason an ExecutionState got terminated.
| Enumerator | |
|---|---|
| TTYPE | |
| MARK | |
| TERMINATION_TYPES | |
Definition at line 47 of file TerminationTypes.h.
