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 /src/smtlib2/smtlib2_parse.mly | |
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 'src/smtlib2/smtlib2_parse.mly')
0 files changed, 0 insertions, 0 deletions