dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / general / test_array1d_bad_1.mzn
at develop 113 B view raw
1/*** 2!Test 3expected: !Error 4 type: EvaluationError 5***/ 6 7array [1..3] of int: a = [1, 2, 3, 4]; 8 9solve satisfy;