From dcedc862db5ac6023b99db4d07e80a1431d413e8 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Fri, 10 Nov 2023 16:28:09 +0100 Subject: [PATCH] Disable Lin Queue test with Thread under bytecode --- src/queue/lin_tests.ml | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/src/queue/lin_tests.ml b/src/queue/lin_tests.ml index 26e356aa..d5be8746 100644 --- a/src/queue/lin_tests.ml +++ b/src/queue/lin_tests.ml @@ -21,7 +21,14 @@ module Lin_queue_domain = Lin_domain.Make(Queue_spec) module Lin_queue_thread = Lin_thread.Make(Queue_spec) [@alert "-experimental"] let () = - QCheck_base_runner.run_tests_main [ + let tests = [ Lin_queue_domain.neg_lin_test ~count:1000 ~name:"Lin Queue test with Domain"; Lin_queue_thread.lin_test ~count:250 ~name:"Lin Queue test with Thread"; - ] + ] in + let tests = + if Sys.backend_type = Sys.Bytecode then ( + Printf.printf "Lin Queue test with Thread disabled under bytecode\n\n%!"; + [ List.hd tests ]) + else tests + in + QCheck_base_runner.run_tests_main tests