Commit ca3f82d8 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Add examples/stdlib to the bench.

parent 7e15a4ee
......@@ -236,6 +236,7 @@ echo ""
echo "=== Checking replay (no prover) ==="
replay bench/replay
replay examples/stdlib --merging-only
replay examples/bts --merging-only
replay examples/tests --merging-only
replay examples/tests-provers --merging-only
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment