Пример #1
0
 public static void TestPreString3(PreconditionInference p)
 {
   Contract.Assert(!p.IsBar);
 }
Пример #2
0
 public static void TestPreString3(PreconditionInference p)
 {
     Contract.Assert(!p.IsBar);
 }
Пример #3
0
 public static void TestPreString2(PreconditionInference p)
 {
   Contract.Assert(!p.IsFoo());
 }
Пример #4
0
 public static void TestPreString2(PreconditionInference p)
 {
     Contract.Assert(!p.IsFoo());
 }