Beispiel #1
0
        public static void Delegates2_Bugged()
        {
            // it should invoke minus
            DelegateIntInt d = minus;
            var            r = d(5);

            Contract.Assert(r != 4);
        }
Beispiel #2
0
 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);
 }
Beispiel #3
0
 public static void creation2()
 {
     DelegateIntInt d = minus;
 }