From 92676f5513bc70535825c105ed4cf2284d999dcf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Glen=20M=C3=A9vel?= Date: Sat, 27 Jul 2024 17:31:32 +0200 Subject: [PATCH] tests/CCHeap: reorder tests --- tests/core/t_heap.ml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/tests/core/t_heap.ml b/tests/core/t_heap.ml index 9a3e96a0..82487e36 100644 --- a/tests/core/t_heap.ml +++ b/tests/core/t_heap.ml @@ -79,13 +79,6 @@ q ~name:"filter" 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.(list_of_size Gen.small_nat medium_nat) (fun l -> @@ -100,6 +93,13 @@ q ~name:"to_gen" = (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.(list_of_size Gen.small_nat medium_nat) (fun l ->