avoid a divide by zero when duration is too short.

lip6 · Mar 29, 2024 · 6b3c969 · 6b3c969
1 parent f6e2983
commit 6b3c969
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/fr.lip6.move.gal.structural/src/fr/lip6/move/gal/structural/RandomExplorer.java b/fr.lip6.move.gal.structural/src/fr/lip6/move/gal/structural/RandomExplorer.java
@@ -344,7 +344,7 @@ public synchronized void setStates(int states) {
 		}
 
 		public String toString() {
-			return type +" walk for " + steps + " steps ("+resets +" resets) in " + duration + " ms. (" + (steps/duration) + " steps per ms)" + (states>0 ? " saw "+states + " states" :""); 
+			return type +" walk for " + steps + " steps ("+resets +" resets) in " + duration + " ms. (" + (steps/(duration+1)) + " steps per ms)" + (states>0 ? " saw "+states + " states" :""); 
 		}
 	}