Exemplos de DynamicDispatch Reptile.SampleMethod em C# (CSharp)

Exemplo n.º 1

Arquivo: DynamicDispatch.cs Projeto: michael-emmi/TinyBCT

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

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

Exemplo n.º 2

Arquivo: DynamicDispatch.cs Projeto: michael-emmi/TinyBCT

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

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