File tree 1 file changed +8
-12
lines changed
1 file changed +8
-12
lines changed Original file line number Diff line number Diff line change @@ -6,15 +6,11 @@ module CLT_int_thread = Lin_thread.Make_internal(CLConf (Int)) [@alert "-interna
6
6
module CLT_int64_thread = Lin_thread. Make_internal (CLConf (Int64 )) [@ alert " -internal" ]
7
7
8
8
let _ =
9
- let count = 1000 in
10
- let tests = [
11
- CLT_int_thread. lin_test ~count ~name: " Lin.Internal CList int test with Thread" ; (* unboxed, hence no allocations to trigger context switch *)
12
- CLT_int64_thread. lin_test ~count ~name: " Lin.Internal CList int64 test with Thread" (* not triggering context switch, unfortunately *)
13
- ] in
14
- let tests =
15
- if Sys. backend_type = Sys. Bytecode then (
16
- Printf. printf " Lin.Internal CList int64 test with Thread disabled under bytecode\n\n %!" ;
17
- [ List. hd tests ])
18
- else tests
19
- in
20
- QCheck_base_runner. run_tests_main tests
9
+ if Sys. backend_type = Sys. Bytecode then
10
+ Printf. printf " Lin.Internal CList tests with Thread disabled under bytecode\n\n %!"
11
+ else
12
+ let count = 1000 in
13
+ QCheck_base_runner. run_tests_main [
14
+ CLT_int_thread. lin_test ~count ~name: " Lin.Internal CList int test with Thread" ; (* unboxed, hence no allocations to trigger context switch *)
15
+ CLT_int64_thread. lin_test ~count ~name: " Lin.Internal CList int64 test with Thread" (* not triggering context switch, unfortunately *)
16
+ ]
You can’t perform that action at this time.
0 commit comments