projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f14d8b) | patch
Add regression for fixed issue (#8213)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 3 Mar 2022 04:26:54 +0000 (22:26 -0600)
committerGitHub <noreply@github.com>
Thu, 3 Mar 2022 04:26:54 +0000 (04:26 +0000)
commit1261a85ddb6daa08561744514ea89bbe1657f366
treec0ff320a0cb3960bd9b405258adddf28a665d5actree
parent8f14d8b4eeaf5b2d1b7bb30173ca85197b7166becommit | diff
Add regression for fixed issue (#8213)

Fixes #5815.

This adds the regression, in theory I still think it is possible for the assertion to fail, but I don't think it is worth pursuing right now.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/strings/issue5815-ndet-string-ent.smt2 [new file with mode: 0644] blob