add test case from #250 to CI

uclid-org · Jul 4, 2024 · 3426237 · 3426237
1 parent cc788ed
commit 3426237
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/test/scala/ParserSpec.scala b/src/test/scala/ParserSpec.scala
@@ -45,6 +45,11 @@ import uclid.{lang => l}
 import java.io.File
 
 class ParserSpec extends AnyFlatSpec {
+  "test-typecheck-empty-tester.ucl" should "parse successfully" in {
+    val fileModules = UclidMain.compile(ConfigCons.createConfig("test/test-typecheck-empty-tester.ucl"), lang.Identifier("main"))
+    val instantiatedModules = UclidMain.instantiateModules(UclidMain.Config(), fileModules, lang.Identifier("main"))
+    assert (instantiatedModules.size == 1)
+  }
   "test-adt-5-reusingdatatypename.ucl" should "not parse successfully." in {
     try {
       val filename = "test/test-adt-5-reusingdatatypename.ucl"