From b09deb03fb3778213eb66127a423e9212242a893 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 11:51:35 +0100 Subject: [PATCH 01/23] Rename array Lin test --- src/array/dune | 4 ++-- src/array/{lin_tests_dsl.ml => lin_tests.ml} | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) rename src/array/{lin_tests_dsl.ml => lin_tests.ml} (95%) diff --git a/src/array/dune b/src/array/dune index 75258c5e..c69df635 100644 --- a/src/array/dune +++ b/src/array/dune @@ -19,8 +19,8 @@ ) (test - (name lin_tests_dsl) - (modules lin_tests_dsl) + (name lin_tests) + (modules lin_tests) (package multicoretests) (libraries qcheck-lin.domain) (action (run %{test} --verbose)) diff --git a/src/array/lin_tests_dsl.ml b/src/array/lin_tests.ml similarity index 95% rename from src/array/lin_tests_dsl.ml rename to src/array/lin_tests.ml index fb5b67f2..28e034fc 100644 --- a/src/array/lin_tests_dsl.ml +++ b/src/array/lin_tests.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 DSL Array test with Domain"; + AT_domain.neg_lin_test ~count:1000 ~name:"Lin Array test with Domain"; ] From 79a4785623bd6f95658644c4ab24783c7069e177 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 11:55:35 +0100 Subject: [PATCH 02/23] Rename atomic Lin test --- src/atomic/dune | 4 ++-- src/atomic/{lin_tests_dsl.ml => lin_tests.ml} | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) rename src/atomic/{lin_tests_dsl.ml => lin_tests.ml} (91%) diff --git a/src/atomic/dune b/src/atomic/dune index a6aa71cc..f188c03b 100644 --- a/src/atomic/dune +++ b/src/atomic/dune @@ -23,8 +23,8 @@ ) (test - (name lin_tests_dsl) - (modules lin_tests_dsl) + (name lin_tests) + (modules lin_tests) (package multicoretests) (libraries qcheck-lin.domain) (action (run %{test} --verbose)) diff --git a/src/atomic/lin_tests_dsl.ml b/src/atomic/lin_tests.ml similarity index 91% rename from src/atomic/lin_tests_dsl.ml rename to src/atomic/lin_tests.ml index 88e7c2e3..9c30cda5 100644 --- a/src/atomic/lin_tests_dsl.ml +++ b/src/atomic/lin_tests.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 DSL Atomic test with Domain"; + [ Lin_atomic_domain.lin_test ~count:1000 ~name:"Lin Atomic test with Domain"; ] From ad3bf76d83bac61c8f8a61d355553191f83ef0d1 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 11:58:34 +0100 Subject: [PATCH 03/23] Rename bigarray Lin test --- src/bigarray/dune | 4 ++-- src/bigarray/{lin_tests_dsl.ml => lin_tests.ml} | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) rename src/bigarray/{lin_tests_dsl.ml => lin_tests.ml} (91%) diff --git a/src/bigarray/dune b/src/bigarray/dune index f36f81b2..fda50934 100644 --- a/src/bigarray/dune +++ b/src/bigarray/dune @@ -10,8 +10,8 @@ ) (test - (name lin_tests_dsl) - (modules lin_tests_dsl) + (name lin_tests) + (modules lin_tests) (package multicoretests) (libraries qcheck-lin.domain) (action (run %{test} --verbose)) diff --git a/src/bigarray/lin_tests_dsl.ml b/src/bigarray/lin_tests.ml similarity index 91% rename from src/bigarray/lin_tests_dsl.ml rename to src/bigarray/lin_tests.ml index fbd609ed..d55b5926 100644 --- a/src/bigarray/lin_tests_dsl.ml +++ b/src/bigarray/lin_tests.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 DSL Bigarray.Array1 (of ints) test with Domain"; + BA1T.neg_lin_test ~count:5000 ~name:"Lin Bigarray.Array1 (of ints) test with Domain"; ] From 92be20eb8fe1d09751e83defdd3432a6eee4a665 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 12:02:24 +0100 Subject: [PATCH 04/23] Rename bytes Lin test --- src/bytes/dune | 4 ++-- src/bytes/{lin_tests_dsl.ml => lin_tests.ml} | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) rename src/bytes/{lin_tests_dsl.ml => lin_tests.ml} (88%) diff --git a/src/bytes/dune b/src/bytes/dune index ed04ded1..d6e68c15 100644 --- a/src/bytes/dune +++ b/src/bytes/dune @@ -9,8 +9,8 @@ ) (test - (name lin_tests_dsl) - (modules lin_tests_dsl) + (name lin_tests) + (modules lin_tests) (package multicoretests) (libraries qcheck-lin.domain qcheck-lin.thread) (action (run %{test} --verbose)) diff --git a/src/bytes/lin_tests_dsl.ml b/src/bytes/lin_tests.ml similarity index 88% rename from src/bytes/lin_tests_dsl.ml rename to src/bytes/lin_tests.ml index 73997469..c39d72bb 100644 --- a/src/bytes/lin_tests_dsl.ml +++ b/src/bytes/lin_tests.ml @@ -21,6 +21,6 @@ module BT_domain = Lin_domain.Make(BConf) module BT_thread = Lin_thread.Make(BConf) [@alert "-experimental"] ;; QCheck_base_runner.run_tests_main [ - 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"; + BT_domain.lin_test ~count:1000 ~name:"Lin Bytes test with Domain"; + BT_thread.lin_test ~count:1000 ~name:"Lin Bytes test with Thread"; ] From b74f4759b2d871e9c0db9fb4430d1e97ba033748 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 12:07:06 +0100 Subject: [PATCH 05/23] Rename domain Lin test --- src/domain/dune | 4 ++-- src/domain/{lin_tests_dsl_dls.ml => lin_tests_dls.ml} | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) rename src/domain/{lin_tests_dsl_dls.ml => lin_tests_dls.ml} (86%) diff --git a/src/domain/dune b/src/domain/dune index 6461e0f0..1535ced2 100644 --- a/src/domain/dune +++ b/src/domain/dune @@ -19,8 +19,8 @@ ) (test - (name lin_tests_dsl_dls) - (modules lin_tests_dsl_dls) + (name lin_tests_dls) + (modules lin_tests_dls) (package multicoretests) (libraries qcheck-lin.domain) ; (action (run %{test} --verbose)) diff --git a/src/domain/lin_tests_dsl_dls.ml b/src/domain/lin_tests_dls.ml similarity index 86% rename from src/domain/lin_tests_dsl_dls.ml rename to src/domain/lin_tests_dls.ml index 97d4b68f..8a2c908a 100644 --- a/src/domain/lin_tests_dsl_dls.ml +++ b/src/domain/lin_tests_dls.ml @@ -28,7 +28,7 @@ let _ = [DLST.lin_test ~count:75 ~name:"Lin DSL Domain.DLS test with Domain"])) *) QCheck_base_runner.run_tests_main [ - DLSN.neg_lin_test ~count:100 ~name:"Lin DSL Domain.DLS negative test with Domain"; - DLST.lin_test ~count:75 ~name:"Lin DSL Domain.DLS test with Domain"; + DLSN.neg_lin_test ~count:100 ~name:"Lin Domain.DLS negative test with Domain"; + DLST.lin_test ~count:75 ~name:"Lin Domain.DLS test with Domain"; ] From 1c1a85e6dcb4ec6429527563716e767129e12a9f Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 12:09:28 +0100 Subject: [PATCH 06/23] Rename Domain.DLS STM test --- src/domain/dune | 4 ++-- src/domain/{stm_tests_dsl_dls.ml => stm_tests_dls.ml} | 0 2 files changed, 2 insertions(+), 2 deletions(-) rename src/domain/{stm_tests_dsl_dls.ml => stm_tests_dls.ml} (100%) diff --git a/src/domain/dune b/src/domain/dune index 1535ced2..8048842f 100644 --- a/src/domain/dune +++ b/src/domain/dune @@ -28,8 +28,8 @@ ) (test - (name stm_tests_dsl_dls) - (modules stm_tests_dsl_dls) + (name stm_tests_dls) + (modules stm_tests_dls) (package multicoretests) (libraries qcheck-stm.sequential qcheck-stm.domain) (action (run %{test} --verbose)) diff --git a/src/domain/stm_tests_dsl_dls.ml b/src/domain/stm_tests_dls.ml similarity index 100% rename from src/domain/stm_tests_dsl_dls.ml rename to src/domain/stm_tests_dls.ml From 6bc8d47dfb01ecdec545508e74f3d4cbb2128146 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 12:23:28 +0100 Subject: [PATCH 07/23] Rename dynlink Lin test --- src/dynlink/dune | 4 ++-- src/dynlink/{lin_tests_dsl.ml => lin_tests.ml} | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) rename src/dynlink/{lin_tests_dsl.ml => lin_tests.ml} (86%) diff --git a/src/dynlink/dune b/src/dynlink/dune index 34cb1679..3714cef2 100644 --- a/src/dynlink/dune +++ b/src/dynlink/dune @@ -11,8 +11,8 @@ ) (test - (name lin_tests_dsl) - (modules lin_tests_dsl) + (name lin_tests) + (modules lin_tests) (package multicoretests) (libraries qcheck-lin.domain dynlink libA libB) (action (run %{test} --verbose)) diff --git a/src/dynlink/lin_tests_dsl.ml b/src/dynlink/lin_tests.ml similarity index 86% rename from src/dynlink/lin_tests_dsl.ml rename to src/dynlink/lin_tests.ml index 665d00de..89ca2f59 100644 --- a/src/dynlink/lin_tests_dsl.ml +++ b/src/dynlink/lin_tests.ml @@ -32,8 +32,8 @@ module DynT = Lin_domain.Make(DynConf) let _ = if Sys.win32 then - Printf.printf "negative Lin DSL Dynlink test with Domain disabled under Windows\n\n%!" + Printf.printf "negative Lin Dynlink test with Domain disabled under Windows\n\n%!" else QCheck_base_runner.run_tests_main [ - DynT.neg_lin_test ~count:100 ~name:"negative Lin DSL Dynlink test with Domain"; + DynT.neg_lin_test ~count:100 ~name:"negative Lin Dynlink test with Domain"; ] From 49cd584ce587cde93c7522bd09c171534894ba38 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 12:31:13 +0100 Subject: [PATCH 08/23] Rename floatarray Lin test --- src/floatarray/dune | 4 ++-- src/floatarray/{lin_tests_dsl.ml => lin_tests.ml} | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) rename src/floatarray/{lin_tests_dsl.ml => lin_tests.ml} (96%) diff --git a/src/floatarray/dune b/src/floatarray/dune index 6a1f1b9d..6270969e 100644 --- a/src/floatarray/dune +++ b/src/floatarray/dune @@ -9,8 +9,8 @@ ) (test - (name lin_tests_dsl) - (modules lin_tests_dsl) + (name lin_tests) + (modules lin_tests) (package multicoretests) (libraries qcheck-lin.domain) (action (run %{test} --verbose)) diff --git a/src/floatarray/lin_tests_dsl.ml b/src/floatarray/lin_tests.ml similarity index 96% rename from src/floatarray/lin_tests_dsl.ml rename to src/floatarray/lin_tests.ml index dfa82991..9ee93982 100644 --- a/src/floatarray/lin_tests_dsl.ml +++ b/src/floatarray/lin_tests.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 DSL Float.Array test with Domain"; + FAT.neg_lin_test ~count:1000 ~name:"Lin Float.Array test with Domain"; ] From eec390dec194a260da6bb4ded8e54e37e76625f2 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 12:33:55 +0100 Subject: [PATCH 09/23] Rename hashtbl Lin test --- src/hashtbl/dune | 4 ++-- src/hashtbl/{lin_tests_dsl.ml => lin_tests.ml} | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) rename src/hashtbl/{lin_tests_dsl.ml => lin_tests.ml} (94%) diff --git a/src/hashtbl/dune b/src/hashtbl/dune index 1f84f265..4ff1afa7 100644 --- a/src/hashtbl/dune +++ b/src/hashtbl/dune @@ -19,8 +19,8 @@ ) (test - (name lin_tests_dsl) - (modules lin_tests_dsl) + (name lin_tests) + (modules lin_tests) (package multicoretests) (libraries qcheck-lin.domain) (action (run %{test} --verbose)) diff --git a/src/hashtbl/lin_tests_dsl.ml b/src/hashtbl/lin_tests.ml similarity index 94% rename from src/hashtbl/lin_tests_dsl.ml rename to src/hashtbl/lin_tests.ml index 76b7b70a..bc58020a 100644 --- a/src/hashtbl/lin_tests_dsl.ml +++ b/src/hashtbl/lin_tests.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 DSL Hashtbl test with Domain"; + HT_domain.neg_lin_test ~count:1000 ~name:"Lin Hashtbl test with Domain"; ] From 3ac14d1dac9d15d19e6f6d5800a1cd09d0ff94bd Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 12:44:49 +0100 Subject: [PATCH 10/23] Rename io Lin tests --- src/io/dune | 8 ++++---- src/io/{lin_tests_dsl_domain.ml => lin_tests_domain.ml} | 6 +++--- src/io/{lin_tests_dsl_thread.ml => lin_tests_thread.ml} | 4 ++-- 3 files changed, 9 insertions(+), 9 deletions(-) rename src/io/{lin_tests_dsl_domain.ml => lin_tests_domain.ml} (66%) rename src/io/{lin_tests_dsl_thread.ml => lin_tests_thread.ml} (73%) diff --git a/src/io/dune b/src/io/dune index fbda507a..76cf14c4 100644 --- a/src/io/dune +++ b/src/io/dune @@ -18,8 +18,8 @@ ) (test - (name lin_tests_dsl_domain) - (modules lin_tests_dsl_domain) + (name lin_tests_domain) + (modules lin_tests_domain) (package multicoretests) ;(flags (:standard -w -27)) (libraries qcheck-lin.domain lin_tests_spec_io) @@ -29,8 +29,8 @@ ) (test - (name lin_tests_dsl_thread) - (modules lin_tests_dsl_thread) + (name lin_tests_thread) + (modules lin_tests_thread) (package multicoretests) ;(flags (:standard -w -27)) (libraries qcheck-lin.thread lin_tests_spec_io) diff --git a/src/io/lin_tests_dsl_domain.ml b/src/io/lin_tests_domain.ml similarity index 66% rename from src/io/lin_tests_dsl_domain.ml rename to src/io/lin_tests_domain.ml index 6837cdb5..d4c372b4 100644 --- a/src/io/lin_tests_dsl_domain.ml +++ b/src/io/lin_tests_domain.ml @@ -6,13 +6,13 @@ module IC_domain = Lin_domain.Make(Lin_tests_spec_io.ICConf) module OC_domain = Lin_domain.Make(Lin_tests_spec_io.OCConf) let tests = - IC_domain.neg_lin_test ~count:1000 ~name:"Lin DSL In_channel test with Domain" :: + IC_domain.neg_lin_test ~count:1000 ~name:"Lin In_channel test with Domain" :: if Sys.getenv_opt "OCAML_SYSTEM" = Some "macosx" then ( - Printf.printf "Lin DSL Out_channel test with Domain disabled under macOS\n\n%!"; + Printf.printf "Lin Out_channel test with Domain disabled under macOS\n\n%!"; [] ) else [ - OC_domain.neg_lin_test ~count:5000 ~name:"Lin DSL Out_channel test with Domain"; + OC_domain.neg_lin_test ~count:5000 ~name:"Lin Out_channel test with Domain"; ] let _ = QCheck_base_runner.run_tests_main tests diff --git a/src/io/lin_tests_dsl_thread.ml b/src/io/lin_tests_thread.ml similarity index 73% rename from src/io/lin_tests_dsl_thread.ml rename to src/io/lin_tests_thread.ml index 4ecffb30..729b9851 100644 --- a/src/io/lin_tests_dsl_thread.ml +++ b/src/io/lin_tests_thread.ml @@ -7,6 +7,6 @@ module OC_thread = Lin_thread.Make(Lin_tests_spec_io.OCConf) [@@alert "-experime let _ = QCheck_base_runner.run_tests_main [ - IC_thread.neg_lin_test ~count:1000 ~name:"Lin DSL In_channel test with Thread"; - OC_thread.neg_lin_test ~count:1000 ~name:"Lin DSL Out_channel test with Thread"; + IC_thread.neg_lin_test ~count:1000 ~name:"Lin In_channel test with Thread"; + OC_thread.neg_lin_test ~count:1000 ~name:"Lin Out_channel test with Thread"; ] From cbe57b1c813c7b3032fe81824a7319f9015b85eb Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 12:55:30 +0100 Subject: [PATCH 11/23] Rename lazy Lin tests --- src/lazy/dune | 4 ++-- src/lazy/{lin_tests_dsl.ml => lin_tests.ml} | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) rename src/lazy/{lin_tests_dsl.ml => lin_tests.ml} (89%) diff --git a/src/lazy/dune b/src/lazy/dune index f212751a..a6e4c4a3 100644 --- a/src/lazy/dune +++ b/src/lazy/dune @@ -18,8 +18,8 @@ ) (test - (name lin_tests_dsl) - (modules lin_tests_dsl) + (name lin_tests) + (modules lin_tests) (package multicoretests) (libraries qcheck-lin.domain) ; (action (run %{test} --verbose)) diff --git a/src/lazy/lin_tests_dsl.ml b/src/lazy/lin_tests.ml similarity index 89% rename from src/lazy/lin_tests_dsl.ml rename to src/lazy/lin_tests.ml index 2e1b7d9f..10991eda 100644 --- a/src/lazy/lin_tests_dsl.ml +++ b/src/lazy/lin_tests.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 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"; + [LTlazy_domain.neg_lin_test ~count ~name:"Lin Lazy test with Domain"; + LTfromval_domain.lin_test ~count ~name:"Lin Lazy test with Domain from_val"; + LTfromfun_domain.neg_lin_test ~count ~name:"Lin Lazy test with Domain from_fun"; ]) From 910c7870341047a3e67d80ce68fe237b2c5481a2 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 12:57:50 +0100 Subject: [PATCH 12/23] Rename queue Lin tests --- src/queue/dune | 4 ++-- src/queue/{lin_tests_dsl.ml => lin_tests.ml} | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) rename src/queue/{lin_tests_dsl.ml => lin_tests.ml} (85%) diff --git a/src/queue/dune b/src/queue/dune index cf70de11..afa32384 100644 --- a/src/queue/dune +++ b/src/queue/dune @@ -1,8 +1,8 @@ ;; Linearization tests of the stdlib Queue library (test - (name lin_tests_dsl) - (modules lin_tests_dsl) + (name lin_tests) + (modules lin_tests) (package multicoretests) (flags (:standard -w -27)) (libraries qcheck-lin.domain qcheck-lin.thread) diff --git a/src/queue/lin_tests_dsl.ml b/src/queue/lin_tests.ml similarity index 85% rename from src/queue/lin_tests_dsl.ml rename to src/queue/lin_tests.ml index 930d75ae..26e356aa 100644 --- a/src/queue/lin_tests_dsl.ml +++ b/src/queue/lin_tests.ml @@ -22,6 +22,6 @@ module Lin_queue_thread = Lin_thread.Make(Queue_spec) [@alert "-experimental"] let () = QCheck_base_runner.run_tests_main [ - 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"; + 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"; ] From 01aca44808d205250786f06af7b8a083a33766ec Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 12:59:38 +0100 Subject: [PATCH 13/23] Rename stack Lin tests --- src/stack/dune | 4 ++-- src/stack/{lin_tests_dsl.ml => lin_tests.ml} | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) rename src/stack/{lin_tests_dsl.ml => lin_tests.ml} (82%) diff --git a/src/stack/dune b/src/stack/dune index 3faa7085..bcfcfef4 100644 --- a/src/stack/dune +++ b/src/stack/dune @@ -1,8 +1,8 @@ ;; Linearization tests of the stdlib Stack module (test - (name lin_tests_dsl) - (modules lin_tests_dsl) + (name lin_tests) + (modules lin_tests) (package multicoretests) (flags (:standard -w -27)) (libraries qcheck-lin.domain qcheck-lin.thread) diff --git a/src/stack/lin_tests_dsl.ml b/src/stack/lin_tests.ml similarity index 82% rename from src/stack/lin_tests_dsl.ml rename to src/stack/lin_tests.ml index 8a5dce90..a9d4cefe 100644 --- a/src/stack/lin_tests_dsl.ml +++ b/src/stack/lin_tests.ml @@ -22,12 +22,12 @@ module Stack_thread = Lin_thread.Make(Stack_spec) [@alert "-experimental"] let () = let tests = [ - 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"; + Stack_domain.neg_lin_test ~count:1000 ~name:"Lin Stack test with Domain"; + Stack_thread.lin_test ~count:250 ~name:"Lin Stack test with Thread"; ] in let tests = if Sys.backend_type = Sys.Bytecode then ( - Printf.printf "Lin DSL Stack test with Thread disabled under bytecode\n\n%!"; + Printf.printf "Lin Stack test with Thread disabled under bytecode\n\n%!"; [ List.hd tests ]) else tests in From e7083a6eb32f69aa2b8db6e3cdc943af4fc2f273 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 13:17:38 +0100 Subject: [PATCH 14/23] Rename neg_tests Lin tests --- src/neg_tests/dune | 22 +++++++++---------- ...ests_dsl_common.ml => lin_tests_common.ml} | 0 src/neg_tests/lin_tests_domain.ml | 16 ++++++++++++++ src/neg_tests/lin_tests_dsl_domain.ml | 16 -------------- ...ests_dsl_effect.ml => lin_tests_effect.ml} | 18 +++++++-------- ...ests_dsl_thread.ml => lin_tests_thread.ml} | 2 +- 6 files changed, 37 insertions(+), 37 deletions(-) rename src/neg_tests/{lin_tests_dsl_common.ml => lin_tests_common.ml} (100%) create mode 100644 src/neg_tests/lin_tests_domain.ml delete mode 100644 src/neg_tests/lin_tests_dsl_domain.ml rename src/neg_tests/{lin_tests_dsl_effect.ml => lin_tests_effect.ml} (88%) rename src/neg_tests/{lin_tests_dsl_thread.ml => lin_tests_thread.ml} (97%) diff --git a/src/neg_tests/dune b/src/neg_tests/dune index 0cb0a06f..dc7ca44a 100644 --- a/src/neg_tests/dune +++ b/src/neg_tests/dune @@ -56,8 +56,8 @@ ;; Linearization tests of ref and Clist with Lin (library - (name lin_tests_dsl_common) - (modules lin_tests_dsl_common) + (name lin_tests_common) + (modules lin_tests_common) (package multicoretests) (libraries CList qcheck-lin.lin) ) @@ -70,30 +70,30 @@ ) (test - (name lin_tests_dsl_domain) - (modules lin_tests_dsl_domain) + (name lin_tests_domain) + (modules lin_tests_domain) (package multicoretests) (flags (:standard -w -27)) - (libraries lin_tests_dsl_common qcheck-lin.domain) + (libraries lin_tests_common qcheck-lin.domain) (action (run %{test} --verbose)) ) (test - (name lin_tests_dsl_thread) - (modules lin_tests_dsl_thread) + (name lin_tests_thread) + (modules lin_tests_thread) (package multicoretests) (flags (:standard -w -27)) - (libraries lin_tests_dsl_common qcheck-lin.thread) + (libraries lin_tests_common qcheck-lin.thread) ; (action (run %{test} --verbose)) (action (echo "Skipping src/neg_tests/%{test} from the test suite\n\n")) ) (test - (name lin_tests_dsl_effect) - (modules lin_tests_dsl_effect) + (name lin_tests_effect) + (modules lin_tests_effect) (package multicoretests) (flags (:standard -w -27)) - (libraries lin_tests_dsl_common qcheck-lin.effect) + (libraries lin_tests_common qcheck-lin.effect) (action (run %{test} --verbose)) ) diff --git a/src/neg_tests/lin_tests_dsl_common.ml b/src/neg_tests/lin_tests_common.ml similarity index 100% rename from src/neg_tests/lin_tests_dsl_common.ml rename to src/neg_tests/lin_tests_common.ml diff --git a/src/neg_tests/lin_tests_domain.ml b/src/neg_tests/lin_tests_domain.ml new file mode 100644 index 00000000..af3e93a0 --- /dev/null +++ b/src/neg_tests/lin_tests_domain.ml @@ -0,0 +1,16 @@ +open Lin_tests_common + +module RT_int_domain = Lin_domain.Make(Ref_int_spec) +module RT_int64_domain = Lin_domain.Make(Ref_int64_spec) +module CLT_int_domain = Lin_domain.Make(CList_spec_int) +module CLT_int64_domain = Lin_domain.Make(CList_spec_int64) + +(** This is a driver of the negative tests over the Domain module *) + +;; +QCheck_base_runner.run_tests_main + (let count = 10000 in + [RT_int_domain.neg_lin_test ~count ~name:"Lin ref int test with Domain"; + RT_int64_domain.neg_lin_test ~count ~name:"Lin ref int64 test with Domain"; + CLT_int_domain.neg_lin_test ~count ~name:"Lin CList int test with Domain"; + CLT_int64_domain.neg_lin_test ~count ~name:"Lin CList int64 test with Domain"]) diff --git a/src/neg_tests/lin_tests_dsl_domain.ml b/src/neg_tests/lin_tests_dsl_domain.ml deleted file mode 100644 index f2ffeeba..00000000 --- a/src/neg_tests/lin_tests_dsl_domain.ml +++ /dev/null @@ -1,16 +0,0 @@ -open Lin_tests_dsl_common - -module RT_int_domain = Lin_domain.Make(Ref_int_spec) -module RT_int64_domain = Lin_domain.Make(Ref_int64_spec) -module CLT_int_domain = Lin_domain.Make(CList_spec_int) -module CLT_int64_domain = Lin_domain.Make(CList_spec_int64) - -(** This is a driver of the negative tests over the Domain module *) - -;; -QCheck_base_runner.run_tests_main - (let count = 10000 in - [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"]) diff --git a/src/neg_tests/lin_tests_dsl_effect.ml b/src/neg_tests/lin_tests_effect.ml similarity index 88% rename from src/neg_tests/lin_tests_dsl_effect.ml rename to src/neg_tests/lin_tests_effect.ml index 91f00b73..73d7dfb3 100644 --- a/src/neg_tests/lin_tests_dsl_effect.ml +++ b/src/neg_tests/lin_tests_effect.ml @@ -1,4 +1,4 @@ -open Lin_tests_dsl_common +open Lin_tests_common open Lin (** This is a driver of the negative tests over the Effect module *) @@ -83,13 +83,13 @@ module CLT_int64'_effect = Lin_effect.Make(CList_spec_int64') [@alert "-experime 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 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"; + RT_int_effect.lin_test ~count ~name:"Lin ref int test with Effect"; + RT_int64_effect.lin_test ~count ~name:"Lin ref int64 test with Effect"; + CLT_int_effect.lin_test ~count ~name:"Lin CList int test with Effect"; + CLT_int64_effect.lin_test ~count ~name:"Lin 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 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" + RT_int'_effect.neg_lin_test ~count ~name:"negative Lin ref int test with Effect"; + RT_int64'_effect.neg_lin_test ~count ~name:"negative Lin ref int64 test with Effect"; + CLT_int'_effect.neg_lin_test ~count ~name:"negative Lin CList int test with Effect"; + CLT_int64'_effect.neg_lin_test ~count ~name:"negative Lin CList int64 test with Effect" ]) diff --git a/src/neg_tests/lin_tests_dsl_thread.ml b/src/neg_tests/lin_tests_thread.ml similarity index 97% rename from src/neg_tests/lin_tests_dsl_thread.ml rename to src/neg_tests/lin_tests_thread.ml index ca986311..02e4eab5 100644 --- a/src/neg_tests/lin_tests_dsl_thread.ml +++ b/src/neg_tests/lin_tests_thread.ml @@ -1,4 +1,4 @@ -open Lin_tests_dsl_common +open Lin_tests_common (** This is a driver of the negative tests over the Thread module *) From 330a6354ff104256e991419532545e76c2f23dd5 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 13:18:27 +0100 Subject: [PATCH 15/23] Update top-level dune file with renaming --- dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune b/dune index dc8ad24b..ceb705d7 100644 --- a/dune +++ b/dune @@ -64,7 +64,7 @@ ; To change the test to repeat, change the source of the `copy`: (rule - (copy src/io/lin_tests_dsl_domain.exe focusedtest.exe)) + (copy src/io/lin_tests_domain.exe focusedtest.exe)) (rule (alias focusedtest) From b5c3dbeb546a58b2aac606e4dc08b0b6b5636cdc Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 13:28:14 +0100 Subject: [PATCH 16/23] Update src/README.md with the updated filenames --- src/README.md | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/src/README.md b/src/README.md index d75a7009..ed9513f9 100644 --- a/src/README.md +++ b/src/README.md @@ -44,30 +44,30 @@ Tests utilizing the parallel STM.ml capability: Tests utilizing the linearization tests of Lin.ml: - - [array/lin_internal_tests.ml](array/lin_internal_tests.ml) and [array/lin_tests_dsl.ml](array/lin_tests_dsl.ml) + - [array/lin_internal_tests.ml](array/lin_internal_tests.ml) and [array/lin_tests.ml](array/lin_tests.ml) contain experimental `Lin.Internal` and `Lin`-tests of `Array` - - [atomic/lin_internal_tests.ml](atomic/lin_internal_tests.ml) and [atomic/lin_tests_dsl.ml](atomic/lin_tests_dsl.ml) + - [atomic/lin_internal_tests.ml](atomic/lin_internal_tests.ml) and [atomic/lin_tests.ml](atomic/lin_tests.ml) contain experimental `Lin.Internal` and `Lin`-tests of `Atomic` - - [bigarray/lin_tests_dsl.ml](bigarray/lin_tests_dsl.ml) contains experimental `Lin`-tests of `Bigarray` + - [bigarray/lin_tests.ml](bigarray/lin_tests.ml) contains experimental `Lin`-tests of `Bigarray` - - [bytes/lin_tests_dsl.ml](bytes/lin_tests_dsl.ml) contains experimental `Lin`-tests of `Bytes` + - [bytes/lin_tests.ml](bytes/lin_tests.ml) contains experimental `Lin`-tests of `Bytes` - - [dynlink/lin_tests_dsl.ml](dynlink/lin_tests_dsl.ml) contains experimental `Lin`-tests of `Dynlink` + - [dynlink/lin_tests.ml](dynlink/lin_tests.ml) contains experimental `Lin`-tests of `Dynlink` - - [floatarray/lin_tests_dsl.ml](floatarray/lin_tests_dsl.ml) contains experimental `Lin`-tests of `Float.Array` + - [floatarray/lin_tests.ml](floatarray/lin_tests.ml) contains experimental `Lin`-tests of `Float.Array` - - [hashtbl/lin_internal_tests.ml](hashtbl/lin_internal_tests.ml) and [hashtbl/lin_tests_dsl.ml](hashtbl/lin_tests_dsl.ml) + - [hashtbl/lin_internal_tests.ml](hashtbl/lin_internal_tests.ml) and [hashtbl/lin_tests.ml](hashtbl/lin_tests.ml) contain experimental `Lin.Internal` and `Lin`-tests of `Hashtbl` - - [lazy/lin_internal_tests.ml](lazy/lin_internal_tests.ml) and [lazy/lin_tests_dsl.ml](lazy/lin_tests_dsl.ml) + - [lazy/lin_internal_tests.ml](lazy/lin_internal_tests.ml) and [lazy/lin_tests.ml](lazy/lin_tests.ml) contain experimental `Lin.Internal` and `Lin`-tests of `Lazy` - - [queue/lin_internal_tests.ml](queue/lin_internal_tests.ml) and [queue/lin_tests_dsl.ml](queue/lin_tests_dsl.ml) + - [queue/lin_internal_tests.ml](queue/lin_internal_tests.ml) and [queue/lin_tests.ml](queue/lin_tests.ml) contain experimental `Lin.Internal` and `Lin`-tests of `Queue` - - [stack/lin_internal_tests.ml](stack/lin_internal_tests.ml) and [stack/lin_tests_dsl.ml](stack/lin_tests_dsl.ml) + - [stack/lin_internal_tests.ml](stack/lin_internal_tests.ml) and [stack/lin_tests.ml](stack/lin_tests.ml) contain experimental `Lin.Internal` and `Lin`-tests of `Stack` @@ -97,7 +97,7 @@ check). For `Lin.Internal` and `Lin` - [neg_tests/lin_internal_tests_common.ml](neg_tests/lin_internal_tests_common.ml) and -- [neg_tests/lin_tests_dsl_common.ml](neg_tests/lin_tests_dsl_common.ml) +- [neg_tests/lin_tests_common.ml](neg_tests/lin_tests_common.ml) contain "sanity check tests" for an unprotected global `ref` and a buggy concurrent list over unboxed `int` and boxed `int64` types. From 52955412dacf34dda5041673324fa3cb98df9b99 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 13:32:42 +0100 Subject: [PATCH 17/23] Add missing Domain.DLS and In/Out_channel Lin tests to overview --- src/README.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/README.md b/src/README.md index ed9513f9..51046240 100644 --- a/src/README.md +++ b/src/README.md @@ -54,6 +54,8 @@ Tests utilizing the linearization tests of Lin.ml: - [bytes/lin_tests.ml](bytes/lin_tests.ml) contains experimental `Lin`-tests of `Bytes` + - [domain/lin_tests_dls.ml](domain/lin_tests_dls.ml) contains experimental `Lin`-tests of `Domain.DLS` + - [dynlink/lin_tests.ml](dynlink/lin_tests.ml) contains experimental `Lin`-tests of `Dynlink` - [floatarray/lin_tests.ml](floatarray/lin_tests.ml) contains experimental `Lin`-tests of `Float.Array` @@ -61,6 +63,11 @@ Tests utilizing the linearization tests of Lin.ml: - [hashtbl/lin_internal_tests.ml](hashtbl/lin_internal_tests.ml) and [hashtbl/lin_tests.ml](hashtbl/lin_tests.ml) contain experimental `Lin.Internal` and `Lin`-tests of `Hashtbl` + - [io/lin_internal_tests.ml](hashtbl/lin_internal_tests.ml), + [io/lin_tests_domain.ml](io/lin_tests_domain.ml), and + [io/lin_tests_thread.ml](io/lin_tests_thread.ml) contain experimental + `Lin.Internal` and `Lin`-tests of `In_channel` and `Out_channel` + - [lazy/lin_internal_tests.ml](lazy/lin_internal_tests.ml) and [lazy/lin_tests.ml](lazy/lin_tests.ml) contain experimental `Lin.Internal` and `Lin`-tests of `Lazy` From 311d0641f3477bbc26778978e8c7dea59abfcb66 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 13:35:12 +0100 Subject: [PATCH 18/23] Add missing Domain.DLS STM tests to overview --- src/README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/README.md b/src/README.md index 51046240..5970f3b5 100644 --- a/src/README.md +++ b/src/README.md @@ -18,6 +18,9 @@ Tests utilizing the parallel STM.ml capability: - [bytes/stm_tests.ml](bytes/stm_tests.ml) contains sequential and parallel tests of the `Bytes` module + - [domain/stm_tests_dls.ml](domain/stm_tests_dls.ml) contains sequential and + parallel tests of the `Domain.DLS` module + - [ephemeron/stm_tests.ml](ephemeron/stm_tests.ml) contains sequential and parallel tests of the `Ephemeron` module From ca27de8a94ca8802bb74c4fbce03778a692798a0 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 13:40:12 +0100 Subject: [PATCH 19/23] Update atomic Lin filename in top-level README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 5ef98ae1..a2263461 100644 --- a/README.md +++ b/README.md @@ -205,7 +205,7 @@ the last call should return `2`: let res2 = Hashtbl.length t;; ``` -See [src/atomic/lin_tests_dsl.ml](src/atomic/lin_tests_dsl.ml) for +See [src/atomic/lin_tests.ml](src/atomic/lin_tests.ml) for another example of testing the `Atomic` module. From 8354f64302805fbb0dc8724703e31fea2b0efade Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 13:47:25 +0100 Subject: [PATCH 20/23] Rename doc/example Lin test --- README.md | 6 +++--- doc/example/dune | 4 ++-- doc/example/{lin_tests_dsl.ml => lin_tests.ml} | 2 +- 3 files changed, 6 insertions(+), 6 deletions(-) rename doc/example/{lin_tests_dsl.ml => lin_tests.ml} (94%) diff --git a/README.md b/README.md index a2263461..6a04cf45 100644 --- a/README.md +++ b/README.md @@ -156,7 +156,7 @@ end module HT = Lin_domain.Make(HashtblSig) ;; QCheck_base_runner.run_tests_main [ - HT.lin_test `Domain ~count:1000 ~name:"Hashtbl DSL test"; + HT.lin_test `Domain ~count:1000 ~name:"Lin Hashtbl test"; ] ``` @@ -178,11 +178,11 @@ framework then performs a search for a sequential interleaving of the same calls, and succeeds if it finds one. Since `Hashtbl`s are not safe for parallelism, if you run -`dune exec doc/example/lin_tests_dsl.exe` the output can produce the +`dune exec doc/example/lin_tests.exe` the output can produce the following output, where each tested command is annotated with its result: ``` -Messages for test Hashtbl DSL test: +Messages for test Lin Hashtbl test: Results incompatible with sequential execution diff --git a/doc/example/dune b/doc/example/dune index bb069721..5cc51cc7 100644 --- a/doc/example/dune +++ b/doc/example/dune @@ -1,8 +1,8 @@ ;; A linearization test of the stdlib Hashtbl library (executable - (name lin_tests_dsl) - (modules lin_tests_dsl) + (name lin_tests) + (modules lin_tests) (libraries qcheck-lin.domain)) diff --git a/doc/example/lin_tests_dsl.ml b/doc/example/lin_tests.ml similarity index 94% rename from doc/example/lin_tests_dsl.ml rename to doc/example/lin_tests.ml index 03a2c211..34419dd5 100644 --- a/doc/example/lin_tests_dsl.ml +++ b/doc/example/lin_tests.ml @@ -20,5 +20,5 @@ end module HT = Lin_domain.Make(HashtblSig) ;; QCheck_base_runner.run_tests_main [ - HT.lin_test ~count:1000 ~name:"Hashtbl DSL test"; + HT.lin_test ~count:1000 ~name:"Lin Hashtbl test"; ] From c19c7273710dfdae08703a148fe3fc62c1d1b3f3 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 13:52:12 +0100 Subject: [PATCH 21/23] Rename doc/paper-examples Lin test --- doc/paper-examples/dune | 4 ++-- doc/paper-examples/{lin_tests_dsl.ml => lin_tests.ml} | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) rename doc/paper-examples/{lin_tests_dsl.ml => lin_tests.ml} (95%) diff --git a/doc/paper-examples/dune b/doc/paper-examples/dune index bb069721..5cc51cc7 100644 --- a/doc/paper-examples/dune +++ b/doc/paper-examples/dune @@ -1,8 +1,8 @@ ;; A linearization test of the stdlib Hashtbl library (executable - (name lin_tests_dsl) - (modules lin_tests_dsl) + (name lin_tests) + (modules lin_tests) (libraries qcheck-lin.domain)) diff --git a/doc/paper-examples/lin_tests_dsl.ml b/doc/paper-examples/lin_tests.ml similarity index 95% rename from doc/paper-examples/lin_tests_dsl.ml rename to doc/paper-examples/lin_tests.ml index 94e0d235..cee82ce8 100644 --- a/doc/paper-examples/lin_tests_dsl.ml +++ b/doc/paper-examples/lin_tests.ml @@ -24,5 +24,5 @@ end module HT = Lin_domain.Make(HashtblSig) ;; QCheck_base_runner.run_tests_main [ - HT.lin_test ~count:1000 ~name:"Hashtbl DSL test"; + HT.lin_test ~count:1000 ~name:"Lin Hashtbl test"; ] From 6b8e4e945954aaabf88138d68f8e1bd07c51e6da Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 13:55:42 +0100 Subject: [PATCH 22/23] Update commented out test name too --- src/domain/lin_tests_dls.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/domain/lin_tests_dls.ml b/src/domain/lin_tests_dls.ml index 8a2c908a..bcb85cb0 100644 --- a/src/domain/lin_tests_dls.ml +++ b/src/domain/lin_tests_dls.ml @@ -22,10 +22,10 @@ module DLST = Lin_domain.Make (struct (* let _ = Domain.join (Domain.spawn (fun () -> QCheck_base_runner.run_tests ~verbose:true - [DLSN.neg_lin_test ~count:100 ~name:"Lin DSL Domain.DLS negative test with Domain"])) + [DLSN.neg_lin_test ~count:100 ~name:"Lin Domain.DLS negative test with Domain"])) let _ = Domain.join (Domain.spawn (fun () -> QCheck_base_runner.run_tests ~verbose:true - [DLST.lin_test ~count:75 ~name:"Lin DSL Domain.DLS test with Domain"])) + [DLST.lin_test ~count:75 ~name:"Lin Domain.DLS test with Domain"])) *) QCheck_base_runner.run_tests_main [ DLSN.neg_lin_test ~count:100 ~name:"Lin Domain.DLS negative test with Domain"; From 2148febc9f61306471c8f7f475044ff6e1bd89cd Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 7 Nov 2023 14:51:34 +0100 Subject: [PATCH 23/23] Update tmp prefix in io Lin/Lin_internal tests --- src/io/lin_internal_tests.ml | 2 +- src/io/lin_tests_spec_io.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/io/lin_internal_tests.ml b/src/io/lin_internal_tests.ml index 733662e8..09a3262e 100644 --- a/src/io/lin_internal_tests.ml +++ b/src/io/lin_internal_tests.ml @@ -121,7 +121,7 @@ module Out_channel_ops = struct let equal_res = (=) let init () = - let p,ch = Filename.open_temp_file "lin-dsl-" "" in + let p,ch = Filename.open_temp_file "lin-internal-" "" in path := p; ch diff --git a/src/io/lin_tests_spec_io.ml b/src/io/lin_tests_spec_io.ml index 5c4999b4..c611aad3 100644 --- a/src/io/lin_tests_spec_io.ml +++ b/src/io/lin_tests_spec_io.ml @@ -69,7 +69,7 @@ module OCConf : Lin.Spec = struct let path = ref "" let init () = - let p,ch = Filename.open_temp_file "lin-dsl-" "" in + let p,ch = Filename.open_temp_file "lin-" "" in path := p; ch