From 5abb3e2631cb41b41fbb3f9b8f34bab0405cd9ca Mon Sep 17 00:00:00 2001 From: Arvid Jakobsson Date: Tue, 14 Mar 2023 13:39:14 +0100 Subject: [PATCH 1/3] manifest: can add bisect instrumentation with [--sigterm] --- manifest/main.ml | 74 +++++++++++++++++++++---------------------- manifest/manifest.ml | 19 ++++++++--- manifest/manifest.mli | 20 +++++++++--- 3 files changed, 66 insertions(+), 47 deletions(-) diff --git a/manifest/main.ml b/manifest/main.ml index a0d9ebf63a32..d457dd1ce850 100644 --- a/manifest/main.ml +++ b/manifest/main.ml @@ -718,7 +718,7 @@ let _octez_hacl_gen0 = ~path:"src/lib_hacl/gen/" ~opam:"tezos-hacl" ~with_macos_security_framework:true - ~bisect_ppx:false + ~bisect_ppx:No ~modules:["gen0"] ~deps:[compiler_libs_common] @@ -727,7 +727,7 @@ let _octez_hacl_gen = "gen" ~path:"src/lib_hacl/gen/" ~opam:"tezos-hacl" - ~bisect_ppx:false + ~bisect_ppx:No ~deps:[ctypes_stubs; ctypes; hacl_star_raw; ezjsonm] ~modules:["gen"; "bindings"; "api_json"] ~dune: @@ -1023,7 +1023,7 @@ let octez_event_logging_test_helpers = ] ~js_compatible:true ~linkall:true - ~bisect_ppx:false + ~bisect_ppx:No let octez_stdlib_unix = public_lib @@ -1108,7 +1108,7 @@ let _octez_clic_example = ~path:"src/lib_clic/examples" ~opam:"" ~deps:[octez_clic; lwt_unix] - ~bisect_ppx:false + ~bisect_ppx:No ~static:false let octez_micheline = @@ -1258,7 +1258,7 @@ let octez_base_test_helpers = qcheck_alcotest; ] ~linkall:true - ~bisect_ppx:false + ~bisect_ppx:No let lazy_containers = public_lib @@ -1391,7 +1391,7 @@ let _octez_version_get_git_info = ~opam:"tezos-version" ~deps:[dune_configurator; octez_version_parser] ~modules:["get_git_info"] - ~bisect_ppx:false + ~bisect_ppx:No let _octez_print_version_exe = public_exe @@ -1400,7 +1400,7 @@ let _octez_print_version_exe = ~path:"src/lib_version/exe" ~deps:[octez_version |> open_; octez_base_unix] ~modules:["tezos_print_version"] - ~bisect_ppx:false + ~bisect_ppx:No let _octez_version_tests = test @@ -1572,7 +1572,7 @@ let tezt_performance_regression = "tezt-performance-regression" ~path:"tezt/lib_performance_regression" ~synopsis:"Performance regression test framework based on Tezt" - ~bisect_ppx:false + ~bisect_ppx:No ~deps:[tezt_lib |> open_ |> open_ ~m:"Base"; uri; cohttp_lwt_unix] let tezt_tezos = @@ -1580,7 +1580,7 @@ let tezt_tezos = "tezt-tezos" ~path:"tezt/lib_tezos" ~synopsis:"Tezos test framework based on Tezt" - ~bisect_ppx:false + ~bisect_ppx:No ~deps: [ tezt_lib |> open_ |> open_ ~m:"Base"; @@ -1601,7 +1601,7 @@ let _tezt_self_tests = ~internal_name:"main" ~path:"tezt/self_tests" ~synopsis:"Tests for the Tezos test framework based on Tezt" - ~bisect_ppx:false + ~bisect_ppx:No ~static:false ~deps:[tezt_lib |> open_ |> open_ ~m:"Base"; tezt_tezos |> open_] ~cram:true @@ -2085,7 +2085,7 @@ let _octez_sapling_ctypes_gen = ["rustzcash_ctypes_gen"; "gen_runtime_js"] ~path:"src/lib_sapling/bindings" ~opam:"tezos-sapling" - ~bisect_ppx:false + ~bisect_ppx:No ~deps:[ctypes_stubs; ctypes] ~modules: ["rustzcash_ctypes_gen"; "rustzcash_ctypes_bindings"; "gen_runtime_js"] @@ -2747,7 +2747,7 @@ let _bip39_generator = "bip39_generator" ~path:"src/lib_client_base/gen" ~opam:"tezos-client-base" - ~bisect_ppx:false + ~bisect_ppx:No let octez_signer_services = public_lib @@ -3011,7 +3011,7 @@ let octez_proxy_test_helpers_shell_services = lwt_unix; alcotezt; ] - ~bisect_ppx:false + ~bisect_ppx:No ~linkall:true ~release_status:Released @@ -3231,7 +3231,7 @@ let _tezt_testnet_scenarios = ~internal_name:"main" ~path:"src/bin_testnet_scenarios" ~synopsis:"Run scenarios on testnets" - ~bisect_ppx:false + ~bisect_ppx:No ~static:false ~deps: [ @@ -4454,7 +4454,7 @@ module Protocol = Protocol ~modules:["Functor"] (* The instrumentation is removed as it can lead to a stack overflow *) (* https://gitlab.com/tezos/tezos/-/issues/1927 *) - ~bisect_ppx:false + ~bisect_ppx:No ~flags:(Flags.standard ~nopervasives:true ~disable_warnings ()) ~opam_only_deps:[octez_protocol_compiler_tezos_protocol_packer] ~deps:[octez_protocol_environment; tezos_protocol_environment_sigs] @@ -4689,7 +4689,7 @@ module Protocol = Protocol ~package:(sf "tezos-protocol-%s" name_dash) ~section:"lib"; ]) - ~bisect_ppx:false + ~bisect_ppx:No in let octez_sc_rollup = only_if N.(number >= 016) @@ fun () -> @@ -4717,7 +4717,7 @@ module Protocol = Protocol octez_sc_rollup |> if_some |> if_ N.(number >= 016) |> open_; ] ~all_modules_except:["Plugin_registerer"] - ~bisect_ppx:N.(number >= 008) + ~bisect_ppx:(if N.(number >= 008) then Yes else No) in let plugin_registerer = opt_map plugin @@ fun plugin -> @@ -4735,7 +4735,7 @@ module Protocol = Protocol octez_shell |> open_; ] ~modules:["Plugin_registerer"] - ~bisect_ppx:N.(number >= 008) + ~bisect_ppx:(if N.(number >= 008) then Yes else No) in let client = only_if not_overridden @@ fun () -> @@ -4763,7 +4763,7 @@ module Protocol = Protocol octez_sc_rollup |> if_some |> if_ N.(number >= 016) |> open_; uri |> if_ N.(number >= 001); ] - ~bisect_ppx:N.(number >= 008) + ~bisect_ppx:(if N.(number >= 008) then Yes else No) ?inline_tests:(if N.(number >= 009) then Some ppx_expect else None) ~linkall:true in @@ -4886,7 +4886,7 @@ module Protocol = Protocol (* uri used by the stresstest command introduced in 011 *) uri |> if_ N.(number >= 011); ] - ~bisect_ppx:N.(number >= 008) + ~bisect_ppx:(if N.(number >= 008) then Yes else No) ~linkall:true ~all_modules_except:["alpha_commands_registration"] in @@ -4938,7 +4938,7 @@ module Protocol = Protocol octez_rpc; plugin |> if_some |> if_ N.(number >= 008) |> open_; ] - ~bisect_ppx:N.(number >= 008) + ~bisect_ppx:(if N.(number >= 008) then Yes else No) ~linkall:true ~modules:["alpha_commands_registration"] in @@ -5001,7 +5001,7 @@ module Protocol = Protocol octez_client_base |> open_; client |> if_some |> open_; ] - ~bisect_ppx:false + ~bisect_ppx:No in let _tenderbrute_exe = only_if (active && N.(number >= 013)) @@ fun () -> @@ -5048,7 +5048,7 @@ module Protocol = Protocol octez_mockup_commands; tenderbrute |> if_some |> if_ N.(number >= 013) |> open_; ] - ~bisect_ppx:false + ~bisect_ppx:No in tezt ["test_scenario"] @@ -5549,7 +5549,7 @@ module Protocol = Protocol ] ~linkall:true ~private_modules:["kernel"; "rules"; "state_space"] - ~bisect_ppx:N.(number <= 012) + ~bisect_ppx:(if N.(number <= 012) then Yes else No) in let _benchmark_tests = opt_map (both benchmark test_helpers) @@ fun (benchmark, test_helpers) -> @@ -5874,7 +5874,7 @@ let _node_wrapper = ~opam:"" ~deps:[unix] ~modules:["node_wrapper"] - ~bisect_ppx:false + ~bisect_ppx:No let _git_gas_diff = public_exe @@ -5885,7 +5885,7 @@ let _git_gas_diff = ~opam:"internal-devtools" ~deps:[external_lib "num" V.True; re] ~static:false - ~bisect_ppx:false + ~bisect_ppx:No let _gas_parameter_diff = public_exe @@ -5896,7 +5896,7 @@ let _gas_parameter_diff = ~opam:"internal-devtools" ~deps:[] ~static:false - ~bisect_ppx:false + ~bisect_ppx:No let remove_if_exists fname = if Sys.file_exists fname then Sys.remove fname @@ -5948,7 +5948,7 @@ let get_contracts_lib = ] @ List.flatten protocols) ~all_modules_except:["get_contracts"] - ~bisect_ppx:false + ~bisect_ppx:No ~linkall:true let _get_contracts = @@ -5965,7 +5965,7 @@ let _get_contracts = get_contracts_lib |> open_; ] ~modules:["get_contracts"] - ~bisect_ppx:false + ~bisect_ppx:No let yes_wallet_lib = let get_delegates_module proto = @@ -6013,7 +6013,7 @@ let yes_wallet_lib = ] @ protocols) ~all_modules_except:["yes_wallet"] - ~bisect_ppx:false + ~bisect_ppx:No ~linkall:true let _yes_wallet = @@ -6026,7 +6026,7 @@ let _yes_wallet = ~opam:"" ~deps:[yes_wallet_lib |> open_] ~modules:["yes_wallet"] - ~bisect_ppx:false + ~bisect_ppx:No let _yes_wallet_test = private_exe @@ -6048,7 +6048,7 @@ let _yes_wallet_test = octez_test_helpers |> open_; ptime; ] - ~bisect_ppx:false + ~bisect_ppx:No let simdal_lib = private_lib @@ -6058,7 +6058,7 @@ let simdal_lib = ~opam:"" ~deps:[ocamlgraph; prbnmcn_stats; unix] ~static:false - ~bisect_ppx:false + ~bisect_ppx:No let _simdal = private_exes @@ -6068,14 +6068,14 @@ let _simdal = ~opam:"" ~deps:[simdal_lib] ~static:false - ~bisect_ppx:false + ~bisect_ppx:No let _ppinclude = private_exe "ppinclude" ~path:"src/lib_protocol_environment/ppinclude" ~opam:"tezos-protocol-environment" - ~bisect_ppx:false + ~bisect_ppx:No ~deps:[compiler_libs_common] let _octez_node = @@ -6329,7 +6329,7 @@ let _tztop = ~internal_name:"tztop_main" ~opam:"internal-devtools" ~modes:[Byte] - ~bisect_ppx:false + ~bisect_ppx:No ~static:false ~profile:"octez-dev-deps" ~deps: @@ -6578,7 +6578,7 @@ let _evm_proxy = octez_version; lwt_exit; ] - ~bisect_ppx:true + ~bisect_ppx:Yes (* Add entries to this function to declare that some dune and .opam files are not generated by the manifest on purpose. diff --git a/manifest/manifest.ml b/manifest/manifest.ml index 8a799c691026..6f70b7b02ed8 100644 --- a/manifest/manifest.ml +++ b/manifest/manifest.ml @@ -358,7 +358,8 @@ module Dune = struct let chdir_workspace_root followup = [G [S "chdir"; S "%{workspace_root}"]; followup] - let backend name = [S "backend"; S name] + let backend ?(args = Stdlib.List.[]) name = + S "backend" :: S name :: of_atom_list args let ocamllex name = [S "ocamllex"; S name] @@ -997,6 +998,8 @@ module Target = struct type release_status = Unreleased | Experimental | Released | Auto_opam + type bisect_ppx = No | Yes | With_sigterm + let show_release_status = function | Unreleased -> "Unreleased" | Experimental -> "Experimental" @@ -1004,7 +1007,7 @@ module Target = struct | Auto_opam -> "Auto_opam" type internal = { - bisect_ppx : bool; + bisect_ppx : bisect_ppx; time_measurement_ppx : bool; c_library_flags : string list option; conflicts : t list; @@ -1175,7 +1178,7 @@ module Target = struct type 'a maker = ?all_modules_except:string list -> - ?bisect_ppx:bool -> + ?bisect_ppx:bisect_ppx -> ?c_library_flags:string list -> ?conflicts:t option list -> ?deps:t option list -> @@ -1504,7 +1507,9 @@ module Target = struct true | Test_executable _ -> false in - let bisect_ppx = Option.value bisect_ppx ~default:not_a_test in + let bisect_ppx = + Option.value bisect_ppx ~default:(if not_a_test then Yes else No) + in let runtest_rules = let run_js = js_compatible in let run_native = @@ -2137,7 +2142,11 @@ let generate_dune (internal : Target.internal) = let instrumentation = let bisect_ppx = - if internal.bisect_ppx then Some (Dune.backend "bisect_ppx") else None + match internal.bisect_ppx with + | Yes -> Some (Dune.backend "bisect_ppx") + | With_sigterm -> + Some (Dune.backend "bisect_ppx" ~args:["--bisect-sigterm"]) + | No -> None in let time_measurement_ppx = if internal.time_measurement_ppx then diff --git a/manifest/manifest.mli b/manifest/manifest.mli index 2536a2f78a5c..24049f88794b 100644 --- a/manifest/manifest.mli +++ b/manifest/manifest.mli @@ -582,6 +582,13 @@ type with_test = Always | Never | Only_on_64_arch which is needed as a transitive dependency of a [Released] target. *) type release_status = Unreleased | Experimental | Released | Auto_opam +(** Configure [bisect_ppx] instrumentation. + + If [No], disable instrumentation. If [Yes], enable + instrumentation. If [With_sigterm], enable instrumentation and + install a sigterm handler. See {!maker} for more details. *) +type bisect_ppx = No | Yes | With_sigterm + (** Functions that build internal targets. The ['a] argument is instantiated by the relevant type for the name(s) @@ -589,11 +596,14 @@ type release_status = Unreleased | Experimental | Released | Auto_opam - [all_modules_except]: short-hand for [~modules: (All_module_except ...)]. - - [bisect_ppx]: if [true], the target's [dune] file is generated - with [(instrumentation (backend bisect_ppx))] for this target. + - [bisect_ppx]: if [Yes] (respectively [With_sigterm]), the target's [dune] file + is generated with [(instrumentation (backend bisect_ppx))] (respectively + [(instrumentation (backend bisect_ppx --bisect-sigterm))]) for this target. This makes it possible to compute coverage. It is recommended to set this - for all libraries and executables except those that are only used for tests - (and thus are never run by users). + to [Yes] for all libraries and executables except those that are only used for tests + (and thus are never run by users). It should be set to [With_sigterm] for test + executables that spawn sub-processes which are susceptible to termination + through sigterm in non-exceptional circumstances (e.g. Tezt entrypoints). - [time_measurement_ppx]: if [true], the target's [dune] file is generated with [(instrumentation (backend time_measurement_ppx))] for this target. @@ -740,7 +750,7 @@ type release_status = Unreleased | Experimental | Released | Auto_opam macOS system. *) type 'a maker = ?all_modules_except:string list -> - ?bisect_ppx:bool -> + ?bisect_ppx:bisect_ppx -> ?c_library_flags:string list -> ?conflicts:target list -> ?deps:target list -> -- GitLab From 3ab0547e1487da957b58b1ba79ca534f44f76c71 Mon Sep 17 00:00:00 2001 From: Arvid Jakobsson Date: Tue, 14 Mar 2023 13:39:32 +0100 Subject: [PATCH 2/3] manifest: Tezt executables are instrumented with [--sigterm] --- manifest/main.ml | 3 +++ manifest/manifest.ml | 3 +++ 2 files changed, 6 insertions(+) diff --git a/manifest/main.ml b/manifest/main.ml index d457dd1ce850..22be5f98ba73 100644 --- a/manifest/main.ml +++ b/manifest/main.ml @@ -6649,6 +6649,9 @@ let () = ~with_macos_security_framework:true ~alias:"" ~path:"tezt/tests" + (* Instrument with sigterm handler, to ensure that coverage from + Tezt worker processes are collected. *) + ~bisect_ppx:With_sigterm ~opam:"" ~deps:(deps @ test_libs) in diff --git a/manifest/manifest.ml b/manifest/manifest.ml index 6f70b7b02ed8..3ae4a4722ce8 100644 --- a/manifest/manifest.ml +++ b/manifest/manifest.ml @@ -1881,6 +1881,9 @@ let register_tezt_targets ~make_tezt_exe = ?synopsis ?js_compatible ?modes + (* Instrument with sigterm handler, to ensure that coverage from + Tezt worker processes are collected. *) + ~bisect_ppx:With_sigterm ~deps:(lib :: deps) ~dep_globs ~dep_globs_rec -- GitLab From 167b22209b7002b869b71aad9ce4af18f762b953 Mon Sep 17 00:00:00 2001 From: Arvid Jakobsson Date: Tue, 14 Mar 2023 16:09:06 +0100 Subject: [PATCH 3/3] manifest: update dune files --- src/lib_base/test/dune | 2 ++ src/lib_benchmark/test/dune | 1 + src/lib_clic/test/dune | 1 + src/lib_client_base/test/dune | 2 ++ src/lib_client_base_unix/test/dune | 1 + src/lib_context/memory/test/dune | 1 + src/lib_context/test/dune | 1 + src/lib_crypto/test-unix/dune | 1 + src/lib_crypto/test/dune | 2 ++ src/lib_crypto_dal/test/dune | 1 + src/lib_error_monad/test/dune | 2 ++ src/lib_lazy_containers/test/dune | 1 + src/lib_lwt_result_stdlib/test/dune | 1 + src/lib_mockup/test/dune | 1 + src/lib_p2p/tezt/dune | 1 + src/lib_protocol_environment/test/dune | 1 + src/lib_protocol_environment/test_shell_context/dune | 1 + src/lib_proxy/test/dune | 1 + src/lib_proxy/test_helpers/shell_services/test/dune | 1 + src/lib_proxy_server_config/test/dune | 1 + src/lib_requester/test/dune | 1 + src/lib_rpc_http/test/dune | 1 + src/lib_sapling/test/dune | 1 + src/lib_shell/test/dune | 1 + src/lib_shell_services/test/dune | 2 ++ src/lib_signer_backends/test/dune | 1 + src/lib_signer_backends/unix/test/dune | 1 + src/lib_stdlib/test-unix/dune | 1 + src/lib_stdlib/test/dune | 2 ++ src/lib_stdlib_unix/test/dune | 1 + src/lib_webassembly/tests/dune | 1 + src/lib_workers/test/dune | 1 + src/proto_011_PtHangz2/lib_client/test/dune | 1 + src/proto_012_Psithaca/lib_client/test/dune | 1 + src/proto_013_PtJakart/lib_client/test/dune | 1 + src/proto_014_PtKathma/lib_client/test/dune | 1 + src/proto_015_PtLimaPt/lib_client/test/dune | 1 + src/proto_015_PtLimaPt/lib_delegate/test/dune | 1 + src/proto_015_PtLimaPt/lib_plugin/test/dune | 1 + .../lib_protocol/test/integration/consensus/dune | 1 + src/proto_015_PtLimaPt/lib_protocol/test/integration/dune | 1 + src/proto_015_PtLimaPt/lib_protocol/test/integration/gas/dune | 1 + .../lib_protocol/test/integration/michelson/dune | 1 + .../lib_protocol/test/integration/operations/dune | 1 + .../lib_protocol/test/integration/validate/dune | 1 + src/proto_015_PtLimaPt/lib_protocol/test/pbt/dune | 1 + src/proto_015_PtLimaPt/lib_protocol/test/regression/dune | 1 + src/proto_015_PtLimaPt/lib_protocol/test/unit/dune | 1 + src/proto_016_PtMumbai/lib_client/test/dune | 1 + src/proto_016_PtMumbai/lib_dal/test/dune | 1 + src/proto_016_PtMumbai/lib_delegate/test/dune | 1 + src/proto_016_PtMumbai/lib_plugin/test/dune | 1 + .../lib_protocol/test/integration/consensus/dune | 1 + src/proto_016_PtMumbai/lib_protocol/test/integration/dune | 1 + src/proto_016_PtMumbai/lib_protocol/test/integration/gas/dune | 1 + .../lib_protocol/test/integration/michelson/dune | 1 + .../lib_protocol/test/integration/operations/dune | 1 + .../lib_protocol/test/integration/validate/dune | 1 + src/proto_016_PtMumbai/lib_protocol/test/pbt/dune | 1 + src/proto_016_PtMumbai/lib_protocol/test/regression/dune | 1 + src/proto_016_PtMumbai/lib_protocol/test/unit/dune | 1 + src/proto_alpha/lib_client/test/dune | 1 + src/proto_alpha/lib_dac/test/dune | 1 + src/proto_alpha/lib_dal/test/dune | 1 + src/proto_alpha/lib_delegate/test/dune | 1 + src/proto_alpha/lib_plugin/test/dune | 1 + src/proto_alpha/lib_protocol/test/integration/consensus/dune | 1 + src/proto_alpha/lib_protocol/test/integration/dune | 1 + src/proto_alpha/lib_protocol/test/integration/gas/dune | 1 + src/proto_alpha/lib_protocol/test/integration/michelson/dune | 1 + src/proto_alpha/lib_protocol/test/integration/operations/dune | 1 + src/proto_alpha/lib_protocol/test/integration/validate/dune | 1 + src/proto_alpha/lib_protocol/test/pbt/dune | 1 + src/proto_alpha/lib_protocol/test/regression/dune | 1 + src/proto_alpha/lib_protocol/test/unit/dune | 1 + tezt/tests/dune | 1 + 76 files changed, 82 insertions(+) diff --git a/src/lib_base/test/dune b/src/lib_base/test/dune index f70a1b5aeef2..0f40e994fadd 100644 --- a/src/lib_base/test/dune +++ b/src/lib_base/test/dune @@ -28,6 +28,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (modes native) (libraries src_lib_base_test_tezt_lib @@ -46,6 +47,7 @@ (executable (name main_js) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (modes js) (libraries src_lib_base_test_tezt_lib diff --git a/src/lib_benchmark/test/dune b/src/lib_benchmark/test/dune index 8ce01ffb4c92..733e5e123934 100644 --- a/src/lib_benchmark/test/dune +++ b/src/lib_benchmark/test/dune @@ -31,6 +31,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_benchmark_test_tezt_lib tezt) diff --git a/src/lib_clic/test/dune b/src/lib_clic/test/dune index 871dab90af72..1aa9985d0d03 100644 --- a/src/lib_clic/test/dune +++ b/src/lib_clic/test/dune @@ -22,6 +22,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_clic_test_tezt_lib tezt) diff --git a/src/lib_client_base/test/dune b/src/lib_client_base/test/dune index 19b203b5d8af..07e58f67869e 100644 --- a/src/lib_client_base/test/dune +++ b/src/lib_client_base/test/dune @@ -23,6 +23,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (modes native) (libraries src_lib_client_base_test_tezt_lib @@ -43,6 +44,7 @@ (executable (name main_js) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (modes js) (libraries src_lib_client_base_test_tezt_lib diff --git a/src/lib_client_base_unix/test/dune b/src/lib_client_base_unix/test/dune index f5d72d975209..68cac4682067 100644 --- a/src/lib_client_base_unix/test/dune +++ b/src/lib_client_base_unix/test/dune @@ -23,6 +23,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_client_base_unix_test_tezt_lib tezt) diff --git a/src/lib_context/memory/test/dune b/src/lib_context/memory/test/dune index a37f430e0551..08931b6a9985 100644 --- a/src/lib_context/memory/test/dune +++ b/src/lib_context/memory/test/dune @@ -24,6 +24,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_context_memory_test_tezt_lib tezt) diff --git a/src/lib_context/test/dune b/src/lib_context/test/dune index 2f95b648b3d9..798e505d1bcf 100644 --- a/src/lib_context/test/dune +++ b/src/lib_context/test/dune @@ -30,6 +30,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_context_test_tezt_lib tezt) diff --git a/src/lib_crypto/test-unix/dune b/src/lib_crypto/test-unix/dune index 450a8d257281..34eccc1516bb 100644 --- a/src/lib_crypto/test-unix/dune +++ b/src/lib_crypto/test-unix/dune @@ -32,6 +32,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_crypto_test_unix_tezt_lib tezt) diff --git a/src/lib_crypto/test/dune b/src/lib_crypto/test/dune index 4cb9c0ef0c05..36e452199126 100644 --- a/src/lib_crypto/test/dune +++ b/src/lib_crypto/test/dune @@ -47,6 +47,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (modes native) (libraries src_lib_crypto_test_tezt_lib @@ -61,6 +62,7 @@ (executable (name main_js) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (modes js) (libraries src_lib_crypto_test_tezt_lib diff --git a/src/lib_crypto_dal/test/dune b/src/lib_crypto_dal/test/dune index ef1f25079541..a7a15b7757b2 100644 --- a/src/lib_crypto_dal/test/dune +++ b/src/lib_crypto_dal/test/dune @@ -28,6 +28,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_crypto_dal_test_tezt_lib tezt) diff --git a/src/lib_error_monad/test/dune b/src/lib_error_monad/test/dune index 7d2366d55372..3b641a780844 100644 --- a/src/lib_error_monad/test/dune +++ b/src/lib_error_monad/test/dune @@ -21,6 +21,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (modes native) (libraries src_lib_error_monad_test_tezt_lib @@ -41,6 +42,7 @@ (executable (name main_js) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (modes js) (libraries src_lib_error_monad_test_tezt_lib diff --git a/src/lib_lazy_containers/test/dune b/src/lib_lazy_containers/test/dune index e9f31b4fd69d..3d5fe425bc12 100644 --- a/src/lib_lazy_containers/test/dune +++ b/src/lib_lazy_containers/test/dune @@ -22,6 +22,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_lazy_containers_test_tezt_lib tezt) diff --git a/src/lib_lwt_result_stdlib/test/dune b/src/lib_lwt_result_stdlib/test/dune index ed3cd25aaa74..50ef616de6a3 100644 --- a/src/lib_lwt_result_stdlib/test/dune +++ b/src/lib_lwt_result_stdlib/test/dune @@ -35,6 +35,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_lwt_result_stdlib_test_tezt_lib tezt) diff --git a/src/lib_mockup/test/dune b/src/lib_mockup/test/dune index 1f38f01fe792..f62ff0a1581b 100644 --- a/src/lib_mockup/test/dune +++ b/src/lib_mockup/test/dune @@ -28,6 +28,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_mockup_test_tezt_lib tezt) diff --git a/src/lib_p2p/tezt/dune b/src/lib_p2p/tezt/dune index 04b729c0bec7..80dc811fb54f 100644 --- a/src/lib_p2p/tezt/dune +++ b/src/lib_p2p/tezt/dune @@ -34,6 +34,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_p2p_tezt_tezt_lib tezt) diff --git a/src/lib_protocol_environment/test/dune b/src/lib_protocol_environment/test/dune index 329182634cf5..5f3fcabf7f46 100644 --- a/src/lib_protocol_environment/test/dune +++ b/src/lib_protocol_environment/test/dune @@ -31,6 +31,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_protocol_environment_test_tezt_lib tezt) diff --git a/src/lib_protocol_environment/test_shell_context/dune b/src/lib_protocol_environment/test_shell_context/dune index 3562d4636bf3..1455fd5fc832 100644 --- a/src/lib_protocol_environment/test_shell_context/dune +++ b/src/lib_protocol_environment/test_shell_context/dune @@ -24,6 +24,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_protocol_environment_test_shell_context_tezt_lib tezt) diff --git a/src/lib_proxy/test/dune b/src/lib_proxy/test/dune index 88ff62485ba2..6affb1c9baba 100644 --- a/src/lib_proxy/test/dune +++ b/src/lib_proxy/test/dune @@ -34,6 +34,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_proxy_test_tezt_lib tezt) diff --git a/src/lib_proxy/test_helpers/shell_services/test/dune b/src/lib_proxy/test_helpers/shell_services/test/dune index 040abbda9ca6..f9f357d68e4d 100644 --- a/src/lib_proxy/test_helpers/shell_services/test/dune +++ b/src/lib_proxy/test_helpers/shell_services/test/dune @@ -25,6 +25,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_proxy_test_helpers_shell_services_test_tezt_lib tezt) diff --git a/src/lib_proxy_server_config/test/dune b/src/lib_proxy_server_config/test/dune index d977db71c411..f330d1754a69 100644 --- a/src/lib_proxy_server_config/test/dune +++ b/src/lib_proxy_server_config/test/dune @@ -25,6 +25,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_proxy_server_config_test_tezt_lib tezt) diff --git a/src/lib_requester/test/dune b/src/lib_requester/test/dune index edba7b3f9e93..2fb0e8b5e238 100644 --- a/src/lib_requester/test/dune +++ b/src/lib_requester/test/dune @@ -30,6 +30,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_requester_test_tezt_lib tezt) diff --git a/src/lib_rpc_http/test/dune b/src/lib_rpc_http/test/dune index e434ac4a4dca..296298decb9c 100644 --- a/src/lib_rpc_http/test/dune +++ b/src/lib_rpc_http/test/dune @@ -30,6 +30,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_rpc_http_test_tezt_lib tezt) diff --git a/src/lib_sapling/test/dune b/src/lib_sapling/test/dune index 7f285d96f8f7..663f006e4302 100644 --- a/src/lib_sapling/test/dune +++ b/src/lib_sapling/test/dune @@ -56,6 +56,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_sapling_test_tezt_lib tezt) diff --git a/src/lib_shell/test/dune b/src/lib_shell/test/dune index 2aec3b2c0fe0..8bf2e9828ee3 100644 --- a/src/lib_shell/test/dune +++ b/src/lib_shell/test/dune @@ -67,6 +67,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_shell_test_tezt_lib tezt) diff --git a/src/lib_shell_services/test/dune b/src/lib_shell_services/test/dune index 2ccc53398506..2ac9f78dfa41 100644 --- a/src/lib_shell_services/test/dune +++ b/src/lib_shell_services/test/dune @@ -24,6 +24,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (modes native) (libraries src_lib_shell_services_test_tezt_lib @@ -41,6 +42,7 @@ (executable (name main_js) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (modes js) (libraries src_lib_shell_services_test_tezt_lib diff --git a/src/lib_signer_backends/test/dune b/src/lib_signer_backends/test/dune index f6bfb9417596..b1d0143323cd 100644 --- a/src/lib_signer_backends/test/dune +++ b/src/lib_signer_backends/test/dune @@ -30,6 +30,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_signer_backends_test_tezt_lib tezt) diff --git a/src/lib_signer_backends/unix/test/dune b/src/lib_signer_backends/unix/test/dune index 279c7f3456cd..e505661e723d 100644 --- a/src/lib_signer_backends/unix/test/dune +++ b/src/lib_signer_backends/unix/test/dune @@ -26,6 +26,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_signer_backends_unix_test_tezt_lib tezt) diff --git a/src/lib_stdlib/test-unix/dune b/src/lib_stdlib/test-unix/dune index 6168adb3e6a9..684f533dcde6 100644 --- a/src/lib_stdlib/test-unix/dune +++ b/src/lib_stdlib/test-unix/dune @@ -29,6 +29,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_stdlib_test_unix_tezt_lib tezt) diff --git a/src/lib_stdlib/test/dune b/src/lib_stdlib/test/dune index 71eddb64e67e..66ef90624819 100644 --- a/src/lib_stdlib/test/dune +++ b/src/lib_stdlib/test/dune @@ -33,6 +33,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (modes native) (libraries src_lib_stdlib_test_tezt_lib @@ -50,6 +51,7 @@ (executable (name main_js) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (modes js) (libraries src_lib_stdlib_test_tezt_lib diff --git a/src/lib_stdlib_unix/test/dune b/src/lib_stdlib_unix/test/dune index 5210e8034e4a..980a1d34c942 100644 --- a/src/lib_stdlib_unix/test/dune +++ b/src/lib_stdlib_unix/test/dune @@ -23,6 +23,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_stdlib_unix_test__tezt_lib tezt) diff --git a/src/lib_webassembly/tests/dune b/src/lib_webassembly/tests/dune index 3dc399bc0592..03c80033c380 100644 --- a/src/lib_webassembly/tests/dune +++ b/src/lib_webassembly/tests/dune @@ -21,6 +21,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_webassembly_tests_tezt_lib tezt) diff --git a/src/lib_workers/test/dune b/src/lib_workers/test/dune index 81bbeec75a58..b89f0374a186 100644 --- a/src/lib_workers/test/dune +++ b/src/lib_workers/test/dune @@ -31,6 +31,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_lib_workers_test_tezt_lib tezt) diff --git a/src/proto_011_PtHangz2/lib_client/test/dune b/src/proto_011_PtHangz2/lib_client/test/dune index 200fb8b9fde9..63a79d13924a 100644 --- a/src/proto_011_PtHangz2/lib_client/test/dune +++ b/src/proto_011_PtHangz2/lib_client/test/dune @@ -35,6 +35,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_011_PtHangz2_lib_client_test_tezt_lib tezt) diff --git a/src/proto_012_Psithaca/lib_client/test/dune b/src/proto_012_Psithaca/lib_client/test/dune index d4ad8475c3fd..a55b7ab365a2 100644 --- a/src/proto_012_Psithaca/lib_client/test/dune +++ b/src/proto_012_Psithaca/lib_client/test/dune @@ -35,6 +35,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_012_Psithaca_lib_client_test_tezt_lib tezt) diff --git a/src/proto_013_PtJakart/lib_client/test/dune b/src/proto_013_PtJakart/lib_client/test/dune index 8ff679385725..0a4a4d64530b 100644 --- a/src/proto_013_PtJakart/lib_client/test/dune +++ b/src/proto_013_PtJakart/lib_client/test/dune @@ -35,6 +35,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_013_PtJakart_lib_client_test_tezt_lib tezt) diff --git a/src/proto_014_PtKathma/lib_client/test/dune b/src/proto_014_PtKathma/lib_client/test/dune index ff380de3987a..2d2adc144f98 100644 --- a/src/proto_014_PtKathma/lib_client/test/dune +++ b/src/proto_014_PtKathma/lib_client/test/dune @@ -35,6 +35,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_014_PtKathma_lib_client_test_tezt_lib tezt) diff --git a/src/proto_015_PtLimaPt/lib_client/test/dune b/src/proto_015_PtLimaPt/lib_client/test/dune index c4ce3d7758ef..f7692ec3c150 100644 --- a/src/proto_015_PtLimaPt/lib_client/test/dune +++ b/src/proto_015_PtLimaPt/lib_client/test/dune @@ -35,6 +35,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_015_PtLimaPt_lib_client_test_tezt_lib tezt) diff --git a/src/proto_015_PtLimaPt/lib_delegate/test/dune b/src/proto_015_PtLimaPt/lib_delegate/test/dune index f4a7c57b6c7f..a0bf2ea9ab74 100644 --- a/src/proto_015_PtLimaPt/lib_delegate/test/dune +++ b/src/proto_015_PtLimaPt/lib_delegate/test/dune @@ -35,6 +35,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_015_PtLimaPt_lib_delegate_test_tezt_lib tezt) diff --git a/src/proto_015_PtLimaPt/lib_plugin/test/dune b/src/proto_015_PtLimaPt/lib_plugin/test/dune index a0b290a4f167..a152e5acfc9b 100644 --- a/src/proto_015_PtLimaPt/lib_plugin/test/dune +++ b/src/proto_015_PtLimaPt/lib_plugin/test/dune @@ -44,6 +44,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_015_PtLimaPt_lib_plugin_test_tezt_lib tezt) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/consensus/dune b/src/proto_015_PtLimaPt/lib_protocol/test/integration/consensus/dune index 9e97bbd96524..05454121a764 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/consensus/dune +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/consensus/dune @@ -46,6 +46,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_015_PtLimaPt_lib_protocol_test_integration_consensus_tezt_lib tezt) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/dune b/src/proto_015_PtLimaPt/lib_protocol/test/integration/dune index aab198d4e7eb..49409ef787e2 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/dune +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/dune @@ -39,6 +39,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_015_PtLimaPt_lib_protocol_test_integration_tezt_lib tezt) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/gas/dune b/src/proto_015_PtLimaPt/lib_protocol/test/integration/gas/dune index ab77677d1cf5..573319b558ab 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/gas/dune +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/gas/dune @@ -26,6 +26,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_015_PtLimaPt_lib_protocol_test_integration_gas_tezt_lib tezt) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/dune b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/dune index 1146d236e460..fac126ca4354 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/dune +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/michelson/dune @@ -61,6 +61,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_015_PtLimaPt_lib_protocol_test_integration_michelson_tezt_lib tezt) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/operations/dune b/src/proto_015_PtLimaPt/lib_protocol/test/integration/operations/dune index cb16e016c1eb..9e51741182b8 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/operations/dune +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/operations/dune @@ -42,6 +42,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_015_PtLimaPt_lib_protocol_test_integration_operations_tezt_lib tezt) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/integration/validate/dune b/src/proto_015_PtLimaPt/lib_protocol/test/integration/validate/dune index abbc93b220a3..61207942f939 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/integration/validate/dune +++ b/src/proto_015_PtLimaPt/lib_protocol/test/integration/validate/dune @@ -45,6 +45,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_015_PtLimaPt_lib_protocol_test_integration_validate_tezt_lib tezt) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/dune b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/dune index 16a83bac2db6..9e2781484317 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/pbt/dune +++ b/src/proto_015_PtLimaPt/lib_protocol/test/pbt/dune @@ -48,6 +48,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_015_PtLimaPt_lib_protocol_test_pbt_tezt_lib tezt) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/regression/dune b/src/proto_015_PtLimaPt/lib_protocol/test/regression/dune index 74d3f35aa941..0cc1eb204bd0 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/regression/dune +++ b/src/proto_015_PtLimaPt/lib_protocol/test/regression/dune @@ -29,6 +29,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_015_PtLimaPt_lib_protocol_test_regression_tezt_lib tezt) diff --git a/src/proto_015_PtLimaPt/lib_protocol/test/unit/dune b/src/proto_015_PtLimaPt/lib_protocol/test/unit/dune index 1bf65b18017f..fdaa5135c364 100644 --- a/src/proto_015_PtLimaPt/lib_protocol/test/unit/dune +++ b/src/proto_015_PtLimaPt/lib_protocol/test/unit/dune @@ -62,6 +62,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_015_PtLimaPt_lib_protocol_test_unit_tezt_lib tezt) diff --git a/src/proto_016_PtMumbai/lib_client/test/dune b/src/proto_016_PtMumbai/lib_client/test/dune index 14207a3e4b97..ea3c3dd4ad93 100644 --- a/src/proto_016_PtMumbai/lib_client/test/dune +++ b/src/proto_016_PtMumbai/lib_client/test/dune @@ -35,6 +35,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_016_PtMumbai_lib_client_test_tezt_lib tezt) diff --git a/src/proto_016_PtMumbai/lib_dal/test/dune b/src/proto_016_PtMumbai/lib_dal/test/dune index 70d94f19c568..a0eceb195e7a 100644 --- a/src/proto_016_PtMumbai/lib_dal/test/dune +++ b/src/proto_016_PtMumbai/lib_dal/test/dune @@ -28,6 +28,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_016_PtMumbai_lib_dal_test_tezt_lib tezt) diff --git a/src/proto_016_PtMumbai/lib_delegate/test/dune b/src/proto_016_PtMumbai/lib_delegate/test/dune index c91d74a135a8..8206c345908c 100644 --- a/src/proto_016_PtMumbai/lib_delegate/test/dune +++ b/src/proto_016_PtMumbai/lib_delegate/test/dune @@ -35,6 +35,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_016_PtMumbai_lib_delegate_test_tezt_lib tezt) diff --git a/src/proto_016_PtMumbai/lib_plugin/test/dune b/src/proto_016_PtMumbai/lib_plugin/test/dune index f7196b283511..70d7d736ad7c 100644 --- a/src/proto_016_PtMumbai/lib_plugin/test/dune +++ b/src/proto_016_PtMumbai/lib_plugin/test/dune @@ -44,6 +44,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_016_PtMumbai_lib_plugin_test_tezt_lib tezt) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/consensus/dune b/src/proto_016_PtMumbai/lib_protocol/test/integration/consensus/dune index 89f475287f04..e43d7b45a08c 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/consensus/dune +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/consensus/dune @@ -46,6 +46,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_016_PtMumbai_lib_protocol_test_integration_consensus_tezt_lib tezt) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/dune b/src/proto_016_PtMumbai/lib_protocol/test/integration/dune index 5f3766f7ed4a..51efbbe49ad9 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/dune +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/dune @@ -40,6 +40,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_016_PtMumbai_lib_protocol_test_integration_tezt_lib tezt) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/gas/dune b/src/proto_016_PtMumbai/lib_protocol/test/integration/gas/dune index 3e4a2d02d572..e358e9c047c4 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/gas/dune +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/gas/dune @@ -26,6 +26,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_016_PtMumbai_lib_protocol_test_integration_gas_tezt_lib tezt) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/dune b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/dune index 602e39e96ce2..9510709025f2 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/dune +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/michelson/dune @@ -62,6 +62,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_016_PtMumbai_lib_protocol_test_integration_michelson_tezt_lib tezt) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/operations/dune b/src/proto_016_PtMumbai/lib_protocol/test/integration/operations/dune index c87f5ed32461..5efb8044f524 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/operations/dune +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/operations/dune @@ -45,6 +45,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_016_PtMumbai_lib_protocol_test_integration_operations_tezt_lib tezt) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/integration/validate/dune b/src/proto_016_PtMumbai/lib_protocol/test/integration/validate/dune index 2281b8f917ad..8c3f81382687 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/integration/validate/dune +++ b/src/proto_016_PtMumbai/lib_protocol/test/integration/validate/dune @@ -45,6 +45,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_016_PtMumbai_lib_protocol_test_integration_validate_tezt_lib tezt) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/pbt/dune b/src/proto_016_PtMumbai/lib_protocol/test/pbt/dune index 2e2660dd75b5..aa2b2f7f667e 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/pbt/dune +++ b/src/proto_016_PtMumbai/lib_protocol/test/pbt/dune @@ -62,6 +62,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_016_PtMumbai_lib_protocol_test_pbt_tezt_lib tezt) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/regression/dune b/src/proto_016_PtMumbai/lib_protocol/test/regression/dune index 0f6473eeaba5..e795506d0365 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/regression/dune +++ b/src/proto_016_PtMumbai/lib_protocol/test/regression/dune @@ -29,6 +29,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_016_PtMumbai_lib_protocol_test_regression_tezt_lib tezt) diff --git a/src/proto_016_PtMumbai/lib_protocol/test/unit/dune b/src/proto_016_PtMumbai/lib_protocol/test/unit/dune index a2d5b10c93c6..138dd6abfa79 100644 --- a/src/proto_016_PtMumbai/lib_protocol/test/unit/dune +++ b/src/proto_016_PtMumbai/lib_protocol/test/unit/dune @@ -78,6 +78,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_016_PtMumbai_lib_protocol_test_unit_tezt_lib tezt) diff --git a/src/proto_alpha/lib_client/test/dune b/src/proto_alpha/lib_client/test/dune index 7a2be4783c36..6a37a175607d 100644 --- a/src/proto_alpha/lib_client/test/dune +++ b/src/proto_alpha/lib_client/test/dune @@ -35,6 +35,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_alpha_lib_client_test_tezt_lib tezt) diff --git a/src/proto_alpha/lib_dac/test/dune b/src/proto_alpha/lib_dac/test/dune index b34a34f0c213..0ba77c90c6a8 100644 --- a/src/proto_alpha/lib_dac/test/dune +++ b/src/proto_alpha/lib_dac/test/dune @@ -30,6 +30,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_alpha_lib_dac_test_tezt_lib tezt) diff --git a/src/proto_alpha/lib_dal/test/dune b/src/proto_alpha/lib_dal/test/dune index 3030c9e7c0d9..2ba69866c9a5 100644 --- a/src/proto_alpha/lib_dal/test/dune +++ b/src/proto_alpha/lib_dal/test/dune @@ -28,6 +28,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_alpha_lib_dal_test_tezt_lib tezt) diff --git a/src/proto_alpha/lib_delegate/test/dune b/src/proto_alpha/lib_delegate/test/dune index 56bf77b830c9..706b888e7f2f 100644 --- a/src/proto_alpha/lib_delegate/test/dune +++ b/src/proto_alpha/lib_delegate/test/dune @@ -35,6 +35,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_alpha_lib_delegate_test_tezt_lib tezt) diff --git a/src/proto_alpha/lib_plugin/test/dune b/src/proto_alpha/lib_plugin/test/dune index 7f8dd0de2563..5cdafd3624a4 100644 --- a/src/proto_alpha/lib_plugin/test/dune +++ b/src/proto_alpha/lib_plugin/test/dune @@ -44,6 +44,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_alpha_lib_plugin_test_tezt_lib tezt) diff --git a/src/proto_alpha/lib_protocol/test/integration/consensus/dune b/src/proto_alpha/lib_protocol/test/integration/consensus/dune index 3326467765d4..da75d5a3f0b5 100644 --- a/src/proto_alpha/lib_protocol/test/integration/consensus/dune +++ b/src/proto_alpha/lib_protocol/test/integration/consensus/dune @@ -45,6 +45,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_alpha_lib_protocol_test_integration_consensus_tezt_lib tezt) diff --git a/src/proto_alpha/lib_protocol/test/integration/dune b/src/proto_alpha/lib_protocol/test/integration/dune index 954b6f97bc52..b6c3ac7dfcda 100644 --- a/src/proto_alpha/lib_protocol/test/integration/dune +++ b/src/proto_alpha/lib_protocol/test/integration/dune @@ -40,6 +40,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_alpha_lib_protocol_test_integration_tezt_lib tezt) diff --git a/src/proto_alpha/lib_protocol/test/integration/gas/dune b/src/proto_alpha/lib_protocol/test/integration/gas/dune index 10eeffc0d8e1..8af85ef19f2c 100644 --- a/src/proto_alpha/lib_protocol/test/integration/gas/dune +++ b/src/proto_alpha/lib_protocol/test/integration/gas/dune @@ -26,6 +26,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_alpha_lib_protocol_test_integration_gas_tezt_lib tezt) diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/dune b/src/proto_alpha/lib_protocol/test/integration/michelson/dune index d457b1058169..86fa7880924f 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/dune +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/dune @@ -61,6 +61,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_alpha_lib_protocol_test_integration_michelson_tezt_lib tezt) diff --git a/src/proto_alpha/lib_protocol/test/integration/operations/dune b/src/proto_alpha/lib_protocol/test/integration/operations/dune index 568b945cfaa7..3a1f9cd62dc2 100644 --- a/src/proto_alpha/lib_protocol/test/integration/operations/dune +++ b/src/proto_alpha/lib_protocol/test/integration/operations/dune @@ -43,6 +43,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_alpha_lib_protocol_test_integration_operations_tezt_lib tezt) diff --git a/src/proto_alpha/lib_protocol/test/integration/validate/dune b/src/proto_alpha/lib_protocol/test/integration/validate/dune index e094e18e5f48..712841be8ca4 100644 --- a/src/proto_alpha/lib_protocol/test/integration/validate/dune +++ b/src/proto_alpha/lib_protocol/test/integration/validate/dune @@ -45,6 +45,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_alpha_lib_protocol_test_integration_validate_tezt_lib tezt) diff --git a/src/proto_alpha/lib_protocol/test/pbt/dune b/src/proto_alpha/lib_protocol/test/pbt/dune index bf93c73aa5ff..cf9aa4066635 100644 --- a/src/proto_alpha/lib_protocol/test/pbt/dune +++ b/src/proto_alpha/lib_protocol/test/pbt/dune @@ -62,6 +62,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_alpha_lib_protocol_test_pbt_tezt_lib tezt) diff --git a/src/proto_alpha/lib_protocol/test/regression/dune b/src/proto_alpha/lib_protocol/test/regression/dune index 31fd134e85ec..2fd1dde8bad6 100644 --- a/src/proto_alpha/lib_protocol/test/regression/dune +++ b/src/proto_alpha/lib_protocol/test/regression/dune @@ -29,6 +29,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_alpha_lib_protocol_test_regression_tezt_lib tezt) diff --git a/src/proto_alpha/lib_protocol/test/unit/dune b/src/proto_alpha/lib_protocol/test/unit/dune index c05a839b6ff4..c1be5bf09ec9 100644 --- a/src/proto_alpha/lib_protocol/test/unit/dune +++ b/src/proto_alpha/lib_protocol/test/unit/dune @@ -76,6 +76,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries src_proto_alpha_lib_protocol_test_unit_tezt_lib tezt) diff --git a/tezt/tests/dune b/tezt/tests/dune index 37363fe0addb..d96e3d36e387 100644 --- a/tezt/tests/dune +++ b/tezt/tests/dune @@ -3,6 +3,7 @@ (executable (name main) + (instrumentation (backend bisect_ppx --bisect-sigterm)) (libraries tezt str -- GitLab