Microsoft.Pex.Framework.Generated Namespace

Helper methods for Code Contracts

Stores and restores the CurrentCulture and CurrentUICulture of a thread

The description of a generated test

A disposable context to store disposable object that will dispose all objects safely.

An exception encapsulating a collection of exceptions

A collection of factory methods for various type of the .Net runtime

Attribute that describes the parameterized test that generated the method.

Attribute to specify that the current assembly contains the tests from another assembly.

Marks a type that contains generated tests for a particular fixture type

Marks a generated test that might not be compilable

An attribute that specifies that a test might not be reproducible

Swaps the Console.In TextReader with an IntelliTest parameterized mock implementation (PTextReader).

A contract exception was raised

Decorates a generated test with the 'unexpected' exception that the test raises.

Static helper class which allows to manipulate values in a safe fashion which might not be expressible in C#.

Removes the current trace listeners, and install a trace listener that throws a TraceAssertionException. Also hooks and handles to the Contract.ContractFailed event.

Interface for building an oracle execution

This interface is used to define the behavior of mock objects at the beginning of a test.

This interface is used to define the behavior of mock objects at the beginning of a test.

The context where observed values are stored

IntelliTest raised exception source

Gets the rewritten assembly level contract