Pex and Code Contracts 10 April 2010 Peter-Himschoot VS2010, .NET Development I’m currently experimenting with Pex, Moles and Code Contracts, and I wondered what effect code contracts have on Pex tests. So I build this simple piece of code: 1: public class Demo 2: { 3: public int Foo(int a, int b) 4: { ... [More]