fix pvec tests

(make choose's result irrelevant, only test whether it returns)
c-cube · Jan 6, 2024 · 03e253a · 03e253a
1 parent 66b42ea
commit 03e253a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/tests/pvec/t_pvec.ml b/tests/pvec/t_pvec.ml
@@ -93,8 +93,8 @@ module Ref_impl = struct
 
   let choose l =
     match l with
-    | [] -> None
-    | x :: _ -> Some x
+    | [] -> false
+    | _ :: _ -> true
 end
 
 module Op = struct
@@ -230,7 +230,7 @@ let check_ops ~show_x (ops : 'a Op.t list) : unit =
       | Op.Check_to_list ->
         if to_list !cur <> Ref_impl.to_list !cur_ref then fail ()
       | Op.Check_choose ->
-        if choose !cur <> Ref_impl.choose !cur_ref then fail ()
+        if Option.is_some (choose !cur) <> Ref_impl.choose !cur_ref then fail ()
       | Op.Check_to_gen ->
         if
           to_seq !cur |> CCSeq.to_list