fix ClauseCollectionTests

tuProlog · May 25, 2020 · 7313e29 · 7313e29
1 parent 6c8e57f
commit 7313e29
Show file tree

Hide file tree

Showing 5 changed files with 15 additions and 6 deletions.
diff --git a/test-solve/build.gradle.kts b/test-solve/build.gradle.kts
@@ -1,4 +1,3 @@
-// Project specific kotlin multiplatform configuration
 kotlin {
 
     sourceSets {
@@ -32,7 +31,8 @@ kotlin {
 
         js {
 
-            val main = compilations["main"]
+
+        val main = compilations["main"]
             val test = compilations["test"]
 
             main.defaultSourceSet {

diff --git a/theory/build.gradle.kts b/theory/build.gradle.kts
@@ -1,4 +1,5 @@
-// Project specific kotlin multiplatform configuration
+val mochaTimeout: String by project
+
 kotlin {
 
     sourceSets {
@@ -20,6 +21,14 @@ kotlin {
         }
 
         js {
+            nodejs {
+                testTask {
+                    useMocha {
+                        timeout = mochaTimeout
+                    }
+                }
+            }
+
             compilations["main"].defaultSourceSet {
                 dependencies {
 //                    api(project(":core"))

diff --git a/theory/gradle.properties b/theory/gradle.properties
@@ -0,0 +1,2 @@
+# mocha timeout for a single test method, in milli-seconds
+mochaTimeout=30000
diff --git a/theory/src/commonMain/kotlin/it/unibo/tuprolog/collections/AbstractReteClauseCollection.kt b/theory/src/commonMain/kotlin/it/unibo/tuprolog/collections/AbstractReteClauseCollection.kt
@@ -21,7 +21,7 @@ protected constructor(
     override fun add(clause: Clause): Self =
         newCollectionBuilder(
             rete.deepCopy().apply {
-                assertA(Theory.checkClauseCorrect(clause))
+                assertZ(Theory.checkClauseCorrect(clause))
             }
         )
 

diff --git a/theory/src/commonTest/kotlin/it/unibo/tuprolog/collections/PrototypeClauseCollectionTest.kt b/theory/src/commonTest/kotlin/it/unibo/tuprolog/collections/PrototypeClauseCollectionTest.kt
@@ -1,7 +1,5 @@
 package it.unibo.tuprolog.collections
 
-import it.unibo.tuprolog.core.Clause
-
 internal interface PrototypeClauseCollectionTest {
 
     fun collectionHasTheCorrectSize()
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		# mocha timeout for a single test method, in milli-seconds
		mochaTimeout=30000