Update unit tests and fixtures

apalache-mc · Aug 15, 2023 · f21ab5b · f21ab5b
1 parent dd49571
commit f21ab5b
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/Makefile b/Makefile
@@ -50,7 +50,7 @@ tla-io/src/test/resources/tictactoe.json:
 
 TEMP_QNT_CS_FILE := $(shell mktemp)
 tla-io/src/test/resources/clockSync3.json:
-	curl https://raw.githubusercontent.com/informalsystems/quint/main/examples/classic/distributed/ClockSync/clockSync3.qnt > $(TEMP_QNT_TTT_FILE)
+	curl https://raw.githubusercontent.com/informalsystems/quint/main/examples/classic/distributed/ClockSync/clockSync3.qnt > $(TEMP_QNT_CS_FILE)
 	quint typecheck --out $@ $(TEMP_QNT_CS_FILE)
 	rm $(TEMP_QNT_CS_FILE)
 

diff --git a/tla-io/src/test/resources/clockSync3.json b/tla-io/src/test/resources/clockSync3.json
diff --git a/tla-io/src/test/scala/at/forsyte/apalache/io/quint/TestQuintEx.scala b/tla-io/src/test/scala/at/forsyte/apalache/io/quint/TestQuintEx.scala
@@ -60,7 +60,7 @@ class TestQuintEx extends AnyFunSuite {
     def app(name: String, args: QuintEx*)(retType: QuintType, refId: BigInt = -1): QuintApp = {
       val id = uid
       if (refId != -1) {
-        lookupMap += (id -> QuintLookupTableEntry("def", refId))
+        lookupMap += (id -> QuintLookupTableEntry("def", refId, name))
       }
       e(QuintApp(id, name, args), retType)
     }

diff --git a/tla-io/src/test/scala/at/forsyte/apalache/io/quint/TestQuintIR.scala b/tla-io/src/test/scala/at/forsyte/apalache/io/quint/TestQuintIR.scala
@@ -50,7 +50,7 @@ class TestQuintIR extends AnyFunSuite {
   test("Can load clockSync3.json") {
     val clockSync3QuintJson = scala.io.Source.fromResource("clockSync3.json").mkString
     val quintIR = QuintOutput.read(clockSync3QuintJson).get
-    assert(quintIR.modules(0).name == "ClockSync3")
+    assert(quintIR.modules(0).name == "clockSync3")
   }
 
   test("Invalid JSON returns sensible error") {