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