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 ->