about summary refs log tree commit diff homepage
path: root/lib/Solver
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2017-02-13 22:18:44 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2017-02-14 10:39:54 +0000
commit7f422041c56685fa60b39ec926ac18dbbc4bc050 (patch)
tree4ca2bf6d7d0764b8658156d96ae058b45cbffd9a /lib/Solver
parent1ad94f58e76168552c2e3007f02cda4d0e4573a6 (diff)
downloadklee-7f422041c56685fa60b39ec926ac18dbbc4bc050.tar.gz
Added error message when STP fails to fork.
Diffstat (limited to 'lib/Solver')
-rw-r--r--lib/Solver/STPSolver.cpp3
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Solver/STPSolver.cpp b/lib/Solver/STPSolver.cpp
index e1d41eba..5893c28e 100644
--- a/lib/Solver/STPSolver.cpp
+++ b/lib/Solver/STPSolver.cpp
@@ -17,6 +17,7 @@
 #include "klee/util/ExprUtil.h"
 
 #include "llvm/Support/CommandLine.h"
+#include "llvm/Support/Errno.h"
 #include "llvm/Support/ErrorHandling.h"
 
 #include <errno.h>
@@ -231,7 +232,7 @@ runAndGetCexForked(::VC vc, STPBuilder *builder, ::VCExpr q,
   fflush(stderr);
   int pid = fork();
   if (pid == -1) {
-    klee_warning("fork failed (for STP)");
+    klee_warning("fork failed (for STP) - %s", llvm::sys::StrError(errno).c_str());
     if (!IgnoreSolverFailures)
       exit(1);
     return SolverImpl::SOLVER_RUN_STATUS_FORK_FAILED;