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.

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

Segfault with to_dnf/to_cnf #109

cjdrake opened this Issue Mar 2, 2015 · 0 comments


None yet
1 participant

cjdrake commented Mar 2, 2015

Problem happens when a absorption is attempted on a sub-expression that isn't a two-level form.

cjdrake added a commit that referenced this issue Mar 2, 2015

Fix issue #109
The to_dnf/to_cnf functions were causing segfault,
because in some cases a non-dnf expression was being passed to the
_absorb function.
This patch checks for atoms and clauses before doing absorption.

@cjdrake cjdrake closed this Mar 2, 2015

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