File tree Expand file tree Collapse file tree 2 files changed +0
-16
lines changed Expand file tree Collapse file tree 2 files changed +0
-16
lines changed Original file line number Diff line number Diff line change @@ -2,17 +2,9 @@ open Ref_stm_spec
22
33module RT_int = STM_domain. Make (RConf_int )
44module RT_int64 = STM_domain. Make (RConf_int64 )
5-
6- (* module RConf_int_GC = STM_base.AddGC(RConf_int)*)
7- (* module RConf_int64_GC = STM_base.AddGC(RConf_int64)*)
8-
9- (* module RT_int_GC = STM_domain.Make(RConf_int_GC)*)
10- (* module RT_int64_GC = STM_domain.Make(RConf_int64_GC)*)
115;;
126QCheck_runner. run_tests_main
137 (let count = 1000 in
148 [RT_int. neg_agree_test_par ~count ~name: " STM int ref test parallel" ;
15- (* RT_int_GC.neg_agree_test_par ~count ~name:"STM int ref test parallel (w/AddGC functor)";*)
169 RT_int64. neg_agree_test_par ~count ~name: " STM int64 ref test parallel" ;
17- (* RT_int64_GC.neg_agree_test_par ~count ~name:"STM int64 ref test parallel (w/AddGC functor)";*)
1810 ])
Original file line number Diff line number Diff line change @@ -2,17 +2,9 @@ open Ref_stm_spec
22
33module RT_int = STM_thread. Make (RConf_int )
44module RT_int64 = STM_thread. Make (RConf_int64 )
5-
6- (* module RConf_int_GC = STM_base.AddGC(RConf_int)*)
7- (* module RConf_int64_GC = STM_base.AddGC(RConf_int64)*)
8-
9- (* module RT_int_GC = STM_thread.Make(RConf_int_GC)*)
10- (* module RT_int64_GC = STM_thread.Make(RConf_int64_GC)*)
115;;
126QCheck_runner. run_tests_main
137 (let count = 1000 in
148 [RT_int. agree_test_conc ~count ~name: " STM int ref test with Thread" ;
15- (* RT_int_GC.agree_test_conc ~count ~name:"STM int ref test with Thread (w/AddGC functor)";*)
169 RT_int64. neg_agree_test_conc ~count ~name: " STM int64 ref test with Thread" ;
17- (* RT_int64_GC.agree_test_conc ~count ~name:"STM int64 ref test with Thread (w/AddGC functor)";*)
1810 ])
You can’t perform that action at this time.
0 commit comments