Fix divide by zero exception.

p-org · Dec 5, 2024 · 7c17680 · 7c17680
1 parent 65042fe
commit 7c17680
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/>