Exemplo n.º 1
0
        public void Test1_Bugged()
        {
            TestStructsClass t
                = new TestStructsClass();

            Contract.Assert(t.Get() != 0);
        }
Exemplo n.º 2
0
        public void Test2_Bugged()
        {
            TestStructsClass t
                = new TestStructsClass();

            t.Set(50);
            Contract.Assert(t.Get() != 50);
        }
Exemplo n.º 3
0
        public void Test3_Bugged()
        {
            TestStructsClass t
                = new TestStructsClass();

            ref StructX refStruct = ref t.structX;