WIP

ocaml-multicore · Dec 27, 2023 · 5c05b9d · 5c05b9d
1 parent 1f6cbb1
commit 5c05b9d
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