lean4-htt/tests/compile_bench/deriv.lean.out.expected
Garmelon 492fda3bca
chore: speed up test suite slightly (#12969)
This PR speeds up some benchmarks when run as tests by lowering their
workload. It also stops testing some of the more expensive benchmarks
that can't be easily made smaller.
2026-03-20 12:24:32 +00:00

7 lines
92 B
Text

1 count: 6
2 count: 22
3 count: 90
4 count: 420
5 count: 2202
6 count: 12886
7 count: 83648