From 20a76f01e272390580f34345b85a27122f9c9544 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 5 Oct 2017 11:19:25 +0200
Subject: [PATCH] Better error output for jit

---
 src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp b/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp
index 54779b96a..245e9d54d 100644
--- a/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp
+++ b/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp
@@ -3,6 +3,7 @@
 #include <iostream>
 #include <cstdio>
 #include <chrono>
+#include <errno.h>
 
 #include "storm/solver/SmtSolver.h"
 
@@ -163,7 +164,7 @@ namespace storm {
                 STORM_LOG_TRACE("Executing command: " << command);
                 
                 std::unique_ptr<FILE> pipe(popen(command.c_str(), "r"));
-                STORM_LOG_THROW(pipe, storm::exceptions::InvalidStateException, "Call to popen failed.");
+                STORM_LOG_THROW(pipe, storm::exceptions::InvalidStateException, "Call to popen failed: " << strerror(errno));
                 
                 while (!feof(pipe.get())) {
                     if (fgets(buffer, 128, pipe.get()) != nullptr)