search

cjdrake / pyeda

Python EDA
BSD 2-Clause "Simplified" License
304 stars 54 forks source link

Memory leak in PicoSAT extension #117

Closed cjdrake closed 9 years ago

cjdrake commented 9 years ago

This section from line 361 of picosatmodule.c skips the call to picosat_reset(...), leaking the memory from the picosat instance.

    /* Prepare Python return value */
    if (result == PICOSAT_UNSATISFIABLE) {
        Py_RETURN_NONE;
    }