docs | |
---|---|
tests | |
package |
A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.
pip install gavel
To run the all tests run:
tox
Note, to combine the coverage data from all the tox environments run:
Windows | set PYTEST_ADDOPTS=--cov-append tox |
---|---|
Other | PYTEST_ADDOPTS=--cov-append tox |