1 fixtures, 1 explorations, 1 tests, 0 failures , 00:00:06.86

[+] Log: 0 error, 0 warning

Show All
Time Category Message
2008-12-01 13:04:42Zcoveragecoverage increased from 0 to 15 blocks (+15) after flipping MSCorLibEval.ArrayListTest_Pex.TestAdd_PexDefault at 0x0003
2008-12-01 13:04:43Zsymbolscould not load symbols for c:\WINDOWS\Microsoft.NET\Framework\v2.0.50727\mscorlib.dll
2008-12-01 13:04:43Zsymbolssearch path:

[-] Assembly MSCorLibEval, 00:00:05.70|dynamic coverage

[-]ArrayListTest_Pexdetails|dynamic coverage

typeUnderTest:System.Collections.ArrayList,
Name Duration TestsDynamic CoverageLog
total, failures, exceptions, inconclusiveblockmethodscritical, errors, warnings
TestAdd_PexDefault(ArrayList, Object)
log| parameter values |details|dynamic coverage
00:00:04.791, 0, 0, 015/23 (65.22%) 4/429 (0.93%) !0, -0, ~0
Parameter Values Copy To Clipboard
RunarrObjobjDynamic Coverage+/- Dyn. Cov.Summary/ExceptionTest Name
2 Count = 0 object 15/23+15/+23test
repro: pex.exe MSCorLibEval.dll /nf:MSCorLibEval /tf:ArrayListTest_Pex! /mf:TestAdd_PexDefault!
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:

[+] Environment

