Пример #1
0
 public void StructInheritingFromInterfaceNegative2()
 {
   var empty = new EmptyIntIndexable();
   try
   {
     int x = empty[0];
     throw new Exception();
   }
   catch (TestRewriterMethods.PreconditionException p)
   {
     Assert.Equal("index < this.Count", p.Condition);
   }
 }
Пример #2
0
 public void StructInheritingFromInterfacePositive2()
 {
   var empty = new EmptyIntIndexable();
   int x = empty.Count;
   Assert.Equal(0, x);
 }