From 92a6ba10d2c125f5301613369a0f17856e637808 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Wed, 11 Dec 2013 16:39:35 +0000 Subject: If error location information is missing be explicit about it. This is more helpful because often the next message is "Now ignoring error at this location". Which is slightly confusing when no location is shown. --- lib/Core/Executor.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Core') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index f01fa4ee..371aa7f1 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -2780,7 +2780,7 @@ void Executor::terminateStateOnError(ExecutionState &state, if (ii.file != "") { klee_message("ERROR: %s:%d: %s", ii.file.c_str(), ii.line, message.c_str()); } else { - klee_message("ERROR: %s", message.c_str()); + klee_message("ERROR: (location information missing) %s", message.c_str()); } if (!EmitAllErrors) klee_message("NOTE: now ignoring this error at this location"); -- cgit 1.4.1