[−][src]Macro checkers::verify

macro_rules! verify {
    ($state:expr) => { ... };
}

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.