diff options
| author | ckeller <ckeller@users.noreply.github.com> | 2019-04-12 14:35:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-12 14:35:29 +0200 |
| commit | f6ad41ada44b87ef6ffd44c1252ed9acb8e8021d (patch) | |
| tree | 1c99cbb3fd39372379ab845464d819c1e9b10a7d /AUTHORS | |
| parent | 02544aa0e9f2693de4b02a87d8e66cc8e72e3c8b (diff) | |
| download | smtcoq-f6ad41ada44b87ef6ffd44c1252ed9acb8e8021d.tar.gz smtcoq-f6ad41ada44b87ef6ffd44c1252ed9acb8e8021d.zip | |
Properly check veriT exit code and warnings (#48)
* Report veriT warnings
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions