diff --git a/manifest/main.ml b/manifest/main.ml
index a0d9ebf63a32c860c726e47a7c20141dc38d2424..22be5f98ba739727413e7213a27f9d7e0fc3972a 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.
@@ -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 8a799c691026f8357dc634f8273a45b01116c1cc..3ae4a4722ce86fa61945e54307fd70037db12d9f 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 =
@@ -1876,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
@@ -2137,7 +2145,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 2536a2f78a5cd701a98ab51b7bdc8f73ae3f950c..24049f88794b79e6acd041eb1f38d709a3f4d5e9 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 ->
diff --git a/src/lib_base/test/dune b/src/lib_base/test/dune
index f70a1b5aeef2a7f1fa04ab733de1c45c8a17641a..0f40e994fadd146360b19582fb95a6f7b1cb9c71 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 8ce01ffb4c9295240c7770fa37849afeb88200ec..733e5e123934d295f03eb063a4ca87b2c5605a78 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 871dab90af72ef949e7eb10c5794cb4e40363222..1aa9985d0d034a00e3eac8b2a9cdf9431f4f9f63 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 19b203b5d8afa8843fef11fa57ffee331252140d..07e58f67869e59c36cd3bd7a79449ede3765bd44 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 f5d72d975209359c4b611547e81a73198da53ff8..68cac468206704d7334f09887880b49cb79fb322 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 a37f430e0551c5baaf53ee46448197ac08069776..08931b6a9985f30f31c766ceab4094e0665e24ff 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 2f95b648b3d9619c7be6dc1118522a6dedc9dc77..798e505d1bcfbde1e02f42480ba6f85eed828d13 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 450a8d25728194b1036e1acc1bf6ce889765a33c..34eccc1516bbe9d0b4b627200e318f9986fcecd9 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 4cb9c0ef0c0531b65d1d8ea9b79d4a0b292038bd..36e452199126755a88e0680ad3ab898b1d57327c 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 ef1f2507954167bfbc0fd2fc6df392af7f5a30b6..a7a15b7757b2ada5bbb6ef4701ae8549dd8abb3c 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 7d2366d55372d082834626b97244eb1615e7df4e..3b641a780844310228298fabe15d75b39098f166 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 e9f31b4fd69d7eed3264da5e436068f64e5dfeb0..3d5fe425bc12cca26d88efccfe7078469e676736 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 ed3cd25aaa747b0e7533c86aa0b7436b82a0cf2a..50ef616de6a3a3f6e59c76a0b06d39a97d4297c8 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 1f38f01fe792b223b911920affb28dbc529d7132..f62ff0a1581b84d4f81a99d9cee25b9427c207ff 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 04b729c0bec7ca56798e694ce4edf3f94303e25a..80dc811fb54fc18d3b6c9fdee87ad02129b942cd 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 329182634cf5292f9ed5f90462d89d00ac63e1d2..5f3fcabf7f460ac9c092ba4ed594fc65a19df656 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 3562d4636bf3c0d62df74647b5b383c6eac27ad9..1455fd5fc832e09d321b61d012e137f68a5d02d0 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 88ff62485ba2b64e260f95068810bd8f081a5c47..6affb1c9babacbd175faa17a75970d4a132fd11d 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 040abbda9ca65be1c30b21eee7b36b95edf5aa62..f9f357d68e4d0ab1946ab5e3750a8489016508a0 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 d977db71c411f597342556c538e41a57f1a909e9..f330d1754a694739398f782aa82ce6752cf7070d 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 edba7b3f9e9385a8c54084596c458eec0ce25f74..2fb0e8b5e2384abdf44c37976390ba2ce427cd80 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 e434ac4a4dca36d4ef4c25da57a552b973149cc4..296298decb9c722f203fd88b34db95c17a925fcf 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 7f285d96f8f719330c6373459d7ae0fe5c880ec0..663f006e43027d996f63a1b99f2c7ed95aab043d 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 2aec3b2c0fe014c72c366cca28334becf2796712..8bf2e9828ee3ebf6a53e88f072507cb7c8ee370a 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 2ccc53398506662b2a2a898bb77592dc57edc1c9..2ac9f78dfa41418b32257c2f1bd0a9f787c20886 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 f6bfb9417596f790c4a296addc04172d70229be0..b1d0143323cd94684aa4c0f141dde00ffc8926ea 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 279c7f3456cd4eb68912e8436d0f4b189c00d0b3..e505661e723d77a67906c5a70cf78d454f7cad87 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 6168adb3e6a9ea37c4980da7a60c81ccb3c68d86..684f533dcde6a851f849d32016bf771a4b6cdd13 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 71eddb64e67e60951cb75f87b5d4ab5d7eb089dd..66ef906248196af2e6fea6f41ccf8813f59386c1 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 5210e8034e4ae0895b621017a5644272a0d66b6a..980a1d34c942f24d58809b578cde3cd72e77e239 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 3dc399bc059256e0f3eaf49d5ae0f5151e4937f2..03c80033c3800e1e332fb7709d99db57ac165e2c 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 81bbeec75a585dbb567d601cd0476d1cb880cb2e..b89f0374a186fc312fdcb36de9518e4aa17521c9 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 200fb8b9fde96536c1f6f8168c160439e0abdd37..63a79d13924a24e2cf274c10c43d34918fa47c42 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 d4ad8475c3fd117c84b6b3005dfd9f3143eb9b85..a55b7ab365a2a4314f088a08598cb0886225f085 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 8ff6793857259e04a1c6f948f0f0cdb264276678..0a4a4d64530b46725a9527a592b6908b60d7a574 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 ff380de3987acfd197434681de17e5715b4e00c6..2d2adc144f981c806d78bf6e38de1f153c3ac295 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 c4ce3d7758efb37a94aab520d88f8edde631fe82..f7692ec3c150601cb989c3ec2a2ab0bdd8417da6 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 f4a7c57b6c7f16ffcd7d3c5b29a19e75e07ac950..a0bf2ea9ab74740837daaf4a5b9d4096e52fac2d 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 a0b290a4f167bead2622a4e60c7fefd1c1f70dc3..a152e5acfc9b14700d2ce0815ec360db31370d66 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 9e97bbd96524ec55b987a312053a15a25f1912a7..05454121a76474a7f3b3e73a1380975648d94c11 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 aab198d4e7ebaf3d6c6168c81b0b415c0a64767e..49409ef787e2d04f55c1428907848c4ed772d7cb 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 ab77677d1cf514f37794ee9841b32fca1f5a8d7c..573319b558ab6efb11ae6342cd617a16753195a7 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 1146d236e46004cfb84e5c6608b9a8bd74e48b95..fac126ca4354a9ab92e890b5f717ccbe6bebc036 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 cb16e016c1eb2b27c7ae7f468547e5b7bde6b1b3..9e51741182b8c1f3ce345b760ff2da9bffacb2ae 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 abbc93b220a34ea38af6290c3dc5ce909a2b8783..61207942f9390bf14d7d1e2d295765f0bfd47afb 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 16a83bac2db632d6f7cff4878ffdded7846bbc9c..9e27814843172c89a5c9bd77313eccfb15d76064 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 74d3f35aa9416c6900187d1ef4a46f101f77aee8..0cc1eb204bd00deb81e7b6db9633641c473160f2 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 1bf65b18017fe816070e770dff6e980c6d539184..fdaa5135c36472d5555fc234b4a537cbd4cf370d 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 14207a3e4b97a9f8ada933874266733d682c1d7a..ea3c3dd4ad9340193aa8c8455444996376b4b640 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 70d94f19c568c81c65cf814ab910b2776b765a95..a0eceb195e7ab2b0ff79dd5bf4a86b61d14e03d2 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 c91d74a135a8492dd47ec648035ee87f41a079c7..8206c345908c7a7ad2db85edba2e5e5ea069c5f0 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 f7196b2835112752859335782c6bdc542b7279b0..70d7d736ad7c9e56f2631fd39029ba43bfd5a114 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 89f475287f04e053d1bae38966391f06229b2160..e43d7b45a08c16c095b60340cbd76128c828c236 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 5f3766f7ed4a90bd47c2ddc01767b988f7d21838..51efbbe49ad946ae92d1e6634fe2d53891bb90e2 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 3e4a2d02d572f2111703c7c19db6e5d4897b6b2e..e358e9c047c421bb158465f3c295469ba369b6a9 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 602e39e96ce21ba399b0951bcfe8dab05d68f1a4..9510709025f232a69511fcf8bd95b7a8ecba73b4 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 c87f5ed32461ac776d031927303ed6a403ef5c1d..5efb8044f524ddd5c8b530c00cae418777ea8d14 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 2281b8f917ad866396bd936fa7a6243bb9afb8ff..8c3f813826876ca5c086892f62f87f058d17c6d6 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 2e2660dd75b531370a069467275f9ee61d7ad444..aa2b2f7f667e21abc6b1defd231f64cc37bcbe01 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 0f6473eeaba528c182e5dbbbade3ec5c989a5353..e795506d03655c72c7b436fe61e56db1c9de0cee 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 a2d5b10c93c60f1886653790393eeaf7a246f73c..138dd6abfa7935c2464a0a91c81b88b832045834 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 7a2be4783c36683a673735c4f9b74d5bb5aa70d8..6a37a175607d6879b57eb03eb2095ff805928c91 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 b34a34f0c2136e11aa69ed3e0b9d1d4629c7f5f9..0ba77c90c6a8d781f3c250c61a400725ad65195a 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 3030c9e7c0d96959aad597f8d2f6edd2dadcb24e..2ba69866c9a57bf8d73a2312fe2a679f6a588400 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 56bf77b830c96df1e528b4410e207c37d9ebc05f..706b888e7f2fc691f2781843b0e9cac2e9d74a1a 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 7f8dd0de25635b33432a2da6df2b5d9bdcdfa7f0..5cdafd3624a42a2b0a2010ff2eadc08b76e431f5 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 3326467765d40daaf8ca08a728f13c0b8dbfdc6d..da75d5a3f0b5a8c766509abd4e627240c1a98f8f 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 954b6f97bc5252b443f6dc9ea93ab3b12a3184a5..b6c3ac7dfcda5392b6fe0f6efb51bb6708171e09 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 10eeffc0d8e164e0608b36c1dab65fa443339576..8af85ef19f2ca55835bef016f9e7d9f45e2310df 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 d457b1058169359136d97e9adb4cb88bd3e4d53d..86fa7880924f527994a534d160876ba59a72a07b 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 568b945cfaa7250e59c0af1d83e4b0dd337433f2..3a1f9cd62dc213a029cc6831d90b9ad969c15753 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 e094e18e5f48a9ff53e58ec81b85e9f2aaaa4e9d..712841be8ca419bc6ee39b7c0184a4df1b7be6e8 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 bf93c73aa5ff37becd519f402ba53d61ae7fd06b..cf9aa4066635a65de3219c7f570318f490bf937a 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 31fd134e85ece0c8dc19f5e1145c7654208295fd..2fd1dde8bad67360213df3145c9dfeda1001cd73 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 c05a839b6ff4419316261f8e0cb59f5a641b6080..c1be5bf09ec9580b92e1b6353db5d26dade58dac 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 37363fe0addbe41b45c76d2c8c8c16afe4ad2af6..d96e3d36e3871a9073fd4f53c51e29eed03c72a2 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