From 332b02fc70a49c1aa7aef973decb6ac25f823ee9 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 20:55:12 +0200
Subject: [PATCH] Check module and config strings first before translating back
to B
---
src/test/java/de/tlc4b/util/TestUtil.java | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/test/java/de/tlc4b/util/TestUtil.java b/src/test/java/de/tlc4b/util/TestUtil.java
index f2fd7d7..2a32472 100644
--- a/src/test/java/de/tlc4b/util/TestUtil.java
+++ b/src/test/java/de/tlc4b/util/TestUtil.java
@@ -114,14 +114,14 @@ public class TestUtil {
Translator b2tlaTranslator = new Translator(machine);
b2tlaTranslator.translate();
+ assertEquals(expectedModule, b2tlaTranslator.getModuleString());
+ assertEquals(expectedConfig, b2tlaTranslator.getConfigString());
+
String name = b2tlaTranslator.getMachineName();
// parse check
translateTLA2B(name, b2tlaTranslator.getModuleString(), b2tlaTranslator.getConfigString());
// TODO Check that re-translated B machine matches original input?
-
- assertEquals(expectedModule, b2tlaTranslator.getModuleString());
- assertEquals(expectedConfig, b2tlaTranslator.getConfigString());
}
public static void compareEquals(String expected, String machine) throws BCompoundException {
--
GitLab