mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
Added call to memory::finalize() to ease memory leak debugging
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
b9bbfbdbb7
commit
bb722b24c1
|
@ -337,6 +337,7 @@ int main(int argc, char ** argv) {
|
|||
default:
|
||||
UNREACHABLE();
|
||||
}
|
||||
memory::finalize();
|
||||
#ifdef _WINDOWS
|
||||
_CrtDumpMemoryLeaks();
|
||||
#endif
|
||||
|
|
Loading…
Reference in a new issue