increase time for retract-related tests

tuProlog · Jul 1, 2020 · 0bb2fc4 · 0bb2fc4
1 parent fb1542d
commit 0bb2fc4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/SolverTest.kt b/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/SolverTest.kt
@@ -45,7 +45,7 @@ interface SolverTest {
 
     /** A long test max duration */
     val longDuration: TimeDuration
-        get() = 2 * mediumDuration
+        get() = 4 * mediumDuration
 
     /** Test presence of correct built-ins */
     fun testBuiltinApi()

diff --git a/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/SolverTestImpl.kt b/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/SolverTestImpl.kt
@@ -937,7 +937,7 @@ internal class SolverTestImpl(private val solverFactory: SolverFactory) : Solver
 
             val query = "retract"("f"("X"))
 
-            val solutions = solver.solve(query, mediumDuration).toList()
+            val solutions = solver.solve(query, longDuration).toList()
 
             assertSolutionEquals(
                 ktListOf(
@@ -1115,7 +1115,7 @@ internal class SolverTestImpl(private val solverFactory: SolverFactory) : Solver
 
             var query = "retractall"("f"("X"))
 
-            var solutions = solver.solve(query, mediumDuration).toList()
+            var solutions = solver.solve(query, longDuration).toList()
 
             assertSolutionEquals(
                 ktListOf(