Add additional tests on range check for IntVar

chocoteam · Oct 5, 2023 · c5e820c · c5e820c
1 parent 1904af4
commit c5e820c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/solver/src/main/java/org/chocosolver/solver/variables/IVariableFactory.java b/solver/src/main/java/org/chocosolver/solver/variables/IVariableFactory.java
@@ -938,6 +938,9 @@ default void checkIntDomainRange(String NAME, int MIN, int MAX) {
         if (MAX < MIN) {
             throw new SolverException(NAME + ": wrong domain definition, lower bound > upper bound");
         }
+        if ((long) MAX - MIN > Integer.MAX_VALUE) {
+            throw new SolverException(NAME + ": too large domain, consider reducing the bounds to avoid unexpected results");
+        }
     }
 
     /**