Check for memory leaks on exit and abort#3462

Merged

tautschnig merged 2 commits intodiffblue:developfrom

peterschrammel:memory-leak-abort

Nov 22, 2022

Commits on Nov 21, 2022

Factor out memory leak instrumentation into separate function

peterschrammel
authored and
tautschnig
committed

Commits on Nov 22, 2022

Add memory leak instrumentation to abort and exit

peterschrammel
authored and
tautschnig
committed