(tests
 (names main)
 (libraries
  ;; opam libraries
  alcotest
  async_kernel
  async_unix
  base
  base.base_internalhash_types
  core
  core_kernel
  integers
  ppx_inline_test.config
  sexplib0
  yojson
  ;; local libraries
  currency
  data_hash_lib
  genesis_constants
  kimchi_backend_common
  kimchi_pasta
  kimchi_pasta.basic
  mina_base
  mina_base.import
  mina_base.test_helpers
  mina_transaction
  mina_transaction_logic
  mina_numbers
  mina_ledger
  mina_ledger_test_helpers
  mina_wire_types
  monad_lib
  pasta_bindings
  pickles
  pickles.backend
  pickles_types
  random_oracle
  sgn
  sgn_type
  signature_lib
  transaction_logic_tests
  snark_params
  zkapp_command_builder)
 (preprocess
  (pps ppx_snarky ppx_version ppx_jane ppx_sexp_conv ppx_assert))
 (instrumentation
  (backend bisect_ppx)))
