From ab8884f2ada7e8bfafb28e7881ad5465d0f5a5c7 Mon Sep 17 00:00:00 2001 From: lykimq Date: Tue, 21 Mar 2023 14:45:05 +0100 Subject: [PATCH 1/5] Alcotezt-UX: add missing invocation headers [lib_lwt_result_stdlib] --- .../test/test_fuzzing_list_against_stdlib.ml | 7 +++++++ .../test/test_fuzzing_map_against_stdlib.ml | 7 +++++++ .../test/test_fuzzing_option_against_stdlib.ml | 7 +++++++ .../test/test_fuzzing_set_against_stdlib.ml | 7 +++++++ src/lib_lwt_result_stdlib/test/test_hashtbl.ml | 7 +++++++ src/lib_lwt_result_stdlib/test/test_list_basic.ml | 7 +++++++ src/lib_lwt_result_stdlib/test/test_list_basic_lwt.ml | 7 +++++++ src/lib_lwt_result_stdlib/test/test_seq_basic.ml | 7 +++++++ 8 files changed, 56 insertions(+) diff --git a/src/lib_lwt_result_stdlib/test/test_fuzzing_list_against_stdlib.ml b/src/lib_lwt_result_stdlib/test/test_fuzzing_list_against_stdlib.ml index f82b8453b075..a29e703f5123 100644 --- a/src/lib_lwt_result_stdlib/test/test_fuzzing_list_against_stdlib.ml +++ b/src/lib_lwt_result_stdlib/test/test_fuzzing_list_against_stdlib.ml @@ -23,6 +23,13 @@ (* *) (*****************************************************************************) +(* Testing + ------- + Component: Stdlib + Invocation: dune exec src/lib_lwt_result_stdlib/test/main.exe + Subject: Test fuzzing list against stdlib +*) + open Test_fuzzing_lib let init = diff --git a/src/lib_lwt_result_stdlib/test/test_fuzzing_map_against_stdlib.ml b/src/lib_lwt_result_stdlib/test/test_fuzzing_map_against_stdlib.ml index d90f61450ffe..225adfa86884 100644 --- a/src/lib_lwt_result_stdlib/test/test_fuzzing_map_against_stdlib.ml +++ b/src/lib_lwt_result_stdlib/test/test_fuzzing_map_against_stdlib.ml @@ -23,6 +23,13 @@ (* *) (*****************************************************************************) +(* Testing + ------- + Component: Stdlib + Invocation: dune exec src/lib_lwt_result_stdlib/test/main.exe + Subject: Test fuzzing map against stdlib +*) + open Test_fuzzing_lib (* The test framework [Test_fuzzing_lib] uses [char] as the type of values diff --git a/src/lib_lwt_result_stdlib/test/test_fuzzing_option_against_stdlib.ml b/src/lib_lwt_result_stdlib/test/test_fuzzing_option_against_stdlib.ml index 93bf0abad2e4..c90a56c9e05a 100644 --- a/src/lib_lwt_result_stdlib/test/test_fuzzing_option_against_stdlib.ml +++ b/src/lib_lwt_result_stdlib/test/test_fuzzing_option_against_stdlib.ml @@ -23,6 +23,13 @@ (* *) (*****************************************************************************) +(* Testing + ------- + Component: Stdlib + Invocation: dune exec src/lib_lwt_result_stdlib/test/main.exe + Subject: Test fuzzing option against stdlib +*) + open Test_fuzzing_lib let map = diff --git a/src/lib_lwt_result_stdlib/test/test_fuzzing_set_against_stdlib.ml b/src/lib_lwt_result_stdlib/test/test_fuzzing_set_against_stdlib.ml index 11f63b674d24..caa36681f80a 100644 --- a/src/lib_lwt_result_stdlib/test/test_fuzzing_set_against_stdlib.ml +++ b/src/lib_lwt_result_stdlib/test/test_fuzzing_set_against_stdlib.ml @@ -23,6 +23,13 @@ (* *) (*****************************************************************************) +(* Testing + ------- + Component: Stdlib + Invocation: dune exec src/lib_lwt_result_stdlib/test/main.exe + Subject: Test fuzzing set against stdlib +*) + open Test_fuzzing_lib (* The testing framework [Test_fuzzing_lib] uses [char] as the type of values diff --git a/src/lib_lwt_result_stdlib/test/test_hashtbl.ml b/src/lib_lwt_result_stdlib/test/test_hashtbl.ml index dce933c143eb..76e38be8ebf7 100644 --- a/src/lib_lwt_result_stdlib/test/test_hashtbl.ml +++ b/src/lib_lwt_result_stdlib/test/test_hashtbl.ml @@ -23,6 +23,13 @@ (* *) (*****************************************************************************) +(* Testing + ------- + Component: Stdlib + Invocation: dune exec src/lib_lwt_result_stdlib/test/main.exe + Subject: Test hashtable +*) + (* This test suite relies heavily on Lwt. It also deals with error a lot, but it checks most errors directly. So we don't need the syntactic support to alleviate the error handling. *) diff --git a/src/lib_lwt_result_stdlib/test/test_list_basic.ml b/src/lib_lwt_result_stdlib/test/test_list_basic.ml index a74a466eb131..271dc59f7049 100644 --- a/src/lib_lwt_result_stdlib/test/test_list_basic.ml +++ b/src/lib_lwt_result_stdlib/test/test_list_basic.ml @@ -23,6 +23,13 @@ (* *) (*****************************************************************************) +(* Testing + ------- + Component: Stdlib + Invocation: dune exec src/lib_lwt_result_stdlib/test/main.exe + Subject: Test basic properties of list +*) + module ListGen = struct include Support.Lib.List diff --git a/src/lib_lwt_result_stdlib/test/test_list_basic_lwt.ml b/src/lib_lwt_result_stdlib/test/test_list_basic_lwt.ml index cc3299408e30..18e097f63c35 100644 --- a/src/lib_lwt_result_stdlib/test/test_list_basic_lwt.ml +++ b/src/lib_lwt_result_stdlib/test/test_list_basic_lwt.ml @@ -23,6 +23,13 @@ (* *) (*****************************************************************************) +(* Testing + ------- + Component: Stdlib + Invocation: dune exec src/lib_lwt_result_stdlib/test/main.exe + Subject: Test basic properties of lwt list +*) + open Support.Lib.Monad let assert_eq_s pa pb = diff --git a/src/lib_lwt_result_stdlib/test/test_seq_basic.ml b/src/lib_lwt_result_stdlib/test/test_seq_basic.ml index 63ad8d4f49c1..315c38bf85e7 100644 --- a/src/lib_lwt_result_stdlib/test/test_seq_basic.ml +++ b/src/lib_lwt_result_stdlib/test/test_seq_basic.ml @@ -23,6 +23,13 @@ (* *) (*****************************************************************************) +(* Testing + ------- + Component: Stdlib + Invocation: dune exec src/lib_lwt_result_stdlib/test/main.exe + Subject: Test basic properties of sequence +*) + let ( >>== ) p v = Lwt_main.run (Lwt.map (( = ) v) p) let vanilla () = -- GitLab From cc9653dc48478f99567dc5279c9e0c28c2d5d31b Mon Sep 17 00:00:00 2001 From: lykimq Date: Tue, 21 Mar 2023 14:50:36 +0100 Subject: [PATCH 2/5] Alcotezt-UX: add missing invocation headers [lib_lazy_containers] --- src/lib_lazy_containers/test/chunked_byte_vector_tests.ml | 7 +++++++ src/lib_lazy_containers/test/lazy_vector_tests.ml | 7 +++++++ 2 files changed, 14 insertions(+) diff --git a/src/lib_lazy_containers/test/chunked_byte_vector_tests.ml b/src/lib_lazy_containers/test/chunked_byte_vector_tests.ml index 36ac16926190..a6c240324794 100644 --- a/src/lib_lazy_containers/test/chunked_byte_vector_tests.ml +++ b/src/lib_lazy_containers/test/chunked_byte_vector_tests.ml @@ -23,6 +23,13 @@ (* *) (*****************************************************************************) +(* Testing + ------- + Component: Lazy containers + Invocation: dune exec src/lib_lazy_containers/test/main.exe + Subject: Test chunked byte vector +*) + open QCheck_alcotest open QCheck2 diff --git a/src/lib_lazy_containers/test/lazy_vector_tests.ml b/src/lib_lazy_containers/test/lazy_vector_tests.ml index 92f0e9849e74..beccffe289dc 100644 --- a/src/lib_lazy_containers/test/lazy_vector_tests.ml +++ b/src/lib_lazy_containers/test/lazy_vector_tests.ml @@ -23,6 +23,13 @@ (* *) (*****************************************************************************) +(* Testing + ------- + Component: Lazy containers + Invocation: dune exec src/lib_lazy_containers/test/main.exe + Subject: Test lazy vector +*) + open QCheck_alcotest open QCheck2 open Lazy_vector -- GitLab From 0ddb2c3957da7e9fbc444c2ccab86059be218d87 Mon Sep 17 00:00:00 2001 From: lykimq Date: Tue, 21 Mar 2023 14:57:52 +0100 Subject: [PATCH 3/5] Alcotezt-UX: add invocation headers [lib_webassembly] --- src/lib_webassembly/tests/smallint.ml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/lib_webassembly/tests/smallint.ml b/src/lib_webassembly/tests/smallint.ml index e83e7a2bd5db..74b7dcaf3564 100644 --- a/src/lib_webassembly/tests/smallint.ml +++ b/src/lib_webassembly/tests/smallint.ml @@ -1,3 +1,10 @@ +(* Testing + ------- + Component: WebAssembly + Invocation: dune exec src/lib_webassembly/tests/main.exe + Subject: Test small ints +*) + (* Simple, non-exhaustive tests for small ints (i8, i16). *) let s32max = 0x7fffffffl -- GitLab From 0604f396230f2a6876655db12a068285f6a592fd Mon Sep 17 00:00:00 2001 From: lykimq Date: Tue, 21 Mar 2023 15:33:02 +0100 Subject: [PATCH 4/5] Alcotezt-UX: revert change proto_/[lib_benchmark/test] s -- GitLab From d2b4a431d03021f4770cb1945c6f20c2825500e3 Mon Sep 17 00:00:00 2001 From: lykimq Date: Tue, 21 Mar 2023 15:44:59 +0100 Subject: [PATCH 5/5] Alcotezt-UX: add invocation headers for proto_/[lib_delegate] --- src/proto_015_PtLimaPt/lib_delegate/test/test_scenario.ml | 7 +++++++ src/proto_016_PtMumbai/lib_delegate/test/test_scenario.ml | 7 +++++++ src/proto_alpha/lib_delegate/test/test_scenario.ml | 7 +++++++ 3 files changed, 21 insertions(+) diff --git a/src/proto_015_PtLimaPt/lib_delegate/test/test_scenario.ml b/src/proto_015_PtLimaPt/lib_delegate/test/test_scenario.ml index 4698f0d95f14..26d0e672d634 100644 --- a/src/proto_015_PtLimaPt/lib_delegate/test/test_scenario.ml +++ b/src/proto_015_PtLimaPt/lib_delegate/test/test_scenario.ml @@ -1,3 +1,10 @@ +(* Testing + ------- + Component: Protocol, delegate + Invocation: dune exec src/proto_015_PtLimaPt/lib_delegate/test/main.exe + Subject: Test different scenario for delegate +*) + open Mockup_simulator let bootstrap1 = Tezos_crypto.Signature.V0.Public_key.hash bootstrap1 diff --git a/src/proto_016_PtMumbai/lib_delegate/test/test_scenario.ml b/src/proto_016_PtMumbai/lib_delegate/test/test_scenario.ml index f890c5218452..37aa37f21042 100644 --- a/src/proto_016_PtMumbai/lib_delegate/test/test_scenario.ml +++ b/src/proto_016_PtMumbai/lib_delegate/test/test_scenario.ml @@ -1,3 +1,10 @@ +(* Testing + ------- + Component: Protocol, delegate + Invocation: dune exec src/proto_016_PtMumbai/lib_delegate/test/main.exe + Subject: Test different scenario for delegate +*) + open Mockup_simulator let bootstrap1 = Signature.Public_key.hash bootstrap1 diff --git a/src/proto_alpha/lib_delegate/test/test_scenario.ml b/src/proto_alpha/lib_delegate/test/test_scenario.ml index f890c5218452..cf69151c734b 100644 --- a/src/proto_alpha/lib_delegate/test/test_scenario.ml +++ b/src/proto_alpha/lib_delegate/test/test_scenario.ml @@ -1,3 +1,10 @@ +(* Testing + ------- + Component: Protocol, delegate + Invocation: dune exec src/proto_alpha/lib_delegate/test/main.exe + Subject: Test different scenario for delegate +*) + open Mockup_simulator let bootstrap1 = Signature.Public_key.hash bootstrap1 -- GitLab