1/***
2!Test
3solvers: [gecode]
4extra_files: [parse_assignments.mzc.mzn]
5expected:
6- !Result
7 solution: !Solution
8 _checker: >
9 Ok
1011***/1213% Used to cause an internal error due to copying lhs onto rhs when parsing solutions (making x = true cv in the checker)
1415varbool:x;