Rename "Lin_api" into "Lin DSL" in test descriptions

src/array/lin_tests_dsl.ml

@@ -29,5 +29,5 @@ end
 module AT_domain = Lin_domain.Make(AConf)
 ;;
 QCheck_base_runner.run_tests_main [
-  AT_domain.neg_lin_test ~count:1000 ~name:"Lin_api Array test with Domain";
+  AT_domain.neg_lin_test ~count:1000 ~name:"Lin DSL Array test with Domain";
 ]

src/atomic/lin_tests_dsl.ml

@@ -17,5 +17,5 @@ module Lin_atomic_domain = Lin_domain.Make (Atomic_spec)
 
 let () =
   QCheck_base_runner.run_tests_main
-    [ Lin_atomic_domain.lin_test ~count:1000 ~name:"Lin_api Atomic test with Domain";
+    [ Lin_atomic_domain.lin_test ~count:1000 ~name:"Lin DSL Atomic test with Domain";
     ]

src/bigarray/lin_tests_dsl.ml

@@ -29,5 +29,5 @@ module BA1T = Lin_domain.Make(BA1Conf)
 
 let _ =
   QCheck_base_runner.run_tests_main [
-    BA1T.neg_lin_test ~count:5000 ~name:"Lin_api Bigarray.Array1 (of ints) test with Domain";
+    BA1T.neg_lin_test ~count:5000 ~name:"Lin DSL Bigarray.Array1 (of ints) test with Domain";
   ]

src/bytes/lin_tests_dsl.ml

@@ -21,6 +21,6 @@ module BT_domain = Lin_domain.Make(BConf)
 module BT_thread = Lin_thread.Make(BConf)
 ;;
 QCheck_base_runner.run_tests_main [
-  BT_domain.lin_test ~count:1000 ~name:"Lin_api Bytes test with Domain";
-  BT_thread.lin_test ~count:1000 ~name:"Lin_api Bytes test with Thread";
+  BT_domain.lin_test ~count:1000 ~name:"Lin DSL Bytes test with Domain";
+  BT_thread.lin_test ~count:1000 ~name:"Lin DSL Bytes test with Thread";
 ]

src/ephemeron/lin_tests_dsl.ml

@@ -42,6 +42,6 @@ module ET_domain = Lin_domain.Make(EConf)
 module ET_thread = Lin_thread.Make(EConf)
 ;;
 QCheck_base_runner.run_tests_main [
-    ET_domain.neg_lin_test ~count:1000 ~name:"Lin_api Ephemeron test with Domain";
-    ET_thread.lin_test     ~count:250  ~name:"Lin_api Ephemeron test with Thread";
+    ET_domain.neg_lin_test ~count:1000 ~name:"Lin DSL Ephemeron test with Domain";
+    ET_thread.lin_test     ~count:250  ~name:"Lin DSL Ephemeron test with Thread";
   ]

src/floatarray/lin_tests_dsl.ml

@@ -37,5 +37,5 @@ module FAT = Lin_domain.Make(FAConf)
 
 let _ =
   QCheck_base_runner.run_tests_main [
-    FAT.neg_lin_test ~count:1000 ~name:"Lin_api Float.Array test with Domain";
+    FAT.neg_lin_test ~count:1000 ~name:"Lin DSL Float.Array test with Domain";
   ]

src/hashtbl/lin_tests_dsl.ml

@@ -26,5 +26,5 @@ end
 module HT_domain = Lin_domain.Make(HConf)
 ;;
 QCheck_base_runner.run_tests_main [
-  HT_domain.neg_lin_test ~count:1000 ~name:"Lin_api Hashtbl test with Domain";
+  HT_domain.neg_lin_test ~count:1000 ~name:"Lin DSL Hashtbl test with Domain";
 ]

src/lazy/lin_tests_dsl.ml

@@ -67,7 +67,7 @@ module LTfromfun_domain = Lin_domain.Make(LTfromfunAPI)
 ;;
 QCheck_base_runner.run_tests_main
   (let count = 100 in
-   [LTlazy_domain.neg_lin_test    ~count ~name:"Lin_api Lazy test with Domain";
-    LTfromval_domain.lin_test     ~count ~name:"Lin_api Lazy test with Domain from_val";
-    LTfromfun_domain.neg_lin_test ~count ~name:"Lin_api Lazy test with Domain from_fun";
+   [LTlazy_domain.neg_lin_test    ~count ~name:"Lin DSL Lazy test with Domain";
+    LTfromval_domain.lin_test     ~count ~name:"Lin DSL Lazy test with Domain from_val";
+    LTfromfun_domain.neg_lin_test ~count ~name:"Lin DSL Lazy test with Domain from_fun";
    ])

src/neg_tests/domain_lin_tests_dsl.ml

@@ -5,7 +5,7 @@ open Lin_tests_common_dsl
 ;;
 QCheck_base_runner.run_tests_main
   (let count = 10000 in
-   [RT_int_domain.neg_lin_test    ~count ~name:"Lin_api ref int test with Domain";
-    RT_int64_domain.neg_lin_test  ~count ~name:"Lin_api ref int64 test with Domain";
-    CLT_int_domain.neg_lin_test   ~count ~name:"Lin_api CList int test with Domain";
-    CLT_int64_domain.neg_lin_test ~count ~name:"Lin_api CList int64 test with Domain"])
+   [RT_int_domain.neg_lin_test    ~count ~name:"Lin DSL ref int test with Domain";
+    RT_int64_domain.neg_lin_test  ~count ~name:"Lin DSL ref int64 test with Domain";
+    CLT_int_domain.neg_lin_test   ~count ~name:"Lin DSL CList int test with Domain";
+    CLT_int64_domain.neg_lin_test ~count ~name:"Lin DSL CList int64 test with Domain"])

src/neg_tests/dune

@@ -14,7 +14,7 @@
    domain_lin_tests.exe ;; currently not run on CI
    effect_lin_tests.exe ;; currently not run on CI
    thread_lin_tests.exe
-   ;; Lin_api tests
+   ;; Lin DSL tests
    domain_lin_tests_dsl.exe
    effect_lin_tests_dsl.exe
    thread_lin_tests_dsl.exe)) ;; currently not run on CI

