The tests can be run with `python test.py` in this directory. But before running that, the script `test.py` must be modified according to your preferences.
The test programs are located in `./programs/assert/`. The reversed programs are saved to `./output/assert/`.
## [Necessary] Specify a path to a verifier
Because a verifier is not a part of this repository, a path to a verifier must be specified according to your local installation. Setting the `default_verifier` variable should be enough.
