13 lines
131 B
Markdown
Raw Normal View History

Run test with proof generation:
```sh
./test_proof.sh
```
Run test without proof generation:
```sh
./test_without_proof.sh
```