functional-test/tak.ml at develop · dekker.one/bytecode-benchmarks

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / functional-test / tak.ml

at develop 159 B view raw

1let rec tak x y z =
2  if y < x then
3    tak (tak (x-1) y z) (tak (y-1) z x) (tak (z-1) x y)
4  else z;;
5
6for it = 1 to 1000 do let _ = (tak 18 12 6) in () done