void test4_Bugged() { Reptile a = new Reptile(); if (a.SampleMethod() == 1) { Contract.Assert(false); } }
void test4_NoBugs() { Reptile a = new Reptile(); if (a.SampleMethod() != 1) { Contract.Assert(false); } }