Fix divide by zero exception. (#808)

p-org · Dec 10, 2024 · 545dec4 · 545dec4
1 parent 65042fe
commit 545dec4
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/Generator/ControlledRandom.cs b/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/Generator/ControlledRandom.cs
@@ -45,7 +45,14 @@ public int Next()
     /// <inheritdoc/>
     public int Next(int maxValue)
     {
-        return IntChoices.Next() % maxValue;
+        if (maxValue == 0)
+        {
+            return 0;
+        }
+        else
+        {
+            return IntChoices.Next() % maxValue;
+        }
     }
 
     /// <inheritdoc/>