diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-12-15 14:49:33 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-15 14:49:33 -0600 |
| commit | 35f58d81fb57608d52884f560ff281fe52c7b18f (patch) | |
| tree | 99eb88c7ae2b436272e079d23d55c8f59c5fd7d4 /src/theory/quantifiers | |
| parent | 002955063ecf1b4b190717a7a0b2aec79ac7b6d9 (diff) | |
Fix datatypes compute ground value (#5671)
We were using the wrong cache on one call, leading to non-constant values being enumerated.
Fixes #5659, for that benchmark, CVC4 now answers "unknown".
Diffstat (limited to 'src/theory/quantifiers')
0 files changed, 0 insertions, 0 deletions