software/minizinc/tests/spec/unit/output/arg-reif-output.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / minizinc / tests / spec / unit / output / arg-reif-output.mzn

at develop 165 B view raw

1/***
2!Test
3expected: !Error
4  type: MiniZincError
5***/
6
7test test1(1..10: x) = true;
8solve satisfy;
9output [ if test1(11) then "DID NOT WORK" else "WORKED" endif ];