Skip to content

Commit cefa9cb

Browse files
committed
disable STM Thread test under bytecode
1 parent 5f3cf8a commit cefa9cb

File tree

2 files changed

+5
-1
lines changed

2 files changed

+5
-1
lines changed

src/neg_tests/dune

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@
88
;; STM tests
99
stm_tests_sequential_ref.exe
1010
stm_tests_domain_ref.exe
11-
stm_tests_thread_ref.exe
11+
stm_tests_thread_ref.exe ;; currently disabled under bytecode mode
1212
stm_tests_conclist.exe
1313
;; Lin tests
1414
lin_tests_domain.exe ;; currently not run on CI

src/neg_tests/stm_tests_thread_ref.ml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,10 @@ open Stm_tests_spec_ref
33
module RT_int = STM_thread.Make(RConf_int)
44
module RT_int64 = STM_thread.Make(RConf_int64)
55
;;
6+
if Sys.backend_type = Sys.Bytecode
7+
then
8+
Printf.printf "STM ref tests with Thread disabled under bytecode\n\n%!"
9+
else
610
QCheck_runner.run_tests_main
711
(let count = 1000 in
812
[RT_int.agree_test_conc ~count ~name:"STM int ref test with Thread";

0 commit comments

Comments
 (0)