From 0235f2165b82e84ebad0bba61e10a1d31d2c86ad Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Thu, 24 Oct 2024 09:47:29 +0200
Subject: [PATCH] enable test
---
src/test/java/de/tla2b/examples/InstanceTest.java | 3 ---
1 file changed, 3 deletions(-)
diff --git a/src/test/java/de/tla2b/examples/InstanceTest.java b/src/test/java/de/tla2b/examples/InstanceTest.java
index b4f8e07..2338293 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";
--
GitLab