public void Test1_Bugged() { TestStructsClass t = new TestStructsClass(); Contract.Assert(t.Get() != 0); }
public void Test2_Bugged() { TestStructsClass t = new TestStructsClass(); t.Set(50); Contract.Assert(t.Get() != 50); }