diff --git a/manifest/main.ml b/manifest/main.ml index a104e3d1399422ff6302a4a964854d2714c9ad4c..97885d79d4f93ac76c4ac0c77064d303291db481 100644 --- a/manifest/main.ml +++ b/manifest/main.ml @@ -2997,6 +2997,29 @@ end = struct ~action:(run_exe "main" ["test"; "Unit"]); ] in + let _regresssion = + if N.(number >= 014) then + Some + (test + "main" + ~path: + (sf + "src/proto_%s/lib_protocol/test/regression" + name_underscore) + ~opam:(sf "tezos-protocol-%s-tests" name_dash) + ~deps: + [ + tezt; + tezos_base |> open_ ~m:"TzPervasives"; + main |> open_; + client |> if_some |> open_; + plugin |> if_some |> open_; + test_helpers |> if_some |> open_; + tezos_micheline |> open_; + ] + ~dep_globs:["contracts/*"; "tezt/_regressions/*"]) + else None + in () let make ~template_version ~name_dash ~name_underscore ~number () = @@ -4775,6 +4798,10 @@ let exclude filename = (* Dune files in src/proto_*/parameters only have a (copy_files) stanza (no library / executable / test). *) | "src" :: maybe_proto :: "parameters" :: _ when is_proto_ maybe_proto -> true + (* This dune file does not contain any targets, only a dirs stanza. *) + | ["src"; maybe_proto; "lib_protocol"; "test"; "regression"; "tezt"; "dune"] + when is_proto_ maybe_proto -> + true (* The following directory has a very specific structure that would be hard to port to the manifest. Also, it is not released, and is not a dependency for releases as it is an opt-in instrumentation. *) diff --git a/opam/tezos-protocol-alpha-tests.opam b/opam/tezos-protocol-alpha-tests.opam index 24cf61c2e30c1ecdfa66e02c88aac192d3866752..276216d25a0d28062176df45c662b4af0b09c66a 100644 --- a/opam/tezos-protocol-alpha-tests.opam +++ b/opam/tezos-protocol-alpha-tests.opam @@ -28,6 +28,7 @@ depends: [ "tezos-protocol-environment" {with-test} "tezos-stdlib-unix" {with-test} "tezos-stdlib" {with-test} + "tezt" {with-test} ] build: [ ["rm" "-r" "vendors"] diff --git a/src/proto_alpha/lib_protocol/test/regression/dune b/src/proto_alpha/lib_protocol/test/regression/dune new file mode 100644 index 0000000000000000000000000000000000000000..03227ca9d865ebb0fbce2143127fbc474054f353 --- /dev/null +++ b/src/proto_alpha/lib_protocol/test/regression/dune @@ -0,0 +1,27 @@ +; This file was automatically generated, do not edit. +; Edit file manifest/main.ml instead. + +(executable + (name main) + (libraries + tezt + tezos-base + tezos-protocol-alpha + tezos-client-alpha + tezos-protocol-plugin-alpha + tezos-alpha-test-helpers + tezos-micheline) + (flags + (:standard + -open Tezos_base.TzPervasives + -open Tezos_protocol_alpha + -open Tezos_client_alpha + -open Tezos_protocol_plugin_alpha + -open Tezos_alpha_test_helpers + -open Tezos_micheline))) + +(rule + (alias runtest) + (package tezos-protocol-alpha-tests) + (deps (glob_files contracts/*) (glob_files tezt/_regressions/*)) + (action (run %{dep:./main.exe}))) diff --git a/src/proto_alpha/lib_protocol/test/regression/tezt/dune b/src/proto_alpha/lib_protocol/test/regression/tezt/dune new file mode 100644 index 0000000000000000000000000000000000000000..e73910ff83428fd5dad5f68892e60efaffda6052 --- /dev/null +++ b/src/proto_alpha/lib_protocol/test/regression/tezt/dune @@ -0,0 +1 @@ +(dirs :standard _regressions)