Skip to content
Snippets Groups Projects
Commit 23d117e1 authored by hansen's avatar hansen
Browse files

Corrected max_int test

parent a3b476d7
Branches
Tags
No related merge requests found
Show whitespace changes
Inline Side-by-side
src/test/resources/laws/BBuiltInsTest.mch → src/test/resources/basics/BBuiltInsTest.mch
+ 1
− 1
View file @ 23d117e1
...@@ -71,7 +71,7 @@ PROPERTIES ...@@ -71,7 +71,7 @@ PROPERTIES
& max({1,2}) = 2 & max({1,2}) = 2
/* MaxInt */ /* MaxInt */
& MAXINT = 4 & MAXINT = 3
/* MinInt */ /* MinInt */
& MININT = -1 & MININT = -1
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment