Add =output in non-deterministic mdx tests.

ocaml-multicore · Nov 26, 2024 · ac94ae8 · ac94ae8
1 parent 5e30390
commit ac94ae8
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/src/bounded_queue/bounded_queue_intf.mli b/src/bounded_queue/bounded_queue_intf.mli
@@ -137,7 +137,7 @@ end
       Exception: Saturn__Bounded_queue.Empty.]}
 
     A multicore example: 
-    {@ocaml non-deterministic[
+    {@ocaml non-deterministic=output[
       # open Saturn.Bounded_queue
       # let t :int t = create ~capacity:4 ()
       val t : int t = <abstr>

diff --git a/src/bounded_stack.mli b/src/bounded_stack.mli
@@ -178,7 +178,7 @@ the [seq] is too long to fit in the stack.  *)
       Exception: Saturn__Bounded_stack.Empty.]}
 
     A multicore example: 
-    {@ocaml non-deterministic[
+    {@ocaml non-deterministic=output[
       # open Saturn.Bounded_stack
       # let t :int t = create ()
       val t : int t = <abstr>

diff --git a/src/treiber_stack.mli b/src/treiber_stack.mli
@@ -122,7 +122,7 @@ val add_seq : 'a t -> 'a Seq.t -> unit
     Exception: Saturn__Treiber_stack.Empty.]}
 
   A multicore example: 
-  {@ocaml non-deterministic[
+  {@ocaml non-deterministic=output[
     # open Saturn.Stack
     # let t : int t = create ()
     val t : int t = <abstr>

diff --git a/src/ws_deque.mli b/src/ws_deque.mli
@@ -105,7 +105,7 @@ val steal_drop_exn : 'a t -> unit
   Spawning a domain is a costly operation compared to the work actually run on them
   here. In practice, you should not use a barrier.
 
-{@ocaml non-deterministic[
+{@ocaml non-deterministic=output[
       # open Saturn.Work_stealing_deque
       # let t : int t = create ()
       val t : int t = <abstr>