git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7805 8c9fc860-2736-0410-a75d-ab315db34111
@@ -5288,7 +5288,7 @@ positive: maximal value of set
MODULE Test;
CONST Result = MAX (SET)
- BEGIN ASSERT (-{0..Result} = {})
+ BEGIN ASSERT (Result = SIZEOF (SET) * 8 - 1)
END Test.
negative: arithmetic shift of constant set