Pex Fixture Report: ArrayListTest_Pex

[+]TestAdd_PexDefault(ArrayList, Object)(4.79003197333739s)
Test(2) : TestAdd_PexDefault01
ArrayList arrayList;
arrayList = new ArrayList();
object s0 = new object();
this.TestAdd_PexDefault(arrayList, s0);
ArrayList s1 = new;
int s0 = arrObj == s1 ? 0 : arrObj._size;
object[] s3 = new;
object[] s2 = arrObj == s1 ? s3 : arrObj._items;
return arrObj != (ArrayList)null && methodof(arrObj.Add) == methodof(ArrayList.Add) && s0 == 0 && s2.Length == 0 && methodof(arrObj.set_Capacity) == methodof(ArrayList.set_Capacity);
2008-12-01 13:04:42Z>coverage increased from 0 to 15 blocks (+15) after flipping MSCorLibEval.ArrayListTest_Pex.TestAdd_PexDefault at 0x0003
2008-12-01 13:04:43Z>could not load symbols for c:\WINDOWS\Microsoft.NET\Framework\v2.0.50727\mscorlib.dll
2008-12-01 13:04:43Z>search path:

Copyright (c) Microsoft Corporation. All rights reserved.
Copy full source to clipboard|How to create a stand alone repro
Pex v.