diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-07-29 10:49:00 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-07-29 10:49:00 +0200 |
commit | d5697269991500ed1b4b3e6bbec6108ea3a059bb (patch) | |
tree | 89c189decec919ebd852a6a22c974472d52ae673 /src/lfsc/tests/bv_artih.smt2 | |
parent | f36bf11e994cc269c2ec92b061b082e3516f472f (diff) | |
download | smtcoq-d5697269991500ed1b4b3e6bbec6108ea3a059bb.tar.gz smtcoq-d5697269991500ed1b4b3e6bbec6108ea3a059bb.zip |
New case for vauto
Diffstat (limited to 'src/lfsc/tests/bv_artih.smt2')
0 files changed, 0 insertions, 0 deletions