Print error while saving file

WebFuzzing · Jan 20, 2025 · b231482 · b231482
1 parent 5879985
commit b231482
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/core/src/main/kotlin/org/evomaster/core/solver/SMTLibZ3DbConstraintSolver.kt b/core/src/main/kotlin/org/evomaster/core/solver/SMTLibZ3DbConstraintSolver.kt
@@ -335,8 +335,7 @@ class SMTLibZ3DbConstraintSolver() : DbConstraintSolver {
 
             return fileName
         } catch (e: IOException) {
-            println("Failed to write SMTLib to file: ${e.message}")
-            return "error_saving_file_${System.currentTimeMillis()}.smt2"
+            throw RuntimeException("Failed to write SMTLib to file: ${e.message}")
         }
     }