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 #include #include +#include #include "storm/solver/SmtSolver.h" @@ -163,7 +164,7 @@ namespace storm { STORM_LOG_TRACE("Executing command: " << command); std::unique_ptr 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)