max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

test(tests/bench/rbmap_checkpoint): OCaml version using myLen

Browse source
This commit is contained in:
Leonardo de Moura 2019-05-30 07:40:53 -07:00
parent 40ce455e79
commit 4da2e9f7b6
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
tests/bench/rbmap_checkpoint.ml
View file

@ -63,10 +63,16 @@ else let n = n-1 in
let mk_map n freq = mk_map_aux freq n Leaf [];;
let rec myLen n r =
match n with
| (Node (_, _, _, _, _) :: xs) -> myLen xs (r+1)
| (_ :: xs) -> myLen xs r
| [] -> r;;
let main n freq =
let m = mk_map n freq in
let v = fold (fun k v r -> if v then r + 1 else r) (List.hd m) 0 in
Printf.printf "%d %d\n" (List.length m) v;
Printf.printf "%d %d\n" (myLen m 0) v;
v;;
main (int_of_string Sys.argv.(1)) (int_of_string Sys.argv.(2));;