diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-07-11 14:38:08 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-07-11 14:38:08 +0200 |
commit | c76fa36e93277bae14de6d85712131f7e126e9e0 (patch) | |
tree | a6c77b33ba0b16e5748e52301667ac5e3367231a /unit-tests/runverit.sh | |
parent | efb1a48817405c6ad894d2088077f70c3d7eb15b (diff) | |
download | smtcoq-c76fa36e93277bae14de6d85712131f7e126e9e0.tar.gz smtcoq-c76fa36e93277bae14de6d85712131f7e126e9e0.zip |
The verit tactics now immediately fail if veriT is not installed
Diffstat (limited to 'unit-tests/runverit.sh')
0 files changed, 0 insertions, 0 deletions