software/mza/tests/unit/evaluation/minizinc/regression/test_bug53.err_exp at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / test_bug53.err_exp

at develop 228 B view raw

1test_bug53.fzn:1:
2  symbol error: `simpleann' undeclared
3test_bug53.fzn:1:
4  symbol error: `simpleann' undeclared
5test_bug53.fzn:1:
6  symbol error: `simpleann' undeclared
7test_bug53.fzn:1:
8  symbol error: `simpleann' undeclared