WIP

ocaml-multicore · Mar 13, 2024 · 9e3a664 · 9e3a664
1 parent a878a46
commit 9e3a664
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