public void addTest762()
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create();
this.addTest(arrayList, "test", 1);
Assert.IsNotNull((object)arrayList);
}
public void removeTest132()
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create();
this.removeTest(arrayList, 3);
Assert.IsNotNull((object)arrayList);
}
public void addTest199()
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create();
this.addTest(arrayList, (object)null, 0);
Assert.IsNotNull((object)arrayList);
}
public void addTest442()
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create();
object box = (object)(default(DateTime));
this.addTest(arrayList, box, 1);
Assert.IsNotNull((object)arrayList);
}
public void addTest6201()
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create();
object boxl = (object)(default(ulong));
this.addTest(arrayList, boxl, 3);
Assert.IsNotNull((object)arrayList);
}
public void removeTestThrowsContractException513()
{
try
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create();
this.removeTest(arrayList, int.MinValue);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch (Exception ex)
{
if (!PexContract.IsContractException(ex))
{
throw ex;
}
}
}
public void addTestThrowsContractException23()
{
try
{
ArrayList arrayList;
arrayList = ArrayListFactory.Create();
this.addTest(arrayList, (object)null, 9);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch (Exception ex)
{
if (!PexContract.IsContractException(ex))
{
throw ex;
}
}
}