dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / makepar_output.mzn
at develop 275 B view raw
1/*** 2!Test 3solvers: [gecode] 4expected: !Result 5 solution: !Solution 6 _output_item: '1..1' 7***/ 8 9% Used to crash due to trying to use the var version of binops in output 10% Fixed in b4510b996be58e2831daab37a18ccecc8a36ba6d 11 12var 1..10: x; 13var 1..10: y; 14 15output [show(x..y)];