From e6f9d043a432b24c384112d6566cd2958eb8a245 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 25 Apr 2023 17:15:08 +0200
Subject: [PATCH] Re-enable commented out asserts in tests
This currently causes a few tests to fail because of operator
associativity issues.
---
src/test/java/de/tla2b/util/TestUtil.java | 2 +-
src/test/java/testing/ExampleFilesTest.java | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/test/java/de/tla2b/util/TestUtil.java b/src/test/java/de/tla2b/util/TestUtil.java
index fe50e40..4007828 100644
--- a/src/test/java/de/tla2b/util/TestUtil.java
+++ b/src/test/java/de/tla2b/util/TestUtil.java
@@ -36,7 +36,7 @@ public class TestUtil {
String ppResult = getTreeAsString(ppStart);
// compare the generated AST and the AST of the pretty print
- // assertEquals(result, ppResult);
+ assertEquals(result, ppResult);
}
public static void compareExpr(String bExpr, String tlaExpr) throws BCompoundException {
diff --git a/src/test/java/testing/ExampleFilesTest.java b/src/test/java/testing/ExampleFilesTest.java
index b809a0a..241befa 100644
--- a/src/test/java/testing/ExampleFilesTest.java
+++ b/src/test/java/testing/ExampleFilesTest.java
@@ -44,7 +44,7 @@ public class ExampleFilesTest extends AbstractParseModuleTest {
String ppTree = TestUtil.getTreeAsString(ppStart);
// comparing result with pretty print
- //assertEquals(resultTree, ppTree);
+ assertEquals(resultTree, ppTree);
// machine file
@@ -58,7 +58,7 @@ public class ExampleFilesTest extends AbstractParseModuleTest {
String expectedTree = TestUtil.getTreeAsString(expectedStart);
- //assertEquals(expectedTree, resultTree);
+ assertEquals(expectedTree, resultTree);
}
@Config
--
GitLab