From 279b69ac0c81e335e248e61167e35a284a1be565 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 27 Apr 2023 15:15:18 +0200
Subject: [PATCH] Remove some commented out references to old Tla2BTranslator
---
src/test/java/de/tlc4b/util/TestUtil.java | 7 -------
1 file changed, 7 deletions(-)
diff --git a/src/test/java/de/tlc4b/util/TestUtil.java b/src/test/java/de/tlc4b/util/TestUtil.java
index 68dfb3f..6778abe 100644
--- a/src/test/java/de/tlc4b/util/TestUtil.java
+++ b/src/test/java/de/tlc4b/util/TestUtil.java
@@ -37,16 +37,11 @@ public class TestUtil {
String str1 = de.tla2bAst.Translator.translateModuleString(moduleName, b2tlaTranslator.getModuleString(), null);
String str2 = de.tla2bAst.Translator.translateModuleString(moduleName, expectedModule, null);
- // StringBuilder sb1 = de.tla2b.translation.Tla2BTranslator
- // .translateString(name, b2tlaTranslator.getModuleString(), null);
- // StringBuilder sb2 = de.tla2b.translation.Tla2BTranslator
- // .translateString(name, expectedModule, null);
if (!str1.equals(str2)) {
// assertEquals(expected, actual);
fail("expected:\n" + expectedModule + "\nbut was:\n" + b2tlaTranslator.getModuleString());
}
- // assertEquals(sb2.toString(), sb1.toString());
}
public static void tryTranslating(final String machineString) throws BException {
@@ -86,8 +81,6 @@ public class TestUtil {
String name = b2tlaTranslator.getMachineName();
translateTLA2B(name, b2tlaTranslator.getModuleString());
- // de.tla2b.translation.Tla2BTranslator.translateString(name,
- // b2tlaTranslator.getModuleString(), null);
}
public static void compareEqualsConfig(String expectedModule, String expectedConfig, String machine)
--
GitLab