diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Core/TerminationTypes.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/include/klee/Core/TerminationTypes.h b/include/klee/Core/TerminationTypes.h index 592cd3cb..435b6c05 100644 --- a/include/klee/Core/TerminationTypes.h +++ b/include/klee/Core/TerminationTypes.h @@ -32,7 +32,10 @@ TTYPE(Ptr, 16U, "ptr.err") \ TTYPE(ReadOnly, 17U, "read_only.err") \ TTYPE(ReportError, 18U, "report_error.err") \ - MARK(PROGERR, 18U) \ + 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") \ |