src/neg_tests/effect_lin_tests_dsl.ml

@@ -83,13 +83,13 @@ module CLT_int64'_effect = Lin_effect.Make(CList_spec_int64')
 QCheck_base_runner.run_tests_main
   (let count = 20_000 in [
       (* We don't expect the first four tests to fail as each `cmd` is completed before a `Yield` *)
-      RT_int_effect.lin_test     ~count ~name:"Lin_api ref int test with Effect";
-      RT_int64_effect.lin_test   ~count ~name:"Lin_api ref int64 test with Effect";
-      CLT_int_effect.lin_test    ~count ~name:"Lin_api CList int test with Effect";
-      CLT_int64_effect.lin_test  ~count ~name:"Lin_api CList int64 test with Effect";
+      RT_int_effect.lin_test     ~count ~name:"Lin DSL ref int test with Effect";
+      RT_int64_effect.lin_test   ~count ~name:"Lin DSL ref int64 test with Effect";
+      CLT_int_effect.lin_test    ~count ~name:"Lin DSL CList int test with Effect";
+      CLT_int64_effect.lin_test  ~count ~name:"Lin DSL CList int64 test with Effect";
       (* These next four tests are negative - and are expected to fail with exception `Unhandled` *)
-      RT_int'_effect.neg_lin_test    ~count ~name:"negative Lin_api ref int test with Effect";
-      RT_int64'_effect.neg_lin_test  ~count ~name:"negative Lin_api ref int64 test with Effect";
-      CLT_int'_effect.neg_lin_test   ~count ~name:"negative Lin_api CList int test with Effect";
-      CLT_int64'_effect.neg_lin_test ~count ~name:"negative Lin_api CList int64 test with Effect"
+      RT_int'_effect.neg_lin_test    ~count ~name:"negative Lin DSL ref int test with Effect";
+      RT_int64'_effect.neg_lin_test  ~count ~name:"negative Lin DSL ref int64 test with Effect";
+      CLT_int'_effect.neg_lin_test   ~count ~name:"negative Lin DSL CList int test with Effect";
+      CLT_int64'_effect.neg_lin_test ~count ~name:"negative Lin DSL CList int64 test with Effect"
     ])

src/queue/lin_tests_dsl.ml

@@ -22,6 +22,6 @@ module Lin_queue_thread = Lin_thread.Make(Queue_spec)
 
 let () =
   QCheck_base_runner.run_tests_main [
-    Lin_queue_domain.neg_lin_test ~count:1000 ~name:"Lin_api Queue test with Domain";
-    Lin_queue_thread.lin_test     ~count:250  ~name:"Lin_api Queue test with Thread";
+    Lin_queue_domain.neg_lin_test ~count:1000 ~name:"Lin DSL Queue test with Domain";
+    Lin_queue_thread.lin_test     ~count:250  ~name:"Lin DSL Queue test with Thread";
   ]

src/stack/lin_tests_dsl.ml

@@ -22,6 +22,6 @@ module Stack_thread = Lin_thread.Make(Stack_spec)
 
 let () =
   QCheck_base_runner.run_tests_main [
-      Stack_domain.neg_lin_test ~count:1000 ~name:"Lin_api Stack test with Domain";
-      Stack_thread.lin_test     ~count:250  ~name:"Lin_api Stack test with Thread";
+      Stack_domain.neg_lin_test ~count:1000 ~name:"Lin DSL Stack test with Domain";
+      Stack_thread.lin_test     ~count:250  ~name:"Lin DSL Stack test with Thread";
     ]