diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-12-15 17:49:19 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-15 23:49:19 +0000 |
commit | 4a7c0c73f69aabb20be4c79c47047ce23d3358b0 (patch) | |
tree | d56657f559704e22ed683d75e1eb526b1753b8a6 /test/api/boilerplate.cpp | |
parent | eb3b04319a26e3573dd2ba520f12432ce2d797b3 (diff) |
Ensure match terms are exhaustive in its type rule (#7807)
Fixes cvc5/cvc5-projects#382.
Makes it so that we always fully type check match terms before they are rewritten, which guards potential unsoundness.
Diffstat (limited to 'test/api/boilerplate.cpp')
0 files changed, 0 insertions, 0 deletions