Skip to content
Snippets Groups Projects
Commit 879599fb authored by dgelessus's avatar dgelessus
Browse files

Resurrect the tests

parent b1583b96
Branches
Tags
No related merge requests found
......@@ -5,8 +5,12 @@ Bundle-SymbolicName: de.prob.core.tests
Bundle-Version: 1.0.0.qualifier
Bundle-Activator: de.prob.core.tests.Activator
Require-Bundle: org.eclipse.ui,
org.eclipse.core.resources,
org.eclipse.core.runtime,
org.eventb.core;bundle-version="[2.1.0,2.6.0)",
de.prob.core;bundle-version="9.3.0"
org.eventb.core;bundle-version="[3.3.0,4.0.0)",
org.eventb.core.ast;bundle-version="[3.3.0,4.0.0)",
org.junit;bundle-version="[4.0.0,5.0.0)",
org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
de.prob.core;bundle-version="[9.4.0,9.5.0)"
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
......@@ -980,7 +980,7 @@ public abstract class AbstractEventBTests extends AbstractTests {
expected,
evt.getLabel() + ":" + evt.getConvergence() + ":"
+ evt.isExtended());
} catch (RodinDBException e) {
} catch (CoreException e) {
e.printStackTrace();
fail("There should be no exception");
return;
......
......@@ -7,10 +7,15 @@ import org.eclipse.core.resources.IncrementalProjectBuilder;
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;
import de.prob.eventb.translator.TranslatorFactory;
import static org.junit.Assert.assertEquals;
public class ContextChainTest extends AbstractEventBTests {
private StringWriter stringWriter;
private PrintWriter writer;
......@@ -40,7 +45,7 @@ public class ContextChainTest extends AbstractEventBTests {
TranslatorFactory.translate(context2, writer);
assertEquals(
"package(load_event_b_project([],[event_b_context(none,'TestContext2',[extends(none,['TestContext1']),constants(none,[]),abstract_constants(none,[]),axioms(none,[]),theorems(none,[]),sets(none,[])]),event_b_context(none,'TestContext1',[extends(none,[]),constants(none,[]),axioms(none,[]),theorems(none,[]),sets(none,[])])],[exporter_version(3)],_Error)).\n",
"package(load_event_b_project([],[event_b_context(none,'TestContext2',[extends(none,['TestContext1']),constants(none,[]),abstract_constants(none,[]),axioms(none,[]),theorems(none,[]),sets(none,[])]),event_b_context(none,'TestContext1',[extends(none,[]),constants(none,[]),abstract_constants(none,[]),axioms(none,[]),theorems(none,[]),sets(none,[])])],[exporter_version(3)],_Error)).\n",
stringWriter.getBuffer().toString());
}
}
......@@ -7,10 +7,15 @@ import org.eclipse.core.resources.IncrementalProjectBuilder;
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;
import de.prob.eventb.translator.TranslatorFactory;
import static org.junit.Assert.assertEquals;
public class ContextWithConstantsTest extends AbstractEventBTests {
private StringWriter stringWriter;
private PrintWriter writer;
......
......@@ -8,10 +8,15 @@ import org.eclipse.core.runtime.CoreException;
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;
import de.prob.eventb.translator.TranslatorFactory;
import static org.junit.Assert.assertEquals;
public class EmptyTranslationsTest extends AbstractEventBTests {
private StringWriter stringWriter;
private PrintWriter writer;
......
include 'de.prob.core', 'de.bmotionstudio.gef.editor' ,'de.bmotionstudio.rodin' , 'de.prob.plugin', 'de.prob.ui', 'de.prob2.feature', 'de.prob.symbolic', 'de.prob2.symbolic.feature', 'de.prob.eventb.disprover.core', 'de.prob.eventb.disprover.ui', 'de.prob2.disprover.feature'
include 'de.prob.core', 'de.prob.core.tests', 'de.bmotionstudio.gef.editor' ,'de.bmotionstudio.rodin' , 'de.prob.plugin', 'de.prob.ui', 'de.prob2.feature', 'de.prob.symbolic', 'de.prob2.symbolic.feature', 'de.prob.eventb.disprover.core', 'de.prob.eventb.disprover.ui', 'de.prob2.disprover.feature'
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment