File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -314,19 +314,23 @@ struct
314314 | _ ,_ -> false
315315end
316316
317- let uname_os () =
318- let ic = Unix. open_process_in " uname -s " in
317+ let run_cmd cmd =
318+ let ic = Unix. open_process_in cmd in
319319 let os = In_channel. input_line ic in
320320 ignore (Unix. close_process_in ic);
321321 os
322322
323+ let uname_os () = run_cmd " uname -s"
324+
325+ let arch () = run_cmd " opam var arch"
326+
323327module Sys_seq = STM_sequential. Make (SConf )
324328module Sys_dom = STM_domain. Make (SConf )
325329
326330;;
327331QCheck_base_runner. run_tests_main [
328332 Sys_seq. agree_test ~count: 1000 ~name: " STM Sys test sequential" ;
329- if Sys. unix && uname_os () = Some " Linux"
333+ if Sys. unix && ( uname_os () = Some " Linux" || arch () = Some " arm64 " )
330334 then Sys_dom. agree_test_par ~count: 200 ~name: " STM Sys test parallel"
331335 else Sys_dom. neg_agree_test_par ~count: 1000 ~name: " STM Sys test parallel"
332336 ]
You can’t perform that action at this time.
0 commit comments