Add logs info

WebFuzzing · Jan 17, 2025 · 5879985 · 5879985
1 parent 81672ee
commit 5879985
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/solver/src/main/java/org/evomaster/solver/Z3DockerExecutor.java b/solver/src/main/java/org/evomaster/solver/Z3DockerExecutor.java
@@ -62,7 +62,7 @@ public Optional<Map<String, SMTLibValue>> solveFromFile(String fileName) {
             // Execute the Z3 solver on the specified file in the container
             Container.ExecResult result = z3Prover.execInContainer("z3", containerPath + fileName);
             if (result.getExitCode() != 0) {
-                throw new RuntimeException("Error executing Z3 solver" + result.getStdout());
+                throw new RuntimeException("Error executing Z3 solver: \n" + result.getStdout() + "\n" + result.getStderr());
             }
             String stdout = result.getStdout();