diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-12-23 21:37:22 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-01-05 10:57:23 +0000 |
| commit | 40ee8cb9234721dbfe66f3fcb5fda8fb5ad64163 (patch) | |
| tree | 9ba476566131b78187d657666ae021cc13c27d19 /lib/Core/SpecialFunctionHandler.cpp | |
| parent | 5bdbaa464e836ef499b48136edee53fa658e1d68 (diff) | |
| download | klee-40ee8cb9234721dbfe66f3fcb5fda8fb5ad64163.tar.gz | |
Remove outdated reference to klee_make_symbolic_name
Diffstat (limited to 'lib/Core/SpecialFunctionHandler.cpp')
| -rw-r--r-- | lib/Core/SpecialFunctionHandler.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp index 5c0246b3..ab2f07b1 100644 --- a/lib/Core/SpecialFunctionHandler.cpp +++ b/lib/Core/SpecialFunctionHandler.cpp @@ -858,7 +858,7 @@ void SpecialFunctionHandler::handleMakeSymbolic(ExecutionState &state, if (res) { executor.executeMakeSymbolic(*s, mo, name); } else { - executor.terminateStateOnUserError(*s, "wrong size given to klee_make_symbolic[_name]"); + executor.terminateStateOnUserError(*s, "Wrong size given to klee_make_symbolic"); } } } |