From d42053e9c258c7799ed03988509459dc8d284544 Mon Sep 17 00:00:00 2001 From: Jan Gruteser <jan.gruteser@hhu.de> Date: Thu, 2 Jan 2025 16:09:25 +0100 Subject: [PATCH] add another instance test --- src/test/java/de/tla2b/examples/InstanceTest.java | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/test/java/de/tla2b/examples/InstanceTest.java b/src/test/java/de/tla2b/examples/InstanceTest.java index 5b83029..b1a2b66 100644 --- a/src/test/java/de/tla2b/examples/InstanceTest.java +++ b/src/test/java/de/tla2b/examples/InstanceTest.java @@ -25,6 +25,12 @@ public class InstanceTest { runModule(file); } + @Test + public void testModConstantAssignment() throws Exception { + String file = "src/test/resources/examples/instance/Counter/ModConstantAssignment.tla"; + runModule(file); + } + @Test public void testOneInstanced() throws Exception { String file = "src/test/resources/examples/instance/Counter/OneInstanced.tla"; -- GitLab