Remove negative test that uses the WS deque in an invalid unsafe way

polytypic · polytypic · commit 8442ef3cffa5 · 2024-02-28T16:19:31.000+02:00
diff --git a/test/ws_deque/stm_ws_deque.ml b/test/ws_deque/stm_ws_deque.ml
@@ -82,8 +82,4 @@ let () =
         ~name:"STM Saturn_lockfree.Ws_deque test sequential";
       agree_test_par_asym ~count
         ~name:"STM Saturn_lockfree.Ws_deque test parallel";
-      (* Note: this can generate, e.g., pop commands/actions in different threads, thus violating the spec. *)
-      (*
-      WSDT_dom.neg_agree_test_par ~count
-        ~name:"STM Saturn_lockfree.Ws_deque test parallel, negative"; *)
     ]

Original file line number	Diff line number	Diff line change
`@@ -82,8 +82,4 @@ let () =`
`82`	`82`	`~name:"STM Saturn_lockfree.Ws_deque test sequential";`
`83`	`83`	`agree_test_par_asym ~count`
`84`	`84`	`~name:"STM Saturn_lockfree.Ws_deque test parallel";`
`85`		`- (* Note: this can generate, e.g., pop commands/actions in different threads, thus violating the spec. *)`
`86`		`- (*`
`87`		`- WSDT_dom.neg_agree_test_par ~count`
`88`		`- ~name:"STM Saturn_lockfree.Ws_deque test parallel, negative"; *)`
`89`	`85`	`]`