Is there a way to check that a particular test does not allocate to match memory? I'm not interesting in fine-grained checks, the difference is more in the order of 1 GiB with the bug vs 10 MiB without it. Using Epsilon with a suitable heap size (fairly low, but with some headroom) comes to my mind. Is there a better approach?