public void add85602()
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create1();
object s0 = new object();
this.add(arrayList, s0, 0);
Assert.IsNotNull((object)arrayList);
}
public void removeThrowsContractException124()
{
try
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create1();
this.remove(arrayList, 0);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch (Exception ex)
{
if (!PexContract.IsContractException(ex))
{
throw ex;
}
}
}