diff --git a/src/test/java/de/tla2b/examples/InstanceTest.java b/src/test/java/de/tla2b/examples/InstanceTest.java index b4f8e07c331acb83f7707cbc044cd5e6e51d9429..2338293243601a670551a6b488ab70980e49a016 100644 --- a/src/test/java/de/tla2b/examples/InstanceTest.java +++ b/src/test/java/de/tla2b/examples/InstanceTest.java @@ -1,20 +1,17 @@ package de.tla2b.examples; -import org.junit.Ignore; import org.junit.Test; import static de.tla2b.util.TestUtil.runModule; public class InstanceTest { - @Test public void testInstanceNoName() throws Exception { String file = "src/test/resources/examples/instance/Counter/InstanceNoName.tla"; runModule(file); } - @Ignore @Test public void testInstance() throws Exception { String file = "src/test/resources/examples/instance/Counter/OneInstanced.tla";