[+] Log: 0 error, 0 warning

Time Category Message

[-] Assembly FabrikamSports.Legacy.Moles.Tests, 00:00:03.66|dynamic coverage|uninstrumented methods|exceptions

Uninstrumented Methods
TypeMethod
Microsoft.Pex.Framework.PexSymbolicValue+InternalInternal.CheckArgumentNotNull(Object, String)
Microsoft.Pex.Framework.PexSymbolicValue+InternalInternal.CheckArgumentNotNullOrEmpty(String, String)
Microsoft.Stubs.Framework.Moles.MoleBase`1MoleBase`1..ctor()
Microsoft.Stubs.Framework.Moles.MoleBase`1MoleBase`1.get_Instance()
Microsoft.Stubs.Framework.Moles.MoleRuntimeMoleRuntime.SetStubPublicInstance(Delegate, Type, Object, String, Type[])
Microsoft.Stubs.Framework.StubDelegates+Func`3Func`3..ctor(Object, IntPtr)
Microsoft.Stubs.Framework.StubDelegates+Func`4Func`4..ctor(Object, IntPtr)
System.ArgumentExceptionArgumentException..ctor()
System.Guidtestability Guid.CompleteGuid()
System.ObjectObject..ctor()
System.ObjectObject.Equals(Object)
System.RuntimeTypeRuntimeType.get_ContainsGenericParameters()
System.RuntimeTypeRuntimeType.get_IsGenericType()
System.StringString.op_Equality(String, String)
System.TypeType.GetTypeFromHandle(RuntimeTypeHandle)
Name Duration ExplorationsTestsCoverageLogGoals
testFramework:VisualStudioUnitTest, testLanguage:cs, total, failures, exceptions, inconclusive, duplicate block methods!critical, -errors, ~warnings!missed, reached
OrderTest|dynamic coverage00:00:03.3616, 0, 0, 0, 077/77 (100.00%) 1/2 (50.00%) !0, -0, ~0 !0, 0

[+] Environment

NameValue
Command line"C:\Program Files (x86)\Microsoft Pex\bin\Microsoft.Pex.x86.exe" "D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\bin\Release\FabrikamSports.Legacy.Moles.Tests.dll" /namespacefilter:FabrikamSports! /typefilter:OrderTest! /targetx86 /targetclrversion:v2.0.50727 /targetclrversion2 /donotopenreport /reportrootpath:"D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\bin\Release\reports" /testframework:VisualStudioUnitTest /testlanguage:cs /testprojectfile:"D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\FabrikamSports.Legacy.Moles.Tests.csproj" /testprojectnotupdate /testprojectskip /diagnostic
MachineNIKSAC-LPTP
OS VersionMicrosoft Windows NT 6.1.7600.0
Procs2
CLR2.0.50727.4927
userniksac
Environment Variables
__compat_layerElevateCreateProcess
allusersprofileC:\ProgramData
appdataC:\Users\niksac\AppData\Roaming
clrmonitor_clsid{efe3fa38-46aa-4cfa-9f77-0f4867025751}
clrmonitor_flags
CLRMONITOR_INITIALIZED0x1e
clrmonitor_inject_assemblies
clrmonitor_inject_namespaces
clrmonitor_inject_types
clrmonitor_instrument_assembliesFSharp.Core,FSharp.PowerPack,FabrikamSports.Legacy,FabrikamSports.Legacy.Moles.Tests,Microsoft.Contracts,Microsoft.VisualBasic,Microsoft.VisualStudio.QualityTools.UnitTestFramework
clrmonitor_instrument_assemblies_exclusions
clrmonitor_instrument_namespacesSystem.Collections,System.Collections.Generic,System.Collections.ObjectModel,System.Collections.Specialized,System.Diagnostics.Contracts
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.Decimal,System.Diagnostics.Assert,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.Tuple,System.Tuple`1,System.Tuple`2,System.Tuple`3,System.Tuple`4,System.Tuple`5,System.Tuple`6,System.Tuple`7,System.Tuple`8,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_protect_typesMicrosoft.FSharp.Text.Printf,Microsoft.FSharp.Text.PrintfImpl
clrmonitor_substitutionsC:\Windows\assembly\GAC_MSIL\Microsoft.ExtendedReflection\0.20.41218.2__76a274db078248c8\Microsoft.ExtendedReflection.dll
commonprogramfilesC:\Program Files (x86)\Common Files
commonprogramfiles(x86)C:\Program Files (x86)\Common Files
commonprogramw6432C:\Program Files\Common Files
complus_defaultversionv2.0.50727
complus_profapi_profilercompatibilitysettingEnableV2Profiler
computernameNIKSAC-LPTP
comspecC:\Windows\system32\cmd.exe
cor_profiler{efe3fa38-46aa-4cfa-9f77-0f4867025751}
errorlogpathC:\Program Files\WIN7TS\Logging
fp_no_host_checkNO
homedriveC:
homepath\Users\niksac
install_typeWDS-CLEAN
localappdataC:\Users\niksac\AppData\Local
logonserver\\HYD-FE-DC-02
nlog_global_config_fileC:\Program Files\WIN7TS\AverIdLog.config
number_of_processors2
osWindows_NT
pathC:\Windows\system32;C:\Windows;C:\Windows\System32\Wbem;C:\Windows\System32\WindowsPowerShell\v1.0\;C:\Program Files\System Center Operations Manager 2007\;C:\Program Files (x86)\Microsoft SQL Server\90\Tools\binn\;C:\Program Files (x86)\Microsoft Pex\bin\;C:\Program Files\Microsoft Pex\bin\;C:\Program Files\Windows Imaging\;C:\Program Files (x86)\Microsoft Visual Studio 2008 SDK\VisualStudioIntegration\Tools\Sandcastle\ProductionTools\
pathext.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC
pex_instrumentation1
pex_server_channelpex9440
processor_architecturex86
processor_architew6432AMD64
processor_identifierIntel64 Family 6 Model 23 Stepping 10, GenuineIntel
processor_level6
processor_revision170a
programdataC:\ProgramData
programfilesC:\Program Files (x86)
programfiles(x86)C:\Program Files (x86)
programw6432C:\Program Files
psmodulepathC:\Windows\system32\WindowsPowerShell\v1.0\Modules\
publicC:\Users\Public
sessionnameConsole
systemdriveC:
systemrootC:\Windows
tempC:\Users\niksac\AppData\Local\Temp
tmpC:\Users\niksac\AppData\Local\Temp
typemock_visualstudio0x1
typemockmutexnameb63a44d8-7712-4718-9c18-29786acdb279
uatdataC:\Windows\SysWOW64\CCM\UATData\D9F8C395-CAB8-491d-B8AC-179A1FE1BE77
userdnsdomainFAREAST.CORP.MICROSOFT.COM
userdomainFAREAST
usernameniksac
userprofileC:\Users\niksac
visualstudiodirC:\Users\niksac\Documents\Visual Studio 2008
vs90comntoolsd:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\Tools\
vssdk90installC:\Program Files (x86)\Microsoft Visual Studio 2008 SDK\
wecversionforrosebud.24e02
windirC:\Windows
wixC:\Program Files (x86)\Windows Installer XML v3\

Copyright (c) Microsoft Corporation. All rights reserved.
Copy full source to clipboard
Pex v0.20.41218.2.