dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / bug69_2.mzn
at develop 269 B view raw
1/*** 2!Test 3expected: 4- !Result 5 solution: !Solution 6 y: 2 7- !Result 8 solution: !Solution 9 y: 10 10***/ 11 12% A regression test for G12 bug #69. 13% 14var int: y; 15predicate p(var 1..10: x) = (x mod 2 = 0); 16constraint p(y); 17solve satisfy; 18output ["y = ", show(y), ";\n"];