0 fixtures, 0 explorations, 0 tests, 0 failures , 00:00:06.03

[+] Log: 1 error, 0 warning

Show All
Time Category Message
2008-12-01 16:31:05Zsymbolscould not load symbols for c:\WINDOWS\Microsoft.NET\Framework\v2.0.50727\mscorlib.dll
2008-12-01 16:31:05Zsymbolssearch path:
[+]2008-12-01 16:31:09Zmetadataunexpected exception while loading explorations
ArgumentException: 
System.Enum must be class or struct
Parameter name: typeUnderTest
(Microsoft.ExtendedReflection)
paramName= typeUnderTest ,

[+] Environment

NameValue
Command line"C:\Program Files\Microsoft Pex\bin\Microsoft.Pex.exe" mscorlib.dll /explorationreflectionmode:Wizard /x64failsilently
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_assembliesMicrosoft.VisualBasic,Microsoft.VisualStudio.QualityTools.UnitTestFramework,mscorlib
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
processor_architecturex86
processor_identifierx86 Family 6 Model 14 Stepping 8, GenuineIntel
processor_level6
processor_revision0e08
programfilesC:\Program Files
prompt$P$G
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
vs90comntoolsc:\Program Files\Microsoft Visual Studio 9.0\Common7\Tools\
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.