Skip to content

Commit c137861

Browse files
committed
Experiment: make Sys STM test negative across all archs
1 parent 5d0076b commit c137861

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

src/sys/stm_tests.ml

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -395,8 +395,6 @@ module Sys_dom = STM_domain.Make(SConf)
395395

396396
;;
397397
QCheck_base_runner.run_tests_main [
398-
Sys_seq.agree_test ~count:1000 ~name:"STM Sys test sequential";
399-
if Sys.unix && (uname_os () = Some "Linux" || arch () = Some "arm64")
400-
then Sys_dom.agree_test_par ~count:200 ~name:"STM Sys test parallel"
401-
else Sys_dom.neg_agree_test_par ~count:1000 ~name:"STM Sys test parallel"
398+
Sys_seq.agree_test ~count:1000 ~name:"STM Sys test sequential";
399+
Sys_dom.neg_agree_test_par ~count:2500 ~name:"STM Sys test parallel"
402400
]

0 commit comments

Comments
 (0)