WIP

ocaml-multicore · Dec 10, 2023 · 1f035d2 · 1f035d2
1 parent e439536
commit 1f035d2
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/test/kcas_data/queue_test_stm.ml b/test/kcas_data/queue_test_stm.ml
@@ -30,8 +30,7 @@ module Spec = struct
     [
       Gen.int |> Gen.map (fun x -> Push x);
       Gen.return Take_opt;
-      Gen.return Peek_opt;
-      Gen.return Length;
+      Gen.return Length |> Gen.map (fun _ -> Peek_opt);
     ]
     |> Gen.oneof |> make ~print:show_cmd