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; } } }