From e1c8ea305da6fbd8062f7f616c871a6fbc46eeb0 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 16 Jan 2013 16:08:07 +0100
Subject: [PATCH] update translator test case now that attributes on constants
are copied
---
.../src/de/prob/units/tests/PragmaTranslatorTest.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.units.tests/src/de/prob/units/tests/PragmaTranslatorTest.java b/de.prob.units.tests/src/de/prob/units/tests/PragmaTranslatorTest.java
index f2b199e6..afb9b77b 100644
--- a/de.prob.units.tests/src/de/prob/units/tests/PragmaTranslatorTest.java
+++ b/de.prob.units.tests/src/de/prob/units/tests/PragmaTranslatorTest.java
@@ -87,7 +87,7 @@ public class PragmaTranslatorTest extends AbstractEventBTests {
TranslatorFactory.translate(context, writer);
assertEquals(
- "package(load_event_b_project([],[event_b_context(none,'TestContext',[extends(none,[]),constants(none,[identifier(none,cst1)]),axioms(none,[equal(rodinpos('TestContext',axm1,'('),identifier(none,cst1),integer(none,5))]),theorems(none,[]),sets(none,[])])],[exporter_version(2)],_Error)).\n",
+ "package(load_event_b_project([],[event_b_context(none,'TestContext',[extends(none,[]),constants(none,[identifier(none,cst1)]),axioms(none,[equal(rodinpos('TestContext',axm1,'('),identifier(none,cst1),integer(none,5))]),theorems(none,[]),sets(none,[])])],[exporter_version(2),pragma(unit,'TestContext',cst1,[test])],_Error)).\n",
stringWriter.getBuffer().toString());
}
}
--
GitLab