NameValue
Command line"C:\Program Files\Microsoft Pex\bin\Microsoft.Pex.exe" C:\Suresh\Softwares\eclipse-SDK-3.2.1-win32\eclipse\workspace\NETReflectorAddins\Source\MSCorLibEval\bin\Debug\MSCorLibEval.dll /membernamefilter:M:TestAdd_PexDefault! /methodnamefilter:TestAdd_PexDefault! /namespacefilter:MSCorLibEval! /typefilter:ArrayListTest_Pex! /x64failsilently /donotopenreport /reportoutputpath:C:\Suresh\Softwares\eclipse-SDK-3.2.1-win32\eclipse\workspace\NETReflectorAddins\Source\MSCorLibEval\bin\Debug\reports /testprojectfile:C:\Suresh\Softwares\eclipse-SDK-3.2.1-win32\eclipse\workspace\NETReflectorAddins\Source\MSCorLibEval\MSCorLibEval.csproj /testprojectnotupdate /testprojectskip
MachineSURESH
OS VersionMicrosoft Windows NT 5.1.2600 Service Pack 3
Procs2
CLR2.0.50727.1433
usersuresh_thummalapenta
Environment Variables
allusersprofileC:\Documents and Settings\All Users
appdataC:\Documents and Settings\suresh_thummalapenta\Application Data
bauhaus_caseinsensitive1
bauhaus_configC:\cygwin\home\suresh_thummalapenta\RCOST\Bauhaus\config
classpath.;.;C:\PROGRA~1\JMF21~1.1E\lib\sound.jar;C:\PROGRA~1\JMF21~1.1E\lib\jmf.jar;C:\PROGRA~1\JMF21~1.1E\lib;C:\WINDOWS\wt\webdriver\wildtangent.jar;C:\WINDOWS\wt\webdriver\4.1.1\wtmulti.jar;C:\Program Files\WildTangent\Apps\DRM0302java.jar;C:\WINDOWS\wt\webdriver\wtdmmpi.jar;C:\Suresh\NCSU\ASE\MyPublicationMaterials\ISSTA_08\Jex-1.2.1\dist\Jex-1.2.1.jar;C:\Suresh\NCSU\ASE\MyPublicationMaterials\ISSTA_08\Jex-1.2.1\lib\antlr.jar;C:\Suresh\NCSU\ASE\MyPublicationMaterials\ISSTA_08\Jex-1.2.1\lib\getopt.jar
clrmonitor_clsid{12f0dfaa-f595-4130-878d-7cab5a6d884e}
clrmonitor_flags
CLRMONITOR_INITIALIZED0x11
clrmonitor_inject_assemblies
clrmonitor_inject_namespaces
clrmonitor_inject_types
clrmonitor_instrument_assembliesMSCorLibEval,Microsoft.VisualBasic,Microsoft.VisualStudio.QualityTools.UnitTestFramework
clrmonitor_instrument_assemblies_exclusions
clrmonitor_instrument_namespacesSystem.Collections,System.Collections.Generic,System.Collections.ObjectModel,System.Collections.Specialized
clrmonitor_instrument_namespaces_exclusions
clrmonitor_instrument_typesSystem.Array,System.Array+ArrayEnumerator,System.Array+FunctorComparer`1,System.Array+SZArrayEnumerator,System.Array+SorterGenericArray,System.Array+SorterObjectArray,System.Boolean,System.Byte,System.Char,System.CharEnumerator,System.ComponentModel.Component,System.ComponentModel.Container,System.ComponentModel.Container+Site,System.Convert,System.Currency,System.DateTime,System.Diagnostics.Assert,System.Diagnostics.Contracts.CodeContract,System.Double,System.Globalization.CharUnicodeInfo,System.Globalization.CultureTableRecord,System.Guid,System.IO.Stream,System.IO.StringReader,System.IO.StringWriter,System.Int16,System.Int32,System.Int64,System.Math,System.Nullable,System.Nullable`1,System.SByte,System.SZArrayHelper,System.SZArrayHelper+SZGenericArrayEnumerator`1,System.Single,System.String,System.Text.Encoding,System.TimeSpan,System.UInt16,System.UInt32,System.UInt64,System.Xml.XmlTextWriter,System.Xml.XmlTextWriter+Namespace,System.Xml.XmlTextWriter+NamespaceState,System.Xml.XmlTextWriter+SpecialAttr,System.Xml.XmlTextWriter+State,System.Xml.XmlTextWriter+TagInfo,System.Xml.XmlTextWriter+Token,System.Xml.XmlWriter,__Box`1,__SzArrayHelper`1
clrmonitor_instrument_types_exclusions
clrmonitor_protect_all_cctors1
clrmonitor_substitutionsC:\WINDOWS\assembly\GAC_MSIL\Microsoft.ExtendedReflection\0.8.31021.3__76a274db078248c8\Microsoft.ExtendedReflection.dll
commonprogramfilesC:\Program Files\Common Files
computernameSURESH
comspecC:\WINDOWS\system32\cmd.exe
cor_profiler{12f0dfaa-f595-4130-878d-7cab5a6d884e}
fp_no_host_checkNO
homedriveC:
homepath\Documents and Settings\suresh_thummalapenta
java_homeC:\Program Files\Java\jdk1.5.0_10
jpf_homeC:\Suresh\Softwares\eclipse-SDK-3.2.1-win32\eclipse\workspace\javapathfinder-trunk
logonserver\\SURESH
minebugs_pathC:\MineBugs
number_of_processors2
osWindows_NT
parseweb_pathc:\PARSEWeb
pathC:\Program Files\Java\jdk1.5.0_10\bin;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\System32\Wbem;C:\Program Files\SAS\SAS 9.1\tmine\sasexe;C:\Program Files\MiKTeX 2.6\miktex\bin;C:\PARSEWeb;C:\cygwin\home\suresh_thummalapenta\cvcl2-exe;C:\cygwin\home\oc-exe;C:\Perl\site\bin;C:\Perl\bin;C:\Program Files\Java\jdk1.5.0_10\bin;C:\Program Files\Microsoft SQL Server\80\Tools\Binn\;C:\PROGRA~1\F-Secure\Ssh;"C:\Program Files\EditPlus 2";c:\Program Files\Microsoft SQL Server\90\Tools\binn\;C:\Program Files\Microsoft Pex\bin\;C:\Suresh\Softwares\apache-ant-1.7.1\bin;C:\Program Files\QuickTime\QTSystem\;C:\Program Files\NCover\;C:\Program Files\NModel\bin;C:\Program Files\Java\jdk1.5.0_10\bin;C:\cygwin\home\suresh_thummalapenta\RCOST\Bauhaus\bin;C:\Suresh\Softwares\apache-ant-1.7.1\bin;c:\Program Files\NModel\bin;C:\Program Files\Common Files\Ahead\Lib\
pathext.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH
pex_instrumentation1
pex_server_channelpex2312
processor_architecturex86
processor_identifierx86 Family 6 Model 14 Stepping 8, GenuineIntel
processor_level6
processor_revision0e08
programfilesC:\Program Files
qtjavaC:\Program Files\Java\jre1.6.0_05\lib\ext\QTJava.zip
rc_pathC:\RepositoryCreator
sessionnameConsole
systemdriveC:
systemrootC:\WINDOWS
tempC:\DOCUME~1\SURESH~1\LOCALS~1\Temp
tmpC:\DOCUME~1\SURESH~1\LOCALS~1\Temp
userdomainSURESH
usernamesuresh_thummalapenta
userprofileC:\Documents and Settings\suresh_thummalapenta
visualstudiodirC:\Documents and Settings\suresh_thummalapenta\My Documents\Visual Studio 2008
vs90comntoolsc:\Program Files\Microsoft Visual Studio 9.0\Common7\Tools\
wecversionforrosebud.9082
windirC:\WINDOWS
xweb_pathc:\xweb

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