File tree Expand file tree Collapse file tree 1 file changed +1
-55
lines changed Expand file tree Collapse file tree 1 file changed +1
-55
lines changed Original file line number Diff line number Diff line change @@ -24,58 +24,4 @@ let test_build () =
2424 r1, r2
2525;;
2626
27- let test_scan bl l =
28-
29- let t0 = Unix. gettimeofday () in
30- assert (List. length bl = size);
31- let t1 = Unix. gettimeofday () in
32-
33- let t2 = Unix. gettimeofday () in
34- assert (List. length l = size);
35-
36- let t3 = Unix. gettimeofday () in
37-
38- Format. eprintf " scan: bl=%4f l=%4f\n " (t1-. t0) (t3-. t2)
39-
40- ;;
41-
42- let bl,l = test_build ()
43- let () = test_scan (bl |> to_scan |> to_list) l
44-
45- (* let _ =
46- let l = empty () in
47- let l = rcons 10 l in
48- let l = rcons 11 l in
49- let l = insert (fun x -> 10 -x) 9 l in
50- let l = rcons 12 l in
51- let l = to_list @@ to_scan l in
52- assert(l = [10;9;11;12])
53- ;;
54-
55- let _ =
56- let l = empty () in
57- let l = rcons 10 l in
58- let l = rcons 11 l in
59- let l = insert (fun x -> x - 11) 9 l in
60- let l = rcons 12 l in
61- let l = to_list @@ to_scan l in
62- assert(l = [10;11;9;12])
63- ;;
64-
65-
66- let _ =
67- let l = empty () in
68- let l = rcons 8 l in
69- let l = rcons 10 l in
70- let l as old = rcons 11 l in
71-
72- assert(to_list @@ to_scan old = [8;10;11]);
73- let l = insert (fun x -> x - 10) 9 l in
74-
75- let l = to_list @@ to_scan l in
76- assert(l = [8;10;9;11]);
77-
78- let l = to_list @@ to_scan old in
79- assert(l = [8;10;11]);
80-
81- ;; *)
27+ let _ = test_build ()
You can’t perform that action at this time.
0 commit comments