[−][src]Macro checkers::verify
Verify the state of the allocator.
This currently performs the following tests:
- Checks that each allocation has an exact corresponding deallocation, and that it happened after the allocation it relates to.
More checks to be enabled in the future:
- That there are no overlapping deallocations / allocations.
- That the global timeline matches.