simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 11:15:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

tests/CCHeap: reorder tests

Browse source
This commit is contained in:
Glen Mével 2024-07-27 17:31:32 +02:00
parent 78e67a9f4a
commit 92676f5513
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
tests/core/t_heap.ml
View file

@ -79,13 +79,6 @@ q ~name:"filter"
List.for_all p l' && List.length l' = List.length (List.filter p l)) List.for_all p l' && List.length l' = List.length (List.filter p l))
;; ;;
q ~name:"to_iter_sorted"
Q.(list_of_size Gen.small_nat medium_nat)
(fun l ->
(l |> H.of_list |> H.to_iter_sorted |> Iter.to_list)
= (l |> List.sort CCInt.compare))
;;
q ~name:"of_gen" q ~name:"of_gen"
Q.(list_of_size Gen.small_nat medium_nat) Q.(list_of_size Gen.small_nat medium_nat)
(fun l -> (fun l ->
@ -100,6 +93,13 @@ q ~name:"to_gen"
= (l |> List.sort CCInt.compare)) = (l |> List.sort CCInt.compare))
;; ;;
q ~name:"to_iter_sorted"
Q.(list_of_size Gen.small_nat medium_nat)
(fun l ->
(l |> H.of_list |> H.to_iter_sorted |> Iter.to_list)
= (l |> List.sort CCInt.compare))
;;
q ~name:"to_string with default sep" q ~name:"to_string with default sep"
Q.(list_of_size Gen.small_nat medium_nat) Q.(list_of_size Gen.small_nat medium_nat)
(fun l -> (fun l ->