this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, chuffed]
4options:
5 all_solutions: true
6expected: !Result
7 solution:
8 - !Solution
9 x: !set {2}
10***/
11
12% Regression test for GitHub bug #392
13% Previously {a} would not be correctly evaluated during flattening
14
15var set of 1..3: foo(var 1..3: a) = {a};
16var set of 1..3: x :: add_to_output = foo(2);