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

this repo has no description

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

at develop 147 B view raw

1/***
2---
3!Test
4solvers: [gecode]
5expected: !Error
6  regex: .*parser_location\.mzn:8.*
7***/
8set of 1..1: x = 1; % Trigger an error at this var decl