Alcotezt-ux: add missing invocation headers
Related to issue #5172 (closed)
Invocation headers
- Test files have traditionally contained a "test header", as described here: https://tezos.gitlab.io/developer/testing.html#conventions, including an invocation header.
- During the project, we've broken most of the invocation headers. Here's an example of a broken header: https://gitlab.com/tezos/tezos/blob/master/src/proto_016_PtMumbai/lib_client/test/test_client_proto_context.ml#L29
The current fix is to rewrite it as:
dune exec [TEST_FOLDER]/main.exe
This MR add invocation headers for the files that originally did not have one.
lib_benchmark/testlib_lwt_result_stdlib/testlib_lazy_containers/test-
lib_webassembly/tests(no copyright,no header)
Protocol tests that have no headers and/or no copyright:
-
proto_015_PtLimaPt/lib_benchmark/test (no copyright)-
proto_016_PtMumbai/lib_benchmark/test (no copyright)- proto_alpha/lib_benchmark/test (no copyright)
proto_015_PtLimaPt/lib_delegate/testproto_016_PtMumbai/lib_delegate/testproto_alpha/lib_delegate/test
Edited by lykimquyen