Microsoft.Pex.Models Namespace

Classes

PTextReader

Parameterized model that simulates arbitrary text reader