diff --git a/jautomata-0.0.1-SNAPSHOT.jar b/jautomata-0.0.1-SNAPSHOT.jar index 9e1aeded..6257d25d 100644 Binary files a/jautomata-0.0.1-SNAPSHOT.jar and b/jautomata-0.0.1-SNAPSHOT.jar differ diff --git a/src/jvmTest/kotlin/ai/hypergraph/kaliningraph/automata/WFSATest.kt b/src/jvmTest/kotlin/ai/hypergraph/kaliningraph/automata/WFSATest.kt index bc87f975..18e1937e 100644 --- a/src/jvmTest/kotlin/ai/hypergraph/kaliningraph/automata/WFSATest.kt +++ b/src/jvmTest/kotlin/ai/hypergraph/kaliningraph/automata/WFSATest.kt @@ -68,8 +68,8 @@ class WFSATest { */ @Test fun testPTreeVsWFSA() { - val toRepair = "NAME = NAME ( STRING ) NEWLINE NAME = NAME ( STRING ) NEWLINE NAME = NAME ( STRING NUMBER NAME = [ NAME , NAME , NAME ] NEWLINE" - val radius = 2 + val toRepair = "NAME : NEWLINE NAME = STRING NEWLINE NAME = NAME . NAME ( STRING ) NEWLINE" + val radius = 1 val pt = Grammars.seq2parsePythonCFG.makeLevPTree(toRepair, radius, shortS2PParikhMap) val repairs = pt.sampleStrWithoutReplacement().distinct().take(100).toSet() println("Found ${repairs.size} repairs by enumerating PTree")