summary refs log tree commit diff
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-02-13 15:41:16 -0500
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-02-13 15:41:16 -0500
commitd621e6654bd9d117fbaf4fe389ae0da410768ab2 (patch)
treefc3334533a93044f169d936ea78c9597b34c6157
parent778e33848bc033a73834ad256bb36a598c98e63a (diff)
downloadroux-d621e6654bd9d117fbaf4fe389ae0da410768ab2.tar.gz
remove debug code for heaps
-rw-r--r--lo3.ml25
1 files changed, 0 insertions, 25 deletions
diff --git a/lo3.ml b/lo3.ml
index 7693f69..502fd57 100644
--- a/lo3.ml
+++ b/lo3.ml
@@ -56,28 +56,3 @@ end = struct
     bbldn cmp arr 1 len;
     t
 end
-
-let rec popall h =
-  match Heap.pop h with
-  | None -> []
-  | Some x -> x :: popall h
-
-let _ =
-  if true then
-  let rnd () =
-    (2047 land Random.bits ()) *
-    ((Random.bits () land 2) - 1) in
-  let rec f n = if n = 0 then [] else rnd () :: f (n-1) in
-  for n = 1 to 150 do
-    for i = 1 to 1_000 do
-      let l = f n in
-      (* List.iter (Printf.printf "%d, ") l; print_newline (); *)
-      let h = Heap.create compare in
-      List.iter (Heap.add h) l;
-      let l' = popall h in
-      assert (List.sort compare l = l');
-    done;
-    Printf.printf "... %d\n" n;
-    flush stdout;
-  done;
-  print_string "OK!\n"