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;
16