; 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})))