We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 77ebc56 commit f75289cCopy full SHA for f75289c
src/sys/stm_tests.ml
@@ -322,15 +322,13 @@ let run_cmd cmd =
322
323
let uname_os () = run_cmd "uname -s"
324
325
-let arch () = run_cmd "opam var arch"
326
-
327
module Sys_seq = STM_sequential.Make(SConf)
328
module Sys_dom = STM_domain.Make(SConf)
329
330
;;
331
QCheck_base_runner.run_tests_main [
332
Sys_seq.agree_test ~count:1000 ~name:"STM Sys test sequential";
333
- if Sys.unix && (uname_os () = Some "Linux" || arch () = Some "arm64")
+ if Sys.unix && uname_os () = Some "Linux"
334
then Sys_dom.agree_test_par ~count:200 ~name:"STM Sys test parallel"
335
else Sys_dom.neg_agree_test_par ~count:1000 ~name:"STM Sys test parallel"
336
]
0 commit comments