From a3b476d755ba8e52647a8880ef6bfea43802c182 Mon Sep 17 00:00:00 2001 From: hansen <dominik_hansen@web.de> Date: Fri, 21 Nov 2014 16:07:19 +0100 Subject: [PATCH] corrected test case --- src/main/java/de/tlc4b/TLC4BGlobals.java | 2 +- src/test/java/de/tlc4b/prettyprint/NumbersTest.java | 10 ++++++---- 2 files changed, 7 insertions(+), 5 deletions(-) diff --git a/src/main/java/de/tlc4b/TLC4BGlobals.java b/src/main/java/de/tlc4b/TLC4BGlobals.java index f4812a2..7bd7335 100644 --- a/src/main/java/de/tlc4b/TLC4BGlobals.java +++ b/src/main/java/de/tlc4b/TLC4BGlobals.java @@ -36,7 +36,7 @@ public class TLC4BGlobals { public static void resetGlobals() { DEFERRED_SET_SIZE = 3; - MAX_INT = 4; + MAX_INT = 3; MIN_INT = -1; checkGOAL = true; diff --git a/src/test/java/de/tlc4b/prettyprint/NumbersTest.java b/src/test/java/de/tlc4b/prettyprint/NumbersTest.java index 08e5952..69b6292 100644 --- a/src/test/java/de/tlc4b/prettyprint/NumbersTest.java +++ b/src/test/java/de/tlc4b/prettyprint/NumbersTest.java @@ -4,6 +4,8 @@ import static de.tlc4b.util.TestUtil.compare; import org.junit.Test; +import de.tlc4b.TLC4BGlobals; + public class NumbersTest { @@ -50,7 +52,7 @@ public class NumbersTest { + "END"; String expected = "---- MODULE test----\n" + "EXTENDS Integers\n" - + "ASSUME Int = Int\n" + + "ASSUME (-1..3) = (-1..3)\n" + "======"; compare(expected, machine); } @@ -62,7 +64,7 @@ public class NumbersTest { + "END"; String expected = "---- MODULE test----\n" + "EXTENDS Naturals\n" - + "ASSUME Nat = Nat\n" + + "ASSUME (0..3) = (0..3)\n" + "======"; compare(expected, machine); } @@ -74,7 +76,7 @@ public class NumbersTest { + "END"; String expected = "---- MODULE test----\n" + "EXTENDS Naturals\n" - + "ASSUME Nat \\ {0} = Nat \\ {0}\n" + + "ASSUME (1..3) = (1..3)\n" + "======"; compare(expected, machine); } @@ -244,7 +246,7 @@ public class NumbersTest { + "PROPERTIES MAXINT = MAXINT \n" + "END"; String expected = "---- MODULE test----\n" - + "ASSUME 4 = 4\n" + + "ASSUME 3 = 3\n" + "======"; compare(expected, machine); } -- GitLab