Log warning when there are problems with bounds file

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Oct 26, 2024 · bf1d312 · bf1d312
1 parent b88bd72
commit bf1d312
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/Dartagnan.java b/dartagnan/src/main/java/com/dat3m/dartagnan/Dartagnan.java
@@ -356,7 +356,7 @@ public static String generateResultSummary(VerificationTask task, ProverEnvironm
                 try {
                     increaseBoundAndDump(reachedBounds, task.getConfig());
                 } catch (IOException e) {
-                    e.printStackTrace();
+                    logger.warn("Failed to save bounds file: {}", e.getLocalizedMessage());
                 }
             }
             summary.append(result).append("\n");

diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/LoopUnrolling.java b/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/LoopUnrolling.java
@@ -289,7 +289,7 @@ private Map<Function, Map<CondJump, Integer>> loadLoopBoundsMapFromFile(Program
                         .put(loopJump, bound);
             }
         } catch (IOException e) {
-            e.printStackTrace();
+            // Nothing to be done, filePath is guaranteed to exists when the FileReader is called.
         }
 
         return loopBoundsMapPerFunction;
@@ -313,7 +313,7 @@ private void dumpLoopBoundsMapToFile(Program program, Map<Function, Map<CondJump
             }
             csvPrinter.flush();
         } catch (IOException e) {
-            e.printStackTrace();
+            logger.warn("Failed to save bounds file: {}", e.getLocalizedMessage());
         }
     }