dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / output_only_fn.mzn
at develop 249 B view raw
1/*** 2!Test 3type: output-model 4solvers: [gecode] 5expected: !OutputModel output_only_fn.ozn 6***/ 7 8% Previously the declaration for foo would not get copied to the output model 9 10function int: foo() = 10; 11int: x :: output_only = foo(); 12output [show(x)];