this repo has no description
dekker.one
1/***
2!Test
3expected: !Result
4 status: SATISFIED
5***/
6
7% Test par evaluation of set inequality
8array [int] of set of int: x = [{}, {1}, 1..2, 1..3, 1..4, {1,2,4}, {1,3}, {1,3,4}, {1,4}, {2}, 2..3, 2..4, {2,4}, {3}, 3..4, {4}];
9int: n = length(x);
10
11% Test every pair to ensure correct relationship
12constraint forall (i, j in 1..n) (
13 (i > j -> (x[i] > x[j]) /\ x[i] >= x[j]) /\
14 (i < j -> (x[i] < x[j]) /\ x[i] <= x[j]) /\
15 (i = j -> (x[i] <= x[j] /\ x[i] >= x[j]))
16);