public void StructInheritingFromInterfacePositive2()
{
var empty = new EmptyIntIndexable();
int x = empty.Count;
Assert.AreEqual(0, x);
}
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);
}
}
public void StructInheritingFromInterfaceNegative2()
{
var empty = new EmptyIntIndexable();
try
{
int x = empty[0];
throw new Exception();
}
catch (TestRewriterMethods.PreconditionException p)
{
Assert.AreEqual("index < this.Count", p.Condition);
}
}
public void StructInheritingFromInterfacePositive2()
{
var empty = new EmptyIntIndexable();
int x = empty.Count;
Assert.Equal(0, x);
}