From e45b760b1a080b769573595b79123ba2e0369595 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Mon, 13 Jan 2025 09:52:34 +0100
Subject: [PATCH] add ignored test for set product
---
.../java/de/tla2b/prettyprintb/BBuiltInsTest.java | 13 +++++++++++++
1 file changed, 13 insertions(+)
diff --git a/src/test/java/de/tla2b/prettyprintb/BBuiltInsTest.java b/src/test/java/de/tla2b/prettyprintb/BBuiltInsTest.java
index 36cb078..fff3031 100644
--- a/src/test/java/de/tla2b/prettyprintb/BBuiltInsTest.java
+++ b/src/test/java/de/tla2b/prettyprintb/BBuiltInsTest.java
@@ -31,6 +31,19 @@ public class BBuiltInsTest {
compare(expected, module);
}
+ @Ignore
+ @Test
+ public void testSetProduct() throws Exception {
+ final String module = "-------------- MODULE Testing ----------------\n"
+ + "EXTENDS TLA2B\n"
+ + "ASSUME SetProduct({1,2}) = 2\n"
+ + "=================================";
+
+ final String expected = "MACHINE Testing\n"
+ + "PROPERTIES PI(t_).(t_ : {1,2}|t_) = 2 \n" + "END";
+ compare(expected, module);
+ }
+
@Test
public void testString() throws Exception {
final String module = "-------------- MODULE Testing ----------------\n"
--
GitLab