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

(executable
 (name main)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-plonk.plonk-test
  octez-aplonk)
 (modules main test_aplonk test_main_protocol))

(rule
 (alias runtest)
 (package octez-aplonk)
 (action
  (setenv RANDOM_SEED 42
   (progn (run %{exe:main.exe} -q) (diff? test-quick.expected test.output)))))

(rule
 (alias runtest_slow)
 (package octez-aplonk)
 (action (run %{exe:main.exe})))

(rule
 (alias runtest_slow_with_regression)
 (package octez-aplonk)
 (action
  (setenv RANDOM_SEED 42
   (progn (run %{exe:main.exe}) (diff? test-slow.expected test.output)))))

(executable
 (name bench)
 (libraries
  octez-plonk.plonk-test
  octez-aplonk)
 (modules bench))