From e60022db194dfda26e958eef01f5801640a746aa Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 16 May 2023 13:45:52 +0200
Subject: [PATCH] Re-enable skipped tests that seem to work fine
---
.../src/de/prob/core/translator/tests/ContextChainTest.java | 2 --
.../de/prob/core/translator/tests/ContextWithConstantsTest.java | 2 --
.../de/prob/core/translator/tests/EmptyTranslationsTest.java | 2 --
3 files changed, 6 deletions(-)
diff --git a/de.prob.core.tests/src/de/prob/core/translator/tests/ContextChainTest.java b/de.prob.core.tests/src/de/prob/core/translator/tests/ContextChainTest.java
index 0a5914fb..fc46d26b 100644
--- a/de.prob.core.tests/src/de/prob/core/translator/tests/ContextChainTest.java
+++ b/de.prob.core.tests/src/de/prob/core/translator/tests/ContextChainTest.java
@@ -8,7 +8,6 @@ import org.eclipse.core.runtime.CoreException;
import org.eventb.core.IContextRoot;
import org.eventb.core.IEventBProject;
import org.junit.Before;
-import org.junit.Ignore;
import org.junit.Test;
import de.prob.core.translator.TranslationFailedException;
@@ -28,7 +27,6 @@ public class ContextChainTest extends AbstractEventBTests {
writer = new PrintWriter(stringWriter);
}
- @Ignore
@Test
public void testEmptyContextChain() throws CoreException,
TranslationFailedException {
diff --git a/de.prob.core.tests/src/de/prob/core/translator/tests/ContextWithConstantsTest.java b/de.prob.core.tests/src/de/prob/core/translator/tests/ContextWithConstantsTest.java
index 6691aef4..3f687e6b 100644
--- a/de.prob.core.tests/src/de/prob/core/translator/tests/ContextWithConstantsTest.java
+++ b/de.prob.core.tests/src/de/prob/core/translator/tests/ContextWithConstantsTest.java
@@ -8,7 +8,6 @@ import org.eclipse.core.runtime.CoreException;
import org.eventb.core.IContextRoot;
import org.eventb.core.IEventBProject;
import org.junit.Before;
-import org.junit.Ignore;
import org.junit.Test;
import de.prob.core.translator.TranslationFailedException;
@@ -28,7 +27,6 @@ public class ContextWithConstantsTest extends AbstractEventBTests {
writer = new PrintWriter(stringWriter);
}
- @Ignore
@Test
public void testContextWithConstants() throws CoreException,
TranslationFailedException {
diff --git a/de.prob.core.tests/src/de/prob/core/translator/tests/EmptyTranslationsTest.java b/de.prob.core.tests/src/de/prob/core/translator/tests/EmptyTranslationsTest.java
index d9fa734b..824328d5 100644
--- a/de.prob.core.tests/src/de/prob/core/translator/tests/EmptyTranslationsTest.java
+++ b/de.prob.core.tests/src/de/prob/core/translator/tests/EmptyTranslationsTest.java
@@ -9,7 +9,6 @@ import org.eventb.core.IContextRoot;
import org.eventb.core.IEventBProject;
import org.eventb.core.IMachineRoot;
import org.junit.Before;
-import org.junit.Ignore;
import org.junit.Test;
import de.prob.core.translator.TranslationFailedException;
@@ -45,7 +44,6 @@ public class EmptyTranslationsTest extends AbstractEventBTests {
stringWriter.getBuffer().toString());
}
- @Ignore
@Test
public void testEmptyContext() throws CoreException,
TranslationFailedException {
--
GitLab