update gradle CI config

breandan · Apr 29, 2024 · 3ef236a · 3ef236a
1 parent ec3d8da
commit 3ef236a
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 7 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -18,4 +18,4 @@ jobs:
         with:
           java-version: 17
       - name: Build with Gradle
-        run: ./gradlew -PleaseExcludeBenchmarks allTests --stacktrace
+        run: ./gradlew -Dorg.gradle.jvmargs=-XX:+UseContainerSupport -PleaseExcludeBenchmarks allTests --stacktrace --no-daemon
diff --git a/src/jvmTest/kotlin/ai/hypergraph/kaliningraph/automata/WFSATest.kt b/src/jvmTest/kotlin/ai/hypergraph/kaliningraph/automata/WFSATest.kt
@@ -1,14 +1,12 @@
 package ai.hypergraph.kaliningraph.automata
 
+import Grammars
 import ai.hypergraph.kaliningraph.parsing.*
-import ai.hypergraph.kaliningraph.tokenizeByWhitespace
-import io.kotest.matchers.types.shouldHaveSameHashCodeAs
 import net.jhoogland.jautomata.*
 import net.jhoogland.jautomata.Automaton
 import net.jhoogland.jautomata.operations.*
 import net.jhoogland.jautomata.semirings.RealSemiring
-import kotlin.system.measureTimeMillis
-import kotlin.test.Test
+import kotlin.test.*
 import kotlin.time.measureTimedValue
 
 
@@ -54,7 +52,11 @@ class WFSATest {
         }
       ).also { println("Total: ${Automata.transitions(it).size} arcs, ${Automata.states(it).size}") }
        .let { Automata.bestStrings(it, 1000).map { it.label.joinToString(" ") } }
-    }.also { it.value.forEach { println(levenshteinAlign(toRepair, it).paintANSIColors()) } }
-     .also { println("Decoding ${it.value.size} repairs took ${it.duration}") }
+    }.also {
+      it.value.forEach {
+        println(levenshteinAlign(toRepair, it).paintANSIColors())
+        assertTrue(it in Grammars.seq2parsePythonCFG.language)
+      }
+    }.also { println("Decoding ${it.value.size} repairs took ${it.duration}") }
   }
 }