Dynamic Code Coverage Summary

Modules/Types/MethodsDynamic Coverage (blocks)
User Code Under TestUser Or Test Code
[+]MSCorLibEval.dll(1 methods)2/2 (100.00%)
[+]MSCorLibEval.ArrayListTest_Pex(1 methods)2/2 (100.00%)
TestAdd2/2 (100.00%)
[+]<In Memory Module>(1 methods)2/2 (100.00%)
[+]System.Collections.ArrayListFactory(1 methods)2/2 (100.00%)
Create2/2 (100.00%)
[+]mscorlib.dll(4 methods)15/23 (65.22%)
[+]System.Collections.ArrayList(4 methods)15/23 (65.22%)
.ctor2/2 (100.00%)
Add3/3 (100.00%)
EnsureCapacity5/7 (71.43%)
set_Capacity5/11 (45.45%)
SourcesMethodsDynamic Coverage (blocks)
User Code Under TestUser Or Test Code
(no sources available for some parts of Microsoft.Pex.Explorables, mscorlib)515/23 (65.22%) 2/2 (100.00%)
C:\Suresh\Softwares\eclipse-SDK-3.2.1-win32\eclipse\workspace\NETReflectorAddins\Source\MSCorLibEval\ArrayListTest_Pex.cshtml12/2 (100.00%)

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