dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / parse_assignments.mzn
at develop 285 B view raw
1/*** 2!Test 3solvers: [gecode] 4extra_files: [parse_assignments.mzc.mzn] 5expected: 6- !Result 7 solution: !Solution 8 _checker: > 9 Ok 10 11***/ 12 13% Used to cause an internal error due to copying lhs onto rhs when parsing solutions (making x = true cv in the checker) 14 15var bool: x;