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

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

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

            ref StructX refStruct = ref t.structX;