C# (CSharp) DynamicDispatch Reptile.SampleMethod Examples

Example #1

File: DynamicDispatch.cs Project: michael-emmi/TinyBCT

        void test4_Bugged()
        {
            Reptile a = new Reptile();

            if (a.SampleMethod() == 1)
            {
                Contract.Assert(false);
            }
        }

Example #2

File: DynamicDispatch.cs Project: michael-emmi/TinyBCT

        void test4_NoBugs()
        {
            Reptile a = new Reptile();

            if (a.SampleMethod() != 1)
            {
                Contract.Assert(false);
            }
        }