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

ocaml-multicore · Mar 3, 2024 · 5bd372d · 5bd372d
1 parent 9608520
commit 5bd372d
Showing 1 changed file with 1 addition and 5 deletions.
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