add correct parser spec

uclid-org · Jul 4, 2024 · 3f1a8b1 · 3f1a8b1
1 parent 1d67eeb
commit 3f1a8b1
Showing 1 changed file with 10 additions and 4 deletions.
diff --git a/src/test/scala/ParserSpec.scala b/src/test/scala/ParserSpec.scala
@@ -45,10 +45,16 @@ 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-typecheck-empty-tester.ucl" should "not typecheck." in {
+    try {
+      val filename = "test/test-typecheck-empty-tester.ucl"
+      val fileModules = UclidMain.compile(ConfigCons.createConfig(filename), lang.Identifier("main"))
+      assert (fileModules.size == 1)
+    }
+    catch {
+      case p : Utils.TypeErrorList =>
+        assert (p.errors.size == 1)
+    }
   }
   "test-adt-5-reusingdatatypename.ucl" should "not parse successfully." in {
     try {