From 7f422041c56685fa60b39ec926ac18dbbc4bc050 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Mon, 13 Feb 2017 22:18:44 +0000
Subject: Added error message when STP fails to fork.

---
 lib/Solver/STPSolver.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib')

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;
-- 
cgit 1.4.1