diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-11-01 18:04:16 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-01 23:04:16 +0000 |
| commit | b57e39bab5e27b883f01818a401404736c6ce02e (patch) | |
| tree | 333435d9d46425093958961e8320b4c24052e8c1 /src/theory/sets/cardinality_extension.cpp | |
| parent | 3243a93ed9ae38f7789f857b0f8f9cc160139620 (diff) | |
Weaken assertion in CEGQI (#7548)
The assertion can be violated in mixed Int/Real arithmetic. The instantiator utility nevertheless safe guards Int vs Real subtyping.
Fixes #7537.
Diffstat (limited to 'src/theory/sets/cardinality_extension.cpp')
0 files changed, 0 insertions, 0 deletions