通过


Microsoft.Pex.Models Namespace

Classes

Name Description
PTextReader

Parameterized model that simulates arbitrary text reader