| commit | e08123cb24e7f8665ca7a1f3bf03f46bafb284e4 | |
| author | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Tue, 1 Jun 2010 13:12:07 +0000 (1 15:12 +0200) | ||
| committer | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Tue, 1 Jun 2010 13:12:07 +0000 (1 15:12 +0200) | ||
| tree | a99cfb4dab2be4ef176a676b03f4eab3c7c9cac6 | treesnapshot (tar.gz zip) |
| parent | 8e4157e8646aa8416c285127c235e70223621a1f | commitdiff |
Really fix memory issue: Precosat Solver->reset() was actually dysfunction in NDEBUG build
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
| backends/precosat/detect-leaks.c | diffblobblamehistory | |
| backends/precosat/precosat.cc | diffblobblamehistory |