File tree Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Original file line number Diff line number Diff line change 1313 ;; Lin tests
1414 lin_tests_domain.exe ;; currently not run on CI
1515 lin_tests_effect.exe ;; currently not run on CI
16- lin_tests_thread_ref.exe
16+ lin_tests_thread_ref.exe ;; currently disabled under bytecode mode
1717 lin_tests_thread_conclist.exe
1818 ;; Lin_api tests
1919 lin_tests_dsl_domain.exe
Original file line number Diff line number Diff line change @@ -3,6 +3,10 @@ open Lin_tests_common
33(* * This is a driver of the negative ref tests over the Thread module *)
44
55;;
6+ if Sys. backend_type = Sys. Bytecode
7+ then
8+ Printf. printf " Lin ref tests with Thread disabled under bytecode\n\n %!"
9+ else
610QCheck_base_runner. run_tests_main
711 (let count = 1000 in
812 [RT_int. lin_test `Thread ~count ~name: " Lin ref int test with Thread" ; (* unboxed, hence no allocations to trigger context switch *)
You can’t perform that action at this time.
0 commit comments