Fix printer OutOfBoundsException (#713)

Co-authored-by: Natalia Gavrilenko <[email protected]>
hernanponcedeleon · Aug 13, 2024 · 618c3f7 · 618c3f7
1 parent cdc0689
commit 618c3f7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/utils/printer/Printer.java b/dartagnan/src/main/java/com/dat3m/dartagnan/utils/printer/Printer.java
@@ -113,7 +113,9 @@ private void appendEvent(Event event){
             if(!(event instanceof Label)) {
                 result.append("   ");
             }
-            result.append(padding, idSb.length(), padding.length());
+            if (idSb.length() < padding.length()) {
+                result.append(padding, idSb.length(), padding.length());
+            }
             result.append(event).append("\n");
         }
     }