Moq/moq4 — pull request #95 by apeel (2014-02-17 16:22:55+00:00)
Title: Basic code contracts for public facing API

This adds basic postconditions for Mock creation.

See issue: [Add support for code contracts](https://github.com/Moq/moq4/issues/94)