software/minizinc/tests/spec/unit/regression/ti_error_location.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / ti_error_location.mzn

at develop 109 B view raw

1/***
2!Test
3solvers: [gecode]
4expected: !Error
5  regex: ^(?!unknown file:0.0).*$
6***/
7
8string: x = 1;