public static void Delegates2_Bugged() { // it should invoke minus DelegateIntInt d = minus; var r = d(5); Contract.Assert(r != 4); }
public static void invoke2(DelegateIntInt f) { // it should invoke minus or return a no deterministic value. var r = f(1); //Contract.Assert(r == 0 || r == 2); }
public static void creation2() { DelegateIntInt d = minus; }