projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae61d9b) | patch
Fix more issues with subtypes in regressions (#8727)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 5 May 2022 16:52:26 +0000 (11:52 -0500)
committerGitHub <noreply@github.com>
Thu, 5 May 2022 16:52:26 +0000 (09:52 -0700)
commitb54ac5405c2aeb470812e19d6c4c30eb246f65b2
treee0d57be3b6ab4b062749bd14cd985185e2b3b0e3tree
parentae61d9b6fbd7966d70a00e543b3a8724ed205a41commit | diff
Fix more issues with subtypes in regressions (#8727)

In preparation for making type rule for equality strict.
test/regress/cli/regress0/nl/issue8691-3-msum-subtypes.smt2 diff | blob | history
test/regress/cli/regress0/nl/issue8692-idem-flatten.smt2 diff | blob | history
test/regress/cli/regress1/fmf/issue3626.smt2 diff | blob | history
test/regress/cli/regress1/fmf/sort-inf-int-real.smt2 diff | blob | history
test/regress/cli/regress1/nl/issue7948-3-unsound-sin-region.smt2 diff | blob | history
test/regress/cli/regress1/nl/issue8162-drop-pi-bound.smt2 diff | blob | history