search

SSoelvsten / cal

University of California BDD Package
https://ssoelvsten.github.io/cal/
Other
2 stars 2 forks source link

BDD default constructor results in segmentation fault #10

Closed SSoelvsten closed 1 year ago

SSoelvsten commented 1 year ago

The default constructor for the BDD class has a nullptr to the BDD manager and node. Yet, it still calls the free function which does not double-check for a nullptr.

SSoelvsten commented 1 year ago

The same problem also is in the operator= definition.