Skip to content

Commit 4200c04

Browse files
committed
Experiment: make Sys STM test negative across all archs
1 parent fe9a5e8 commit 4200c04

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
@@ -393,8 +393,6 @@ module Sys_dom = STM_domain.Make(SConf)
393393

394394
;;
395395
QCheck_base_runner.run_tests_main [
396-
Sys_seq.agree_test ~count:1000 ~name:"STM Sys test sequential";
397-
if Sys.unix && uname_os () = Some "Linux"
398-
then Sys_dom.agree_test_par ~count:200 ~name:"STM Sys test parallel"
399-
else Sys_dom.neg_agree_test_par ~count:2500 ~name:"STM Sys test parallel"
396+
Sys_seq.agree_test ~count:1000 ~name:"STM Sys test sequential";
397+
Sys_dom.neg_agree_test_par ~count:2500 ~name:"STM Sys test parallel"
400398
]

0 commit comments

Comments
 (0)