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