dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / bug212.mzn
at develop 235 B view raw
1 2% A regression test for bug #212. In r13904, the FlatZinc optimizer was 3% aborting on the string literal annotation argument below. 4 5annotation f(string:x); 6 7var int : x; 8var int : y; 9constraint (x != y) :: f("abc"); 10 11solve satisfy;