diff options
author | ckeller <ckeller@users.noreply.github.com> | 2019-04-12 14:13:00 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-12 14:13:00 +0200 |
commit | 02544aa0e9f2693de4b02a87d8e66cc8e72e3c8b (patch) | |
tree | ec18dc8768ea8ca45ed380ffda289fe204a822a5 /src/lfsc/tests/bvconcat.smt2 | |
parent | ad491f845f6fb3e88ff1169ac472f194d12306d2 (diff) | |
download | smtcoq-02544aa0e9f2693de4b02a87d8e66cc8e72e3c8b.tar.gz smtcoq-02544aa0e9f2693de4b02a87d8e66cc8e72e3c8b.zip |
Error message to state that tactics are not supported with native-coq (#47)
* Better error message for failing tactics with native-coq
Diffstat (limited to 'src/lfsc/tests/bvconcat.smt2')
0 files changed, 0 insertions, 0 deletions