public void removeThrowsNullReferenceException50401()
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create0();
this.remove(arrayList, 3);
}
public void remove83102()
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create0();
this.remove(arrayList, 0);
Assert.IsNotNull((object)arrayList);
}
public void addThrowsNullReferenceException898()
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create0();
object s0 = new object();
this.add(arrayList, s0, 4);
}
public void add856()
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create0();
object s0 = new object();
this.add(arrayList, s0, 0);
Assert.IsNotNull((object)arrayList);
}
public void removeThrowsContractException147()
{
try
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create0();
this.remove(arrayList, int.MinValue);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch (Exception ex)
{
if (!PexContract.IsContractException(ex))
{
throw ex;
}
}
}
public void addThrowsContractException999()
{
try
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create0();
object s0 = new object();
this.add(arrayList, s0, int.MinValue);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch (Exception ex)
{
if (!PexContract.IsContractException(ex))
{
throw ex;
}
}
}
