public static void DelegatesDynamicDispatch2_Bugged()
{
AiredaleTerrier d = new AiredaleTerrier();
d.Eat();
Contract.Assert(Dog.Execute(d.Eat) != 20);
}
public static void DelegatesDynamicDispatch4_Bugged()
{
AiredaleTerrier d1 = new AiredaleTerrier();
FoxTerrier d2 = new FoxTerrier();
DelegateDogAction a1 = d1.Run;
DelegateDogAction a2 = d2.Run;
a1();
}
public static void DelegatesDynamicDispatch3_Bugged()
{
AiredaleTerrier d = new AiredaleTerrier();
Contract.Assert(Dog.Execute(d.Drink) != 2);
}
