Microsoft.Pex.Framework.Pointers Namespace

Classes

PexPointerSpace

Helper class to properly initialize raw memory to run tests that take pointers.

PexUnsafeMemory

Static helper class to deal with unsafe memory