search

SSoelvsten / cal

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

`free(): invalid pointer` with `CAL_REORDER_METHOD_DF` #5

Closed SSoelvsten closed 1 year ago

SSoelvsten commented 2 years ago

Since compiling CAL with CMake (see #2) we get free(): invalid pointer errors in the loops for the BddReallocateNodes function on line 886 in calReorderDF.c.

SSoelvsten commented 1 year ago

Closed together with solution for #3 .