(tests
 (names
  test_keccak
  test_generic
  test_bitwise
  test_common
  test_range_check
  test_lookup)
 (libraries
  ;; opam libraries
  alcotest
  bignum.bigint
  core_kernel
  base
  digestif
  ppx_inline_test.config
  zarith
  ;; local libraries
  kimchi_bindings
  kimchi_types
  pasta_bindings
  kimchi_pasta
  kimchi_pasta.basic
  kimchi_backend.gadgets_test_runner
  kimchi_pasta.constraint_system
  bitstring_lib
  snarky.intf
  snarky.backendless
  snarky_group_map
  sponge
  kimchi_backend
  kimchi_backend.gadgets
  base58_check
  codable
  random_oracle_input
  snarky_log
  group_map
  snarky_curve
  key_cache
  snark_keys_header
  tuple_lib
  promise
  kimchi_backend_common
  ppx_version.runtime))
