https://gitlab.com/tezos/tezos
Raw File
Tip revision: e81f04eb85b7322f39df0378225bba6f4683dc5b authored by Anne-Laure on 15 May 2023, 13:04:26 UTC
Plompiler/Test: add a test for range-checks
Tip revision: e81f04e
dune
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(library
 (name tezos_store)
 (public_name tezos-store)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-base
  tezos-crypto
  tezos-rpc
  lwt-watcher
  tezos-shell-services
  tezos-validation
  tezos-context-ops
  tezos-store.shared)
 (flags
  (:standard)
  -open Tezos_base
  -open Tezos_base.TzPervasives
  -open Tezos_crypto
  -open Tezos_shell_services
  -open Tezos_validation
  -open Tezos_context_ops
  -open Tezos_store_shared)
 (virtual_modules store)
 (default_implementation tezos-store.real))
back to top