The MbUnit.Framework.ContractVerifiers.Core namespace contains types that are used as part of the internal implementation of contract verifiers.

Classes

	Class	Description
	ContractVerificationContext	Execution context of a contract verification test.
	HashStore	A map that stores the occurences of hash code values and computes various statistical data.
	HashStoreResult	Simple container for hash code stochastic analysis results.