Skip to content

Commit

Permalink
Disable Lin Queue test with Thread under bytecode
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Nov 10, 2023
1 parent 31d7bee commit dcedc86
Showing 1 changed file with 9 additions and 2 deletions.
11 changes: 9 additions & 2 deletions src/queue/lin_tests.ml
Expand Up @@ -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

0 comments on commit dcedc86

Please sign in to comment.