increase minimum time for TestBigList

tuProlog · Jul 14, 2021 · e82dfc2 · e82dfc2
1 parent 8fb2912
commit e82dfc2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/TestBigListImpl.kt b/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/TestBigListImpl.kt
@@ -6,7 +6,7 @@ import it.unibo.tuprolog.dsl.theory.prolog
 internal class TestBigListImpl(private val solverFactory: SolverFactory) : TestBigList {
 
     override val shortDuration: TimeDuration
-        get() = 2000
+        get() = 4000
 
     override fun testBigListGeneration() {
         prolog {