dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / float_opt_crash.mzn
at develop 304 B view raw
1/*** 2!Test 3solvers: [gecode] 4options: 5 all_solutions: true 6expected: !Result 7 solution: !SolutionSet 8 - !Solution 9 x: 1.0 10 - !Solution 11 x: 2.0 12 - !Solution 13 x: null 14***/ 15 16% Regression test for crash due to no opt float_dom definition 17 18var opt {1.0, 2.0}: x :: add_to_output; 19 20solve satisfy;