1/*** 2!Test 3expected: 4- !Result 5 solution: !Solution 6 x: 4 7 r: true 8***/ 9predicate no_mixed(var int: x); 10predicate start(var int: x) = no_mixed(x); 11predicate start_reif(var int: x, var bool: b) = x + b = 5; 12 13var 1..4: x; 14var bool: r; 15constraint start(x) <-> r;
dekker.one