Fix potential invalid tick generation on VDMs

quanticc · Jul 25, 2016 · 94f3a97 · 94f3a97
1 parent 6c99236
commit 94f3a97
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/vdm/VDMGenerator.java b/src/main/java/vdm/VDMGenerator.java
@@ -72,7 +72,7 @@ public List<Path> generate() throws IOException {
               + "\""));
         } else {
           lines.add(segment(count++, "SkipAhead", "skip", "starttick \"" + (previousEndTick + 1)
-              + "\"", "skiptotick \"" + (tick.getStart() - 500) + "\""));
+              + "\"", "skiptotick \"" + Math.max(0, tick.getStart() - 500) + "\""));
         }
         String command = "startrecording";
         if (tick.getType().equals(Tick.EXEC_RECORD_SEGMENT)) {