We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 31d7bee + dcedc86 commit fdb7132Copy full SHA for fdb7132
src/queue/lin_tests.ml
@@ -21,7 +21,14 @@ module Lin_queue_domain = Lin_domain.Make(Queue_spec)
21
module Lin_queue_thread = Lin_thread.Make(Queue_spec) [@alert "-experimental"]
22
23
let () =
24
- QCheck_base_runner.run_tests_main [
+ let tests = [
25
Lin_queue_domain.neg_lin_test ~count:1000 ~name:"Lin Queue test with Domain";
26
Lin_queue_thread.lin_test ~count:250 ~name:"Lin Queue test with Thread";
27
- ]
+ ] in
28
+ let tests =
29
+ if Sys.backend_type = Sys.Bytecode then (
30
+ Printf.printf "Lin Queue test with Thread disabled under bytecode\n\n%!";
31
+ [ List.hd tests ])
32
+ else tests
33
+ in
34
+ QCheck_base_runner.run_tests_main tests
0 commit comments