Fix issue #692

chocoteam · Jul 8, 2020 · 8948475 · 8948475
1 parent c57bd63
commit 8948475
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 3 deletions.
diff --git a/solver/src/test/java/org/chocosolver/solver/expression/continuous/ExpressionTest.java b/solver/src/test/java/org/chocosolver/solver/expression/continuous/ExpressionTest.java
@@ -133,9 +133,9 @@ public void test100() {
     @Test(groups = "1s", timeOut = 60000)
     public void test101() {
         Model model = new Model();
-        RealVar w = model.realVar("w", -10, 10, 1e-8);
-        RealVar x = model.realVar("x", -10, 10, 1e-8);
-        eval(model, x.div(w).eq(1e-8), 0);
+        RealVar w = model.realVar("w", -2, 2, .1d);
+        RealVar x = model.realVar("x", -2, 2, .1d);
+        eval(model, x.div(w).eq(.1d), 32);
     }
 
 

diff --git a/solver/src/test/java/org/chocosolver/solver/expression/continuous/IbexTest.java b/solver/src/test/java/org/chocosolver/solver/expression/continuous/IbexTest.java
@@ -140,6 +140,14 @@ public void test101() {
         eval(model, x.div(w).eq(1e-8), 0);
     }
 
+    @Test(groups = "ibex", timeOut = 60000)
+    public void test101() {
+        Model model = new Model();
+        RealVar w = model.realVar("w", -2, 2, .1d);
+        RealVar x = model.realVar("x", -2, 2, .1d);
+        eval(model, x.div(w).eq(.1d), 58);
+    }
+
     @Test(groups = "ibex", timeOut = 60000)
     public void test11() {
         Model model = new Model();