There is memory leak when I use the binary release (zceq_solver--bin) in production. After an investigation, it looks like it has something to do with the DestroySolver:
delete (Solver*)(void*)solver;
which could be just
delete solver; // or
or maybe it was intended (2 casts on the pointer before delete) ? I failed to catch it though...
There is memory leak when I use the binary release (zceq_solver--bin) in production. After an investigation, it looks like it has something to do with the DestroySolver:
delete (Solver*)(void*)solver;
which could be just
delete solver; // or
or maybe it was intended (2 casts on the pointer before delete) ? I failed to catch it though...