retry CI config

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

Hide file tree

Showing 2 changed files with 4 additions and 2 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 -Dorg.gradle.jvmargs=-XX:+UseContainerSupport -PleaseExcludeBenchmarks allTests --stacktrace --no-daemon
+        run: ./gradlew -Dorg.gradle.jvmargs=-XX:+UseContainerSupport -PleaseExcludeBenchmarks allTests --stacktrace
diff --git a/src/jvmTest/kotlin/ai/hypergraph/kaliningraph/automata/WFSATest.kt b/src/jvmTest/kotlin/ai/hypergraph/kaliningraph/automata/WFSATest.kt
@@ -37,7 +37,8 @@ class WFSATest {
   @Test
   fun testLBHRepair() {
     val toRepair = "NAME : NEWLINE NAME = STRING NEWLINE NAME = NAME . NAME ( STRING ) NEWLINE"
-    val pt = Grammars.seq2parsePythonCFG.makeLevPTree(toRepair, 1)
+    val radius = 1
+    val pt = Grammars.seq2parsePythonCFG.makeLevPTree(toRepair, radius)
     measureTimedValue {
       pt.propagator<Automaton<String, Double>>(
         both = { a, b -> if (a == null) b else if (b == null) a else Concatenation(a, b) },
@@ -55,6 +56,7 @@ class WFSATest {
     }.also {
       it.value.forEach {
         println(levenshteinAlign(toRepair, it).paintANSIColors())
+        assertTrue(levenshtein(toRepair, it) <= radius)
         assertTrue(it in Grammars.seq2parsePythonCFG.language)
       }
     }.also { println("Decoding ${it.value.size} repairs took ${it.duration}") }