dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / output / show_float.mzn
at develop 254 B view raw
1/*** 2!Test 3expected: 4- !Result 5 solution: !Solution 6 _output_item: " 123.46@\n123.46 @\n123 @\n" 7***/ 8 9float: f = 123.45679123; 10solve satisfy; 11output [ 12 show_float(8, 2, f), "@\n", 13 show_float(-8, 2, f), "@\n", 14 show_float(-8, 0, f), "@\n", 15];