(library
 (name transaction_snark_tests_access_permission)
 (libraries
  ;; opam libraries
  async
  async_kernel
  async_unix
  base
  core
  core_kernel
  ppx_inline_test.config
  sexplib0
  yojson
  ppx_deriving_yojson.runtime
  result
  ;; local libraries
  cache_dir
  currency
  data_hash_lib
  genesis_constants
  pasta_bindings
  kimchi_backend
  kimchi_pasta
  kimchi_pasta.basic
  mina_base
  mina_base.import
  mina_ledger
  mina_numbers
  mina_state
  mina_transaction_logic
  pickles
  pickles.backend
  pickles_types
  random_oracle_input
  random_oracle
  sgn
  signature_lib
  snark_params
  snarky.backendless
  transaction_protocol_state
  transaction_snark
  transaction_snark_tests
  with_hash
  zkapps_empty_update
  zkapps_examples
  mina_stdlib)
 (library_flags -linkall)
 (inline_tests
  (flags -verbose -show-counts)
  (deps proof_cache.json))
 (preprocess
  (pps ppx_snarky ppx_version ppx_jane ppx_sexp_conv))
 (instrumentation
  (backend bisect_ppx)))
