diff options
| author | Pavel <operasfantom@gmail.com> | 2022-01-18 17:47:50 +0530 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-09-14 20:40:10 +0100 |
| commit | 712745687c080e2607a7c7657af33b3791d90f41 (patch) | |
| tree | 0b5fb2e05b1eb991151b93bed97910f3c7019e84 /include | |
| parent | 4ccb533158d40e15db9e9f2ade9bb28c3f83f38e (diff) | |
| download | klee-712745687c080e2607a7c7657af33b3791d90f41.tar.gz | |
Introduce separate categories for different kinds of undefined behavior
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") \ |