Skip to content

Refactor STM par asym tests and increment count #377

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jul 15, 2023
Merged

Refactor STM par asym tests and increment count #377

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
881ea21
Factor out asym ref tests
jmid Jul 14, 2023
a3a67a7
Bump asym count to account for sensitive GA runners
jmid Jul 14, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions src/neg_tests/dune
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,14 @@
(action (run %{test} --verbose))
)

(test
(name stm_tests_domain_ref_asym)
(modules stm_tests_domain_ref_asym)
(package multicoretests)
(libraries stm_tests_spec_ref qcheck-stm.domain)
(action (run %{test} --verbose))
)

(test
(name stm_tests_thread_ref)
(modules stm_tests_thread_ref)
Expand Down
2 changes: 0 additions & 2 deletions src/neg_tests/stm_tests_domain_ref.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,4 @@ module RT_int64 = STM_domain.Make(RConf_int64)
QCheck_base_runner.run_tests_main
[RT_int.neg_agree_test_par ~count:1000 ~name:"STM int ref test parallel";
RT_int64.neg_agree_test_par ~count:1000 ~name:"STM int64 ref test parallel";
RT_int.neg_agree_test_par_asym ~count:2000 ~name:"STM int ref test parallel asymmetric";
RT_int64.neg_agree_test_par_asym ~count:2000 ~name:"STM int64 ref test parallel asymmetric";
]
9 changes: 9 additions & 0 deletions src/neg_tests/stm_tests_domain_ref_asym.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
open Stm_tests_spec_ref

module RT_int = STM_domain.Make(RConf_int)
module RT_int64 = STM_domain.Make(RConf_int64)
;;
QCheck_base_runner.run_tests_main
[RT_int.neg_agree_test_par_asym ~count:5000 ~name:"STM int ref test parallel asymmetric";
RT_int64.neg_agree_test_par_asym ~count:5000 ~name:"STM int64 ref test parallel asymmetric";
]