diff options
author | QGarchery <QGarchery@users.noreply.github.com> | 2019-02-12 14:52:13 +0100 |
---|---|---|
committer | ckeller <ckeller@users.noreply.github.com> | 2019-02-12 14:52:13 +0100 |
commit | 66f68dfa5aac0252563816d3abef9456e8622adf (patch) | |
tree | ded537507b8eb5b432a528fb7598773052275629 /src/lfsc/tests/bvconcat.smt2 | |
parent | 769c2054cc14af50e70a38b0d2340ae6170863e0 (diff) | |
download | smtcoq-66f68dfa5aac0252563816d3abef9456e8622adf.tar.gz smtcoq-66f68dfa5aac0252563816d3abef9456e8622adf.zip |
Cleaning (#35)
Removing tests from the example folder
More commentaries in Example.v
Diffstat (limited to 'src/lfsc/tests/bvconcat.smt2')
0 files changed, 0 insertions, 0 deletions