36 namespace Test {
namespace FlatZinc {
45 (void)
new FlatZincTest(
"bugfix_r6746",
"\ 46 array[1 .. 3] of var 0 .. 9: differences; \ 47 array[1 .. 3] of var 0 .. 9: mark :: output_array([1..3]); \ 48 constraint int_lt(mark[2], mark[3]); \ 49 constraint int_lt(0, mark[2]); \ 50 constraint int_eq(mark[1], 0); \ 51 constraint int_plus(differences[3], mark[2], mark[3]); \ 52 constraint int_lt(differences[1], differences[3]); \ 53 constraint int_eq(differences[2], mark[3]); \ 54 constraint int_eq(differences[1], mark[2]); \ 55 constraint int_ne(differences[1], differences[2]); \ 56 constraint int_ne(differences[1], differences[3]); \ 57 constraint int_ne(differences[2], differences[3]); \ 59 ::int_search(mark, input_order, indomain, complete) \ 61 ",
"mark = array1d(1..3, [0, 1, 3]);\n\ Gecode::FloatVal c(-8, 8)