(library
 (name account_update_precondition_tests)
 (libraries
  ;; opam libraries
  ppx_inline_test.config
  async_unix
  async
  async_kernel
  core
  base
  core_kernel
  yojson
  ppx_deriving_yojson.runtime
  result
  ;; local libraries
  mina_base.import
  data_hash_lib
  pickles
  pickles.backend
  kimchi_backend
  kimchi_backend_common
  kimchi_pasta
  kimchi_pasta.basic
  transaction_snark
  snark_params
  mina_ledger
  mina_base
  mina_generators
  mina_transaction
  mina_transaction_logic
  currency
  mina_state
  signature_lib
  genesis_constants
  transaction_protocol_state
  pickles_types
  mina_numbers
  sgn
  transaction_snark_tests
  random_oracle
  random_oracle_input
  zkapp_command_builder)
 (library_flags -linkall)
 (inline_tests
  (flags -verbose -show-counts)
  (deps proof_cache.json))
 (preprocess
  (pps ppx_snarky ppx_version ppx_jane))
 (instrumentation
  (backend bisect_ppx)))
