dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / json / coerce_enum_str_err.mzn
at develop 269 B view raw
1/*** 2!Test 3extra_files: 4- coerce_enum_str_err.json 5solvers: [gecode] 6expected: !Error 7 regex: .*has invalid type-inst.* 8***/ 9 10enum Day = {Mon, Tue, Wed, Thu, Fri, Sat, Sun}; 11enum Month = {Jan, Feb, Mar, Apr, May, Jun, Jul, Aug, Oct, Nov, Dec}; 12Day: d ::add_to_output;