We just released a new version of Pex and Moles that brings a number of bug fixes and various improvements to the behaviors for SharePoint and Asp.NET.

Improvements

• Interaction with the Source Control provider has been significantly improved for Moles
• Support for Moles of nested types.
• Improved logging in the Host Type
• Improved Behaved collections
• Added Behaved types for mscorlib and System.Web types.

Bug fixes

• Updated several outdated section in the documentation
• Updated missing classes in the SharePoint samples
• Fixed a limitation of the profiler that would silently fail to instrument certain methods

Breaking Changes

• We have formalized the naming convention of Moles and Stubs and found some holes along the way. Some mole method might have a new name under this version of the compiler.