projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9fe8509) | patch
new test for resolved issue (#8784)
authoryoni206 <yoni206@users.noreply.github.com>
Tue, 17 May 2022 13:18:31 +0000 (16:18 +0300)
committerGitHub <noreply@github.com>
Tue, 17 May 2022 13:18:31 +0000 (08:18 -0500)
commit2bf5c16be21169cd7edbb7862aa161e9a0a637f9
tree835a71b59276d058f26bb52234fad16ac82abeeftree
parent9fe8509ed935c094469a7a108d59b854aaa71b35commit | diff
new test for resolved issue (#8784)

#8412 is now fixed on main. This PR adds a regression from that issue.
closes #8412 .
test/regress/cli/CMakeLists.txt diff | blob | history
test/regress/cli/regress0/bv/bv_to_int_8412.smt2 [new file with mode: 0644] blob