C# (CSharp) TestStructsClass.Getの例

コード例 #1

ファイル: Struct.cs プロジェクト: michael-emmi/TinyBCT

        public void Test1_Bugged()
        {
            TestStructsClass t
                = new TestStructsClass();

            Contract.Assert(t.Get() != 0);
        }

コード例 #2

ファイル: Struct.cs プロジェクト: michael-emmi/TinyBCT

        public void Test2_Bugged()
        {
            TestStructsClass t
                = new TestStructsClass();

            t.Set(50);
            Contract.Assert(t.Get() != 50);
        }