public void addTest977()
{
ArrayList arrayList;
arrayList = ArrayListFactory.creatEmpty();
this.addTest(arrayList, (object)null, 0);
Assert.IsNotNull((object)arrayList);
}
public void addTest24601()
{
ArrayList arrayList;
arrayList = ArrayListFactory.creatEmpty();
object boxb = (object)(default(bool));
this.addTest(arrayList, boxb, 0);
Assert.IsNotNull((object)arrayList);
}
public void removeTestThrowsContractException837()
{
try
{
ArrayList arrayList;
arrayList = ArrayListFactory.creatEmpty();
this.removeTest(arrayList, 0);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch (Exception ex)
{
if (!PexContract.IsContractException(ex))
{
throw ex;
}
}
}
public void addTestThrowsContractException79301()
{
try
{
ArrayList arrayList;
arrayList = ArrayListFactory.creatEmpty();
this.addTest(arrayList, (object)null, 1);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch (Exception ex)
{
if (!PexContract.IsContractException(ex))
{
throw ex;
}
}
}
