(tests
 (names
  test_common
  test_impls
  test_no_sideloaded
  test_opt_sponge
  test_plonk_curve_ops
  test_ro
  test_scalar_challenge
  test_sponge
  test_side_loaded_verification_key
  test_step
  test_step_verifier
  test_wrap
  test_wrap_hack
  test_encoding_regression)
 (flags
  (:standard -warn-error +a)
  -open
  Core_kernel
  -open
  Pickles)
 (preprocess
  (pps ppx_jane))
 (package pickles)
 (libraries
  ; Opam libraries
  alcotest
  core_kernel
  fmt
  integers
  sexplib0
  ; Mina libraries
  kimchi_backend
  kimchi_backend_common
  kimchi_pasta
  kimchi_pasta.basic
  kimchi_bindings
  kimchi_types
  pasta_bindings
  pickles
  pickles.backend
  pickles.composition_types
  pickles.limb_vector
  pickles_base.one_hot_vector
  pickles.plonk_checks
  pickles_base
  pickles_types
  promise
  snark_keys_header
  snarky.backendless
  sponge
  tuple_lib))
