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

polytypic · polytypic · commit 5bd372d40150 · 2024-03-03T13:59:45.000+02:00
diff --git a/test/ws_deque/stm_ws_deque.ml b/test/ws_deque/stm_ws_deque.ml
@@ -77,11 +77,7 @@ let () =
           assume (Dom.all_interleavings_ok triple);
           repeat rep_count Dom.agree_prop_par_asym triple)
     in
-    [
-      agree_test_par_asym ~count ~name:(name ^ " parallel");
-      (* Note: this can generate, e.g., pop commands/actions in different threads, thus violating the spec. *)
-      (* Dom.neg_agree_test_par ~count ~name:(name ^ " parallel, negative"); *)
-    ]
+    [ agree_test_par_asym ~count ~name:(name ^ " parallel") ]
   in
   Stm_run.run ~count:1000 ~name:"Saturn_lockfree.Ws_deque" ~verbose:true
     ~make_domain
