remove `MemoryLeak` and `CHECK_LEAKS`, can now use e.g. Valgrind

vprover / vampire

The Vampire Theorem Prover

https://vprover.github.io/

Other

282 stars 49 forks source link

remove `MemoryLeak` and `CHECK_LEAKS`, can now use e.g. Valgrind #554

Closed MichaelRawson closed 3 months ago

MichaelRawson commented 3 months ago

We had some homebrew leak-checking machinery, but I don't think it was used recently. After Allocator's recent diet, you can now use regular tools like Valgrind to find leaks, should anybody actually be doing that.

MichaelRawson commented 3 months ago

Tag #157.