diff options
author | QGarchery <QGarchery@users.noreply.github.com> | 2019-02-07 19:30:58 +0100 |
---|---|---|
committer | ckeller <ckeller@users.noreply.github.com> | 2019-02-07 19:30:58 +0100 |
commit | 296e3c78c2d56f0e08d654cb473f86f5b24375f4 (patch) | |
tree | 8e88b1681abe6511a13eb8fea411e91d3f9691b8 /unit-tests/sat2.smt2 | |
parent | bf800c5d63eca630d2c46f440759d618c76d7810 (diff) | |
download | smtcoq-296e3c78c2d56f0e08d654cb473f86f5b24375f4.tar.gz smtcoq-296e3c78c2d56f0e08d654cb473f86f5b24375f4.zip |
Fix passing the goal strongly hashed (in ra' rf') instead of normal goal (hashed in ra rf) (#28)
Fix flatten hashing in the wrong table
veriT now has a happy ending
added a debug_coq file
Diffstat (limited to 'unit-tests/sat2.smt2')
0 files changed, 0 insertions, 0 deletions