; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(library
 (name src_lib_mec_test_tezt_lib)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezt.core
  octez-alcotezt
  octez-libs.octez-mec)
 (library_flags (:standard -linkall))
 (flags
  (:standard)
  -open Tezt_core
  -open Tezt_core.Base
  -open Octez_alcotezt
  -open Mec)
 (modules
  ark_poseidon128
  ark_pobls
  mds_pobls
  mds_poseidon128
  poseidon128_linear_trick_expected_output
  test_vector_pedersen_hash
  test_neptunus
  test_orchard
  test_pedersen_hash
  test_poseidon128
  test_poseidon252
  test_sinsemilla
  test_babyjubjub
  test_babyjubjub_reduced
  test_bandersnatch_affine_montgomery
  test_bandersnatch_affine_weierstrass
  test_bandersnatch_affine_edwards
  test_bls12_381_affine
  test_bls12_381_projective
  test_bn254_affine
  test_bn254_jacobian
  test_bn254_projective
  test_curve25519_affine_edwards
  test_curve25519_conversions_between_forms
  test_curve25519_montgomery
  test_curve448
  test_ec_functor
  test_iso_pallas_affine
  test_jubjub
  test_jubjub_conversions_between_forms
  test_jubjub_weierstrass
  test_pallas_affine
  test_pallas_jacobian
  test_pallas_projective
  test_secp256k1_affine
  test_secp256k1_jacobian
  test_secp256k1_projective
  test_secp256r1_affine
  test_secp256r1_jacobian
  test_secp256r1_projective
  test_tweedledee_affine
  test_tweedledee_jacobian
  test_tweedledee_projective
  test_tweedledum_affine
  test_tweedledum_jacobian
  test_tweedledum_projective
  test_vesta_affine
  test_vesta_jacobian
  test_vesta_projective
  test_digestif
  test_linear_trick
  test_marvellous
  test_redjubjub
  test_find_group_hash
  test_iterator))

(executable
 (name main)
 (instrumentation (backend bisect_ppx --bisect-sigterm))
 (libraries
  src_lib_mec_test_tezt_lib
  tezt)
 (modules main))

(rule
 (alias runtest)
 (package octez-libs)
 (enabled_if (<> false %{env:RUNTEZTALIAS=true}))
 (action (run %{dep:./main.exe})))

(rule
 (targets main.ml)
 (action (with-stdout-to %{targets} (echo "let () = Tezt.Test.run ()"))))