Name | Value |
---|
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_MSeqGen! /methodnamefilter:TestAdd_MSeqGen! /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 |
Machine | SURESH |
OS Version | Microsoft Windows NT 5.1.2600 Service Pack 3 |
Procs | 2 |
CLR | 2.0.50727.1433 |
user | suresh_thummalapenta |
Environment Variables |
---|
allusersprofile | C:\Documents and Settings\All Users |
appdata | C:\Documents and Settings\suresh_thummalapenta\Application Data |
bauhaus_caseinsensitive | 1 |
bauhaus_config | C:\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_INITIALIZED | 0x11 |
clrmonitor_inject_assemblies | |
clrmonitor_inject_namespaces | |
clrmonitor_inject_types | |
clrmonitor_instrument_assemblies | MSCorLibEval,Microsoft.VisualBasic,Microsoft.VisualStudio.QualityTools.UnitTestFramework |
clrmonitor_instrument_assemblies_exclusions | |
clrmonitor_instrument_namespaces | System.Collections,System.Collections.Generic,System.Collections.ObjectModel,System.Collections.Specialized |
clrmonitor_instrument_namespaces_exclusions | |
clrmonitor_instrument_types | System.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_cctors | 1 |
clrmonitor_substitutions | C:\WINDOWS\assembly\GAC_MSIL\Microsoft.ExtendedReflection\0.8.31021.3__76a274db078248c8\Microsoft.ExtendedReflection.dll |
commonprogramfiles | C:\Program Files\Common Files |
computername | SURESH |
comspec | C:\WINDOWS\system32\cmd.exe |
cor_profiler | {12f0dfaa-f595-4130-878d-7cab5a6d884e} |
fp_no_host_check | NO |
homedrive | C: |
homepath | \Documents and Settings\suresh_thummalapenta |
java_home | C:\Program Files\Java\jdk1.5.0_10 |
jpf_home | C:\Suresh\Softwares\eclipse-SDK-3.2.1-win32\eclipse\workspace\javapathfinder-trunk |
logonserver | \\SURESH |
minebugs_path | C:\MineBugs |
number_of_processors | 2 |
os | Windows_NT |
parseweb_path | c:\PARSEWeb |
path | C:\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_instrumentation | 1 |
pex_server_channel | pex2312 |
pex_wait_for_server_channel | 1 |
processor_architecture | x86 |
processor_identifier | x86 Family 6 Model 14 Stepping 8, GenuineIntel |
processor_level | 6 |
processor_revision | 0e08 |
programfiles | C:\Program Files |
qtjava | C:\Program Files\Java\jre1.6.0_05\lib\ext\QTJava.zip |
rc_path | C:\RepositoryCreator |
sessionname | Console |
systemdrive | C: |
systemroot | C:\WINDOWS |
temp | C:\DOCUME~1\SURESH~1\LOCALS~1\Temp |
tmp | C:\DOCUME~1\SURESH~1\LOCALS~1\Temp |
userdomain | SURESH |
username | suresh_thummalapenta |
userprofile | C:\Documents and Settings\suresh_thummalapenta |
visualstudiodir | C:\Documents and Settings\suresh_thummalapenta\My Documents\Visual Studio 2008 |
vs90comntools | c:\Program Files\Microsoft Visual Studio 9.0\Common7\Tools\ |
wecversionforrosebud.908 | 2 |
windir | C:\WINDOWS |
xweb_path | c:\xweb |