software/minizinc/tests/spec/unit/regression/non-set-array-ti-location.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / non-set-array-ti-location.mzn

at develop 202 B view raw

 1/***
 2!Test
 3expected: !Error
 4  type: MiniZincTypeError
 5  regex: .*non-set-array-ti-location\.mzn.*
 6***/
 7
 8% GitHub issue #408 - used to not give useful location info
 9
10array[2] of bool: x = [false, true];