(executable
 (name test_executive)
 (public_name mina-test-executive)
 (package mina_test_executive)
 (libraries
  ;; opam libraries
  async
  async_kernel
  async_unix
  base.base_internalhash_types
  base.caml
  cmdliner
  core
  core_kernel
  sexplib0
  stdio
  uri
  unsigned_extended
  yojson
  ;; local libraries
  block_time
  cache_dir
  currency
  data_hash_lib
  genesis_constants
  integers
  integration_test_lib
  integration_test_local_engine
  key_gen
  kimchi_backend
  kimchi_pasta
  kimchi_pasta.basic
  logger
  mina_base
  mina_base.import
  mina_generators
  mina_numbers
  mina_runtime_config
  mina_signature_kind
  mina_stdlib
  mina_stdlib_unix
  mina_transaction
  network_pool
  participating_state
  pickles
  pickles.backend
  pickles_types
  pipe_lib
  protocol_version
  random_oracle
  random_oracle_input
  secrets
  sgn
  signature_lib
  snarky.backendless
  snark_params
  transaction_snark
  user_command_input
  visualization
  with_hash
  zkapp_command_builder
  zkapps_examples)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_mina ppx_jane ppx_deriving_yojson ppx_mina ppx_version)))
