New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix empty sums in Z3 #464

Merged

kfriedberger merged 1 commit into master from empty-sum-z3

Mar 22, 2025

Contributor

daniel-raffler commented Mar 21, 2025

Hello,
Z3 crashes when NumeralFormulaManager.sum() is called with no arguments. This PR adds some checks to handle this special-case.


          Fix empty sums in Z3

9d18f01

kfriedberger approved these changes

View reviewed changes

Member

kfriedberger left a comment

lgtm.

kfriedberger merged commit 333a3f6 into master

2 of 3 checks passed

kfriedberger deleted the empty-sum-z3 branch

March 22, 2025 19:07

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet