dune
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.
(executables
(names test_consensus_filter test_filter_state test_plugin)
(libraries
tezos-base
tezos-base-test-helpers
tezos-base.unix
alcotest-lwt
tezos-test-helpers
qcheck-alcotest
tezos-stdlib-unix
tezos-micheline
tezos-protocol-plugin-014-PtKathma
tezos-protocol-014-PtKathma
tezos-protocol-014-PtKathma.parameters
tezos-014-PtKathma-test-helpers)
(flags
(:standard)
-open Tezos_base.TzPervasives
-open Tezos_base.TzPervasives.Error_monad.Legacy_monad_globals
-open Tezos_base_test_helpers
-open Tezos_micheline
-open Tezos_protocol_plugin_014_PtKathma
-open Tezos_protocol_014_PtKathma
-open Tezos_protocol_014_PtKathma.Protocol
-open Tezos_protocol_014_PtKathma_parameters
-open Tezos_014_PtKathma_test_helpers))
(rule
(alias runtest)
(package tezos-protocol-plugin-014-PtKathma-tests)
(action (run %{dep:./test_consensus_filter.exe})))
(rule
(alias runtest)
(package tezos-protocol-plugin-014-PtKathma-tests)
(action (run %{dep:./test_filter_state.exe})))
(rule
(alias runtest)
(package tezos-protocol-plugin-014-PtKathma-tests)
(action (run %{dep:./test_plugin.exe})))