From 23d117e1c151e7e8342fc20a160e66d4d45d82cc Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Fri, 21 Nov 2014 16:13:18 +0100
Subject: [PATCH] Corrected max_int test
---
src/test/resources/{laws => basics}/BBuiltInsTest.mch | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
rename src/test/resources/{laws => basics}/BBuiltInsTest.mch (99%)
diff --git a/src/test/resources/laws/BBuiltInsTest.mch b/src/test/resources/basics/BBuiltInsTest.mch
similarity index 99%
rename from src/test/resources/laws/BBuiltInsTest.mch
rename to src/test/resources/basics/BBuiltInsTest.mch
index 528909e..360c9bd 100644
--- a/src/test/resources/laws/BBuiltInsTest.mch
+++ b/src/test/resources/basics/BBuiltInsTest.mch
@@ -71,7 +71,7 @@ PROPERTIES
& max({1,2}) = 2
/* MaxInt */
-& MAXINT = 4
+& MAXINT = 3
/* MinInt */
& MININT = -1
--
GitLab