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); }
public void Test3_Bugged() { TestStructsClass t = new TestStructsClass(); ref StructX refStruct = ref t.structX;