Bump ocamlformat version and format tests

Author: Sudha247

.ocamlformat

@@ -1,2 +1,2 @@
 profile = default
-version = 0.25.1
+version = 0.26.0

src_lockfree/ws_deque.ml

@@ -54,7 +54,7 @@ module CArray = struct
     (* Because [size t] is a power of two, [i mod (size t)] is the same as
        [i land (size t - 1)], that is, [i land (mask t)]. *)
     Int.logand i (mask t)
-    [@@inline]
+  [@@inline]
 
   let get t i = Array.unsafe_get t (index i t) [@@inline]
   let put t i v = Array.unsafe_set t (index i t) v [@@inline]
@@ -66,7 +66,7 @@ module CArray = struct
       dst
       (index top dst) (* number of elements: *)
       num
-    [@@inline]
+  [@@inline]
 
   let grow t top bottom =
     let sz = size t in
@@ -138,7 +138,7 @@ module M : S = struct
        deque array get garbage collected *)
     ptr := Obj.magic ();
     res
-    [@@inline]
+  [@@inline]
 
   let pop q =
     if size q = 0 then raise Exit

test/michael_scott_queue/dune

@@ -7,7 +7,11 @@
 (test
  (name michael_scott_queue_dscheck)
  (libraries atomic dscheck alcotest)
-  (enabled_if (not (and (= %{arch_sixtyfour} false) (= %{architecture} arm))))
+ (enabled_if
+  (not
+   (and
+    (= %{arch_sixtyfour} false)
+    (= %{architecture} arm))))
  (modules backoff michael_scott_queue michael_scott_queue_dscheck))
 
 (test
@@ -19,6 +23,7 @@
  (name stm_michael_scott_queue)
  (modules stm_michael_scott_queue)
  (libraries saturn qcheck-stm.sequential qcheck-stm.domain)
- (enabled_if (= %{arch_sixtyfour} true))
+ (enabled_if
+  (= %{arch_sixtyfour} true))
  (action
   (run %{test} --verbose)))

test/mpmc_relaxed_queue/test_mpmc_relaxed_queue.ml

@@ -134,8 +134,8 @@ let two_threads_spin_test () =
   Domain.join dequeuer |> ignore;
   ()
 
-let doms1 = if (Sys.word_size >= 64) then 4 else 1
-let doms2 = if (Sys.word_size >= 64) then 8 else 1
+let doms1 = if Sys.word_size >= 64 then 4 else 1
+let doms2 = if Sys.word_size >= 64 then 8 else 1
 
 let () =
   let open Alcotest in
@@ -151,7 +151,7 @@ let () =
          [
            test_case " 4 prod. 4 cons." `Slow (run_test doms1 doms1);
            test_case " 8 prod. 1 cons." `Slow (run_test doms2 1);
-           test_case " 1 prod. 8 cons." `Slow (run_test 1 doms2)
+           test_case " 1 prod. 8 cons." `Slow (run_test 1 doms2);
          ] );
      ]
      @

test/mpsc_queue/dune

@@ -15,6 +15,7 @@
  (name stm_mpsc_queue)
  (modules stm_mpsc_queue)
  (libraries saturn qcheck-stm.sequential qcheck-stm.domain)
- (enabled_if (= %{arch_sixtyfour} true))
+ (enabled_if
+  (= %{arch_sixtyfour} true))
  (action
   (run %{test} --verbose)))

test/mpsc_queue/stm_mpsc_queue.ml

@@ -50,7 +50,7 @@ module MPSCConf = struct
         (is_closed, if not is_closed then i :: List.rev s |> List.rev else s)
     | Push_head i -> (is_closed, if not (is_closed && s = []) then i :: s else s)
     | Is_empty -> (is_closed, s)
-    | Pop -> ( (is_closed, match s with [] -> s | _ :: s' -> s'))
+    | Pop -> (is_closed, match s with [] -> s | _ :: s' -> s')
     | Close -> (true, s)
 
   let precond _ _ = true

test/spsc_queue/dune

@@ -20,6 +20,7 @@
  (name stm_spsc_queue)
  (modules stm_spsc_queue)
  (libraries saturn qcheck-stm.sequential qcheck-stm.domain)
- (enabled_if (= %{arch_sixtyfour} true))
+ (enabled_if
+  (= %{arch_sixtyfour} true))
  (action
   (run %{test} --verbose)))

test/treiber_stack/dune

@@ -7,7 +7,11 @@
 (test
  (name treiber_stack_dscheck)
  (libraries atomic dscheck alcotest)
-  (enabled_if (not (and (= %{arch_sixtyfour} false) (= %{architecture} arm))))
+ (enabled_if
+  (not
+   (and
+    (= %{arch_sixtyfour} false)
+    (= %{architecture} arm))))
  (modules backoff treiber_stack treiber_stack_dscheck))
 
 (test
@@ -19,6 +23,7 @@
  (name stm_treiber_stack)
  (modules stm_treiber_stack)
  (libraries saturn qcheck-stm.sequential qcheck-stm.domain)
- (enabled_if (= %{arch_sixtyfour} true))
+ (enabled_if
+  (= %{arch_sixtyfour} true))
  (action
   (run %{test} --verbose)))

test/ws_deque/dune

@@ -17,13 +17,18 @@
 (test
  (name qcheck_ws_deque)
  (libraries barrier saturn qcheck "qcheck-alcotest")
- (enabled_if (not (and (= %{arch_sixtyfour} false) (= %{architecture} arm))))
+ (enabled_if
+  (not
+   (and
+    (= %{arch_sixtyfour} false)
+    (= %{architecture} arm))))
  (modules qcheck_ws_deque))
 
 (test
  (name stm_ws_deque)
  (modules stm_ws_deque)
  (libraries saturn qcheck-stm.sequential qcheck-stm.domain)
- (enabled_if (= %{arch_sixtyfour} true))
+ (enabled_if
+  (= %{arch_sixtyfour} true))
  (action
   (run %{test} --verbose)))

test/ws_deque/test_ws_deque.ml

@@ -39,7 +39,7 @@ let test_concurrent_workload () =
   (* The desired number of steal attempts per thief. *)
   let attempts = 100000 in
   (* The number of thieves. *)
-  let thieves = if (Sys.word_size >= 64) then 16 else 2 in
+  let thieves = if Sys.word_size >= 64 then 16 else 2 in
   (* The queue. *)
   let q = create () in
   (* A generator of fresh elements. *)