| commit | 1cd44f62c31eaa6b3784c2b649e1dc8194737268 | |
| author | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Tue, 1 Jun 2010 12:34:52 +0000 (1 14:34 +0200) | ||
| committer | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Tue, 1 Jun 2010 12:34:52 +0000 (1 14:34 +0200) | ||
| tree | 11bd6eef6eabc286339811345bf68d26912144cc | treesnapshot (tar.gz zip) |
| parent | 5698cef78260c13b9a127c631842ac65a44e5d95 | commitdiff |
Properly dispose of precosat objects.
The solver destructor does not call reset, probably to save time in satrace competition. Urgs
Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>
The solver destructor does not call reset, probably to save time in satrace competition. Urgs
Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>
| backends/precosat/detect-leaks.c | [new file with mode: 0644] | blob |
| backends/precosat/precosat_wrap.c | diffblobblamehistory |