WIP

polytypic · polytypic · commit f026a55d3141 · 2023-12-31T21:07:06.000+02:00
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
 

Original file line number	Diff line number	Diff line change
`@@ -30,8 +30,7 @@ module Spec = struct`
`30`	`30`	`[`
`31`	`31`	`Gen.int \|> Gen.map (fun x -> Push x);`
`32`	`32`	`Gen.return Take_opt;`
`33`		`- Gen.return Peek_opt;`
`34`		`- Gen.return Length;`
	`33`	`+ Gen.return Length \|> Gen.map (fun _ -> Peek_opt);`
`35`	`34`	`]`
`36`	`35`	`\|> Gen.oneof \|> make ~print:show_cmd`
`37`	`36`