2025-07-14 21:54:06 -04:00

13 lines
143 B
Markdown

Run test with proof generation:
```sh
./short_tree_proof.sh
```
Run test without proof generation:
```sh
./short_tree_without_proof.sh
```