Microsoft.Pex.Engine.PostAnalysis Namespace

Classes

PexTrackingThread

A thread which supports tracking of data- and control-flow.