(library
 (inline_tests
  (flags -verbose -show-counts))
 (name kimchi_gadgets)
 (public_name kimchi_backend.gadgets)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_version ppx_jane))
 (libraries
  ;; opam libraries
  bignum.bigint
  core_kernel
  digestif
  ppx_inline_test.config
  zarith
  ;; local libraries
  kimchi_backend_common
  kimchi_pasta
  kimchi_gadgets_test_runner
  mina_stdlib
  snarky.backendless))
