diff options
| author | Pavel <operasfantom@gmail.com> | 2022-07-04 15:43:52 +0400 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-09-14 20:40:10 +0100 |
| commit | 1ac45951a90c2eed70d5232d7cd794060c47162a (patch) | |
| tree | b3c8a6506ca60aea7cab1ed7bc987ae75369cb2c /include | |
| parent | d14b7dc335f1dc31a53602cee48f05e415edbfe5 (diff) | |
| download | klee-1ac45951a90c2eed70d5232d7cd794060c47162a.tar.gz | |
Eliminate .undefined_behavior.err category and simplify tests
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Core/TerminationTypes.h | 30 |
1 files changed, 17 insertions, 13 deletions
diff --git a/include/klee/Core/TerminationTypes.h b/include/klee/Core/TerminationTypes.h index 435b6c05..4fe5583a 100644 --- a/include/klee/Core/TerminationTypes.h +++ b/include/klee/Core/TerminationTypes.h @@ -32,19 +32,23 @@ TTYPE(Ptr, 16U, "ptr.err") \ TTYPE(ReadOnly, 17U, "read_only.err") \ TTYPE(ReportError, 18U, "report_error.err") \ - TTYPE(ImplicitConversion, 19U, "implicit_conversion.err") \ - TTYPE(NullableAttribute, 20U, "nullable_attribute.err") \ - TTYPE(UndefinedBehavior, 21U, "undefined_behavior.err") \ - MARK(PROGERR, 21U) \ - 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) + TTYPE(InvalidBuiltin, 19U, "invalid_builtin_use.err") \ + TTYPE(ImplicitTruncation, 20U, "implicit_truncation.err") \ + TTYPE(ImplicitConversion, 21U, "implicit_conversion.err") \ + TTYPE(UnreachableCall, 22U, "unreachable_call.err") \ + TTYPE(MissingReturn, 23U, "missing_return.err") \ + TTYPE(InvalidLoad, 24U, "invalid_load.err") \ + TTYPE(NullableAttribute, 25U, "nullable_attribute.err") \ + MARK(PROGERR, 25U) \ + TTYPE(User, 33U, "user.err") \ + MARK(USERERR, 33U) \ + TTYPE(Execution, 35U, "exec.err") \ + TTYPE(External, 36U, "external.err") \ + MARK(EXECERR, 36U) \ + TTYPE(Replay, 37U, "") \ + TTYPE(Merge, 38U, "") \ + TTYPE(SilentExit, 39U, "") \ + MARK(END, 39U) ///@brief Reason an ExecutionState got terminated. enum class StateTerminationType : std::uint8_t { |