File tree Expand file tree Collapse file tree 14 files changed +33
-33
lines changed Expand file tree Collapse file tree 14 files changed +33
-33
lines changed Original file line number Diff line number Diff line change 2929module AT_domain = Lin_domain. Make (AConf )
3030;;
3131QCheck_base_runner. run_tests_main [
32- AT_domain. neg_lin_test ~count: 1000 ~name: " Lin_api Array test with Domain" ;
32+ AT_domain. neg_lin_test ~count: 1000 ~name: " Lin DSL Array test with Domain" ;
3333]
Original file line number Diff line number Diff line change @@ -17,5 +17,5 @@ module Lin_atomic_domain = Lin_domain.Make (Atomic_spec)
1717
1818let () =
1919 QCheck_base_runner. run_tests_main
20- [ Lin_atomic_domain. lin_test ~count: 1000 ~name: " Lin_api Atomic test with Domain" ;
20+ [ Lin_atomic_domain. lin_test ~count: 1000 ~name: " Lin DSL Atomic test with Domain" ;
2121 ]
Original file line number Diff line number Diff line change @@ -29,5 +29,5 @@ module BA1T = Lin_domain.Make(BA1Conf)
2929
3030let _ =
3131 QCheck_base_runner. run_tests_main [
32- BA1T. neg_lin_test ~count: 5000 ~name: " Lin_api Bigarray.Array1 (of ints) test with Domain" ;
32+ BA1T. neg_lin_test ~count: 5000 ~name: " Lin DSL Bigarray.Array1 (of ints) test with Domain" ;
3333 ]
Original file line number Diff line number Diff line change @@ -21,6 +21,6 @@ module BT_domain = Lin_domain.Make(BConf)
2121module BT_thread = Lin_thread. Make (BConf )
2222;;
2323QCheck_base_runner. run_tests_main [
24- BT_domain. lin_test ~count: 1000 ~name: " Lin_api Bytes test with Domain" ;
25- BT_thread. lin_test ~count: 1000 ~name: " Lin_api Bytes test with Thread" ;
24+ BT_domain. lin_test ~count: 1000 ~name: " Lin DSL Bytes test with Domain" ;
25+ BT_thread. lin_test ~count: 1000 ~name: " Lin DSL Bytes test with Thread" ;
2626]
Original file line number Diff line number Diff line change @@ -42,6 +42,6 @@ module ET_domain = Lin_domain.Make(EConf)
4242module ET_thread = Lin_thread. Make (EConf )
4343;;
4444QCheck_base_runner. run_tests_main [
45- ET_domain. neg_lin_test ~count: 1000 ~name: " Lin_api Ephemeron test with Domain" ;
46- ET_thread. lin_test ~count: 250 ~name: " Lin_api Ephemeron test with Thread" ;
45+ ET_domain. neg_lin_test ~count: 1000 ~name: " Lin DSL Ephemeron test with Domain" ;
46+ ET_thread. lin_test ~count: 250 ~name: " Lin DSL Ephemeron test with Thread" ;
4747 ]
Original file line number Diff line number Diff line change @@ -37,5 +37,5 @@ module FAT = Lin_domain.Make(FAConf)
3737
3838let _ =
3939 QCheck_base_runner. run_tests_main [
40- FAT. neg_lin_test ~count: 1000 ~name: " Lin_api Float.Array test with Domain" ;
40+ FAT. neg_lin_test ~count: 1000 ~name: " Lin DSL Float.Array test with Domain" ;
4141 ]
Original file line number Diff line number Diff line change 2626module HT_domain = Lin_domain. Make (HConf )
2727;;
2828QCheck_base_runner. run_tests_main [
29- HT_domain. neg_lin_test ~count: 1000 ~name: " Lin_api Hashtbl test with Domain" ;
29+ HT_domain. neg_lin_test ~count: 1000 ~name: " Lin DSL Hashtbl test with Domain" ;
3030]
Original file line number Diff line number Diff line change @@ -67,7 +67,7 @@ module LTfromfun_domain = Lin_domain.Make(LTfromfunAPI)
6767;;
6868QCheck_base_runner. run_tests_main
6969 (let count = 100 in
70- [LTlazy_domain. neg_lin_test ~count ~name: " Lin_api Lazy test with Domain" ;
71- LTfromval_domain. lin_test ~count ~name: " Lin_api Lazy test with Domain from_val" ;
72- LTfromfun_domain. neg_lin_test ~count ~name: " Lin_api Lazy test with Domain from_fun" ;
70+ [LTlazy_domain. neg_lin_test ~count ~name: " Lin DSL Lazy test with Domain" ;
71+ LTfromval_domain. lin_test ~count ~name: " Lin DSL Lazy test with Domain from_val" ;
72+ LTfromfun_domain. neg_lin_test ~count ~name: " Lin DSL Lazy test with Domain from_fun" ;
7373 ])
Original file line number Diff line number Diff line change @@ -5,7 +5,7 @@ open Lin_tests_common
55;;
66QCheck_base_runner. run_tests_main
77 (let count = 15000 in
8- [RT_int_domain. neg_lin_test ~count ~name: " Lin_api ref int test with Domain" ;
9- RT_int64_domain. neg_lin_test ~count ~name: " Lin_api ref int64 test with Domain" ;
10- CLT_int_domain. neg_lin_test ~count ~name: " Lin_api CList int test with Domain" ;
11- CLT_int64_domain. neg_lin_test ~count ~name: " Lin_api CList int64 test with Domain" ])
8+ [RT_int_domain. neg_lin_test ~count ~name: " Lin DSL ref int test with Domain" ;
9+ RT_int64_domain. neg_lin_test ~count ~name: " Lin DSL ref int64 test with Domain" ;
10+ CLT_int_domain. neg_lin_test ~count ~name: " Lin DSL CList int test with Domain" ;
11+ CLT_int64_domain. neg_lin_test ~count ~name: " Lin DSL CList int64 test with Domain" ])
Original file line number Diff line number Diff line change @@ -5,7 +5,7 @@ open Lin_tests_common_dsl
55;;
66QCheck_base_runner. run_tests_main
77 (let count = 10000 in
8- [RT_int_domain. neg_lin_test ~count ~name: " Lin_api ref int test with Domain" ;
9- RT_int64_domain. neg_lin_test ~count ~name: " Lin_api ref int64 test with Domain" ;
10- CLT_int_domain. neg_lin_test ~count ~name: " Lin_api CList int test with Domain" ;
11- CLT_int64_domain. neg_lin_test ~count ~name: " Lin_api CList int64 test with Domain" ])
8+ [RT_int_domain. neg_lin_test ~count ~name: " Lin DSL ref int test with Domain" ;
9+ RT_int64_domain. neg_lin_test ~count ~name: " Lin DSL ref int64 test with Domain" ;
10+ CLT_int_domain. neg_lin_test ~count ~name: " Lin DSL CList int test with Domain" ;
11+ CLT_int64_domain. neg_lin_test ~count ~name: " Lin DSL CList int64 test with Domain" ])
You can’t perform that action at this time.
0 commit comments