|dynamic coverage|uninstrumented methods

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)
typeUnderTest:FabrikamSports.Order,
Name Duration TestsCoverageLogGoals
total, failures, exceptions, inconclusive, duplicateblockmethodscritical, errors, warningsmissed, reached
Fill(Order, Product, Int32)
log| parameter values |dynamic coverage
00:00:03.366, 0, 1, 0, 077/77 (100.00%) 1/2 (50.00%) !0, -0, ~0 !0, 0
Parameter Values Copy To Clipboard
Runtargetproductquantityresult(target)resultCoverage+/- Cov.Summary/ExceptionTest Name
1new Order{}null03/9+3/+9ArgumentException: Value does not fall within the expected range. (FabrikamSports.Legacy) test
3new Order{}new Product{ProductId=509fbd70-c244-4933-a7ce-f7ffcf31d52f,Name=null,Description=null}0new Order{}true52/75+49/+66test
4new Order{}new Product{ProductId=97d066a6-7a66-49f1-9930-455e986aaaef,Name=null,Description=null}1new Order{}false53/75+1/-test
5new Order{}new Product{ProductId=cb5b80aa-ab3d-4652-9540-49d8a4fc3e61,Name="Basket ball",Description=null}0new Order{}true63/75+10/-test
6new Order{}new Product{ProductId=c63a91a2-130a-4679-acbd-6440923f6d31,Name="Base Ball",Description=null}0new Order{}true70/76+7/+1test
7new Order{}new Product{ProductId=730fb361-d0a1-4fd4-a804-2f0116eae99a,Name="Basket Ball",Description=null}0new Order{}true77/77+7/+1test
repro: pex.exe /nf:FabrikamSports /tf:OrderTest! /mf:Fill!
2010-01-04 10:30:16Z>could not load symbols for C:\Windows\assembly\GAC_MSIL\Microsoft.Pex\0.20.41218.2__76a274db078248c8\Microsoft.Pex.exe
2010-01-04 10:30:16Z>search path:
2010-01-04 10:30:16Z>could not load symbols for C:\Windows\assembly\GAC_MSIL\Microsoft.ExtendedReflection\0.20.41218.2__76a274db078248c8\Microsoft.ExtendedReflection.dll
2010-01-04 10:30:16Z>could not load symbols for C:\Windows\Microsoft.NET\Framework\v2.0.50727\mscorlib.dll
[+]Uninstrumented method 'System.Void System.Object..ctor()' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
<>c__DisplayClass2..ctor()
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (0)
        )
        {

            var products = new PexChosenIndexedValue<Product, int>(this, "products");
            // Provide an implemenation for MWarehouse.HasInventory
            // Attach a mole of WareHouse type
            var wareHouse = new MWarehouse
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
2010-01-04 10:30:16Z>could not load symbols for C:\Windows\assembly\GAC_MSIL\Microsoft.Pex.Framework\0.20.41218.2__76a274db078248c8\Microsoft.Pex.Framework.dll
[+]Uninstrumented method 'System.Void Microsoft.Pex.Framework.PexSymbolicValue+Internal.CheckArgumentNotNull(System.Object value, System.String parameterName)' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
PexChosenIndexedValue`2..ctor(Object, String, Predicate`1<!1>)
PexChosenIndexedValue`2..ctor(Object, String)
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (27)
        )
        {

            var products = new PexChosenIndexedValue<Product, int>(this, "products");
            // Provide an implemenation for MWarehouse.HasInventory
            // Attach a mole of WareHouse type
            var wareHouse = new MWarehouse
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
[+]Uninstrumented method 'System.Void Microsoft.Pex.Framework.PexSymbolicValue+Internal.CheckArgumentNotNullOrEmpty(System.String value, System.String parameterName)' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
PexChosenIndexedValue`2..ctor(Object, String, Predicate`1<!1>)
PexChosenIndexedValue`2..ctor(Object, String)
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (27)
        )
        {

            var products = new PexChosenIndexedValue<Product, int>(this, "products");
            // Provide an implemenation for MWarehouse.HasInventory
            // Attach a mole of WareHouse type
            var wareHouse = new MWarehouse
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
[+]Uninstrumented method 'System.Void Microsoft.Stubs.Framework.Moles.MoleBase`1..ctor()' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
[+]MWarehouse..ctor(), 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.Designer.cs (429)
        public MWarehouse()
        : base()
        {
        }

        /// <summary>Initializes a new mole for the given instance</summary>
        public MWarehouse(global::FabrikamSports.Warehouse instance)
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (30)
            var products = new PexChosenIndexedValue<Product, int>(this, "products");
            // Provide an implemenation for MWarehouse.HasInventory
            // Attach a mole of WareHouse type
            var wareHouse = new MWarehouse
                                {
                                    HasInventoryProductInt32 = (p, q) =>
                                                                   {
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
[+]Uninstrumented method 'System.Void Microsoft.Stubs.Framework.StubDelegates+Func`3..ctor(System.Object object, System.IntPtr method)' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (30)
            var products = new PexChosenIndexedValue<Product, int>(this, "products");
            // Provide an implemenation for MWarehouse.HasInventory
            // Attach a mole of WareHouse type
            var wareHouse = new MWarehouse
                                {
                                    HasInventoryProductInt32 = (p, q) =>
                                                                   {
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
2010-01-04 10:30:16Z>could not load symbols for C:\Windows\assembly\GAC_MSIL\Microsoft.Stubs.Framework\0.20.41218.2__76a274db078248c8\Microsoft.Stubs.Framework.dll
[+]Uninstrumented method 'System.Void Microsoft.Stubs.Framework.StubDelegates+Func`4..ctor(System.Object object, System.IntPtr method)' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
StubExtensions.UnCurry(Func`3<!!1,!!2,!!3>)
[+]MWarehouse.set_HasInventoryProductInt32(Func`3<Product,Int32,Boolean>), 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.Designer.cs (635)
            [global::Microsoft.Stubs.Framework.Moles.MoleMethod("HasInventory", global::Microsoft.Stubs.Framework.Moles.MoleBindingFlags.PublicInstance)]
            set
            {
                global::Microsoft.Stubs.Framework.Moles.MoleRuntime.SetStubPublicInstance((global::System.Delegate)(
                global::Microsoft.Stubs.Framework.StubExtensions.UnCurry<global::FabrikamSports.Warehouse, global::FabrikamSports.Product, int, bool>
                    (value)), typeof(global::FabrikamSports.Warehouse), base.Instance, "HasInventory", typeof(global::FabrikamSports.Product), typeof(int));
            }
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (30)
            var products = new PexChosenIndexedValue<Product, int>(this, "products");
            // Provide an implemenation for MWarehouse.HasInventory
            // Attach a mole of WareHouse type
            var wareHouse = new MWarehouse
                                {
                                    HasInventoryProductInt32 = (p, q) =>
                                                                   {
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
[+]Uninstrumented method 'System.Type System.Type.GetTypeFromHandle(System.RuntimeTypeHandle handle)' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
[+]MWarehouse.set_HasInventoryProductInt32(Func`3<Product,Int32,Boolean>), 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.Designer.cs (635)
            [global::Microsoft.Stubs.Framework.Moles.MoleMethod("HasInventory", global::Microsoft.Stubs.Framework.Moles.MoleBindingFlags.PublicInstance)]
            set
            {
                global::Microsoft.Stubs.Framework.Moles.MoleRuntime.SetStubPublicInstance((global::System.Delegate)(
                global::Microsoft.Stubs.Framework.StubExtensions.UnCurry<global::FabrikamSports.Warehouse, global::FabrikamSports.Product, int, bool>
                    (value)), typeof(global::FabrikamSports.Warehouse), base.Instance, "HasInventory", typeof(global::FabrikamSports.Product), typeof(int));
            }
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (30)
            var products = new PexChosenIndexedValue<Product, int>(this, "products");
            // Provide an implemenation for MWarehouse.HasInventory
            // Attach a mole of WareHouse type
            var wareHouse = new MWarehouse
                                {
                                    HasInventoryProductInt32 = (p, q) =>
                                                                   {
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
[+]Uninstrumented method '!0 Microsoft.Stubs.Framework.Moles.MoleBase`1.get_Instance()' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
[+]MWarehouse.set_HasInventoryProductInt32(Func`3<Product,Int32,Boolean>), 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.Designer.cs (635)
            [global::Microsoft.Stubs.Framework.Moles.MoleMethod("HasInventory", global::Microsoft.Stubs.Framework.Moles.MoleBindingFlags.PublicInstance)]
            set
            {
                global::Microsoft.Stubs.Framework.Moles.MoleRuntime.SetStubPublicInstance((global::System.Delegate)(
                global::Microsoft.Stubs.Framework.StubExtensions.UnCurry<global::FabrikamSports.Warehouse, global::FabrikamSports.Product, int, bool>
                    (value)), typeof(global::FabrikamSports.Warehouse), base.Instance, "HasInventory", typeof(global::FabrikamSports.Product), typeof(int));
            }
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (30)
            var products = new PexChosenIndexedValue<Product, int>(this, "products");
            // Provide an implemenation for MWarehouse.HasInventory
            // Attach a mole of WareHouse type
            var wareHouse = new MWarehouse
                                {
                                    HasInventoryProductInt32 = (p, q) =>
                                                                   {
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
[+]Uninstrumented method 'System.Void Microsoft.Stubs.Framework.Moles.MoleRuntime.SetStubPublicInstance(System.Delegate _stub, System.Type receiverType, System.Object _receiver, System.String name, System.Type[] parameterTypes)' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
[+]MWarehouse.set_HasInventoryProductInt32(Func`3<Product,Int32,Boolean>), 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.Designer.cs (638)
                global::Microsoft.Stubs.Framework.Moles.MoleRuntime.SetStubPublicInstance((global::System.Delegate)(
                global::Microsoft.Stubs.Framework.StubExtensions.UnCurry<global::FabrikamSports.Warehouse, global::FabrikamSports.Product, int, bool>
                    (value)), typeof(global::FabrikamSports.Warehouse), base.Instance, "HasInventory", typeof(global::FabrikamSports.Product), typeof(int));
            }
        }

        /// <summary>Sets the mole of <see cref="M:FabrikamSports.Warehouse.Remove(FabrikamSports.Product,System.Int32)"/>
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (30)
            var products = new PexChosenIndexedValue<Product, int>(this, "products");
            // Provide an implemenation for MWarehouse.HasInventory
            // Attach a mole of WareHouse type
            var wareHouse = new MWarehouse
                                {
                                    HasInventoryProductInt32 = (p, q) =>
                                                                   {
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
[+]Uninstrumented method 'System.Void System.ArgumentException..ctor()' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
[+]Order.Fill(Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy\Order.cs (36)
        {
            if (product == null)
            {
                throw new ArgumentException();
            }

            // Check if WareHouse has any inventory
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (40)
                                };

            // Run the fill method for the lifetime of the mole so it uses MWareHouse
            bool result = target.Fill(product, quantity);
            return result;
        }
    }
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
Test(1) : Fill01 , allowed ArgumentException , expectedexception
bool b;
Order s0 = new Order();
b = this.Fill(s0, (Product)null, 0);
return target != (Order)null && product == (Product)null;
Exception not caught by test:
ArgumentException: Value does not fall within the expected range. (FabrikamSports.Legacy)
paramName=,
[+]Order.Fill(Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy\Order.cs (36)
        {
            if (product == null)
            {
                throw new ArgumentException();
            }

            // Check if WareHouse has any inventory
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (40)
                                };

            // Run the fill method for the lifetime of the mole so it uses MWareHouse
            bool result = target.Fill(product, quantity);
            return result;
        }
    }
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
2010-01-04 10:30:17Z>coverage increased from 0 to 3 blocks (+3) after flipping FabrikamSports.OrderTest.Fill at 0x0037
guessed how to create FabrikamSports.Product
[+]Uninstrumented method 'System.Void System.Guid.CompleteGuid()' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
Guid.$stub$.ctor(Boolean)
Guid.$stub$NewGuid()
[+]Product..ctor(String, String), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy\Product.cs (32)
        {
            this.Name = productName;
            this.Description = description;
            this.ProductId = Guid.NewGuid();
        }

        /// <summary>
ProductFactory.Create(String, String)
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.ProductFactory.Create(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
Test(3) : Fill02
Product product;
bool b;
product = new Product((string)null, (string)null);
Order s0 = new Order();
b = this.Fill(s0, product, 0);
Assert.AreEqual<bool>(true, b);
Assert.IsNotNull((object)s0);
Product s0 = new;
return product == s0 && product != (Product)null && target != (Order)null;
return quantity < 1 && productName_s == (string)null;
2010-01-04 10:30:17Z>coverage increased from 3 to 52 blocks (+49) after flipping FabrikamSports.OrderTest.Fill at 0x0037
Test(4) : Fill03
Product product;
bool b;
product = new Product((string)null, (string)null);
Order s0 = new Order();
b = this.Fill(s0, product, 1);
Assert.AreEqual<bool>(false, b);
Assert.IsNotNull((object)s0);
Product s0 = new;
return product == s0 && product != (Product)null && target != (Order)null;
return 0 < quantity && productName_s == (string)null;
2010-01-04 10:30:17Z>coverage increased from 52 to 53 blocks (+1) after flipping FabrikamSports.Warehouse.HasInventory at 0x000a
[+]Uninstrumented method 'System.Boolean System.String.op_Equality(System.String a, System.String b)' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
[+]Warehouse.GetInventory(Product), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy\Warehouse.cs (106)
        /// <returns>Returns <see cref="bool"/></returns>
        private int GetInventory(Product product)
        {
            switch (product.Name)
            {
                case "Base Ball":
                    return this.BaseBalls.Count;
[+]Warehouse.HasInventory(Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy\Warehouse.cs (73)
            bool hasInventory = false;

            // Check the Inventory
            if (this.GetInventory(product) >= quantity)
            {
                hasInventory = true;
            }
[+]Order.Fill(Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy\Order.cs (41)
            // Check if WareHouse has any inventory
            Warehouse orderWareHouse = new Warehouse();
            if (orderWareHouse.HasInventory(product, quantity))
            {
                // Subtract the quantity from the product in the warehouse
                orderWareHouse.Remove(product, quantity);
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (40)
                                };

            // Run the fill method for the lifetime of the mole so it uses MWareHouse
            bool result = target.Fill(product, quantity);
            return result;
        }
    }
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
Test(5) : Fill04
Product product;
bool b;
product = new Product("Basket ball", (string)null);
Order s0 = new Order();
b = this.Fill(s0, product, 0);
Assert.AreEqual<bool>(true, b);
Assert.IsNotNull((object)s0);
Product s0 = new;
return product == s0 && product != (Product)null && target != (Order)null;
bool s0 = productName_s[0] == 'B';
bool s1 = productName_s[1] == 'a';
bool s2 = productName_s[2] == 's';
return productName_s != (string)null && quantity < 1 && (!s0 || productName_s.Length != 9 || !s1 || !s2 || productName_s[3] != 'e' || productName_s[4] != ' ' || productName_s[5] != 'B' || productName_s[6] != 'a' || productName_s[7] != 'l' || productName_s[8] != 'l') && (productName_s.Length != 11 || !s0 || !s1 || !s2 || productName_s[3] != 'k' || productName_s[4] != 'e' || productName_s[5] != 't' || productName_s[6] != ' ' || productName_s[7] != 'B' || productName_s[8] != 'a' || productName_s[9] != 'l' || productName_s[10] != 'l');
2010-01-04 10:30:18Z>coverage increased from 53 to 63 blocks (+10) after flipping FabrikamSports.Warehouse.GetInventory at 0x0008
[+]Uninstrumented method 'System.Boolean System.RuntimeType.get_ContainsGenericParameters()' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
Type.IsAssignableFrom(Type, Type)
Type.IsAssignableFrom___redirect(Type, Type)
EqualityComparer`1.$stub$CreateComparer()
EqualityComparer`1.get_Default()
Array.$stub$IndexOf(!!0[], !!0, Int32, Int32)
List`1.$stub$IndexOf(!0)
List`1.$stub$Remove(!0)
[+]Warehouse.Remove(Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy\Warehouse.cs (91)
            switch (product.Name)
            {
                case "Base Ball":
                    this.BaseBalls.Remove(product);
                    break;
                case "Basket Ball":
                    this.BasketBalls.Remove(product);
[+]Order.Fill(Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy\Order.cs (44)
            if (orderWareHouse.HasInventory(product, quantity))
            {
                // Subtract the quantity from the product in the warehouse
                orderWareHouse.Remove(product, quantity);
                return true;
            }
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (40)
                                };

            // Run the fill method for the lifetime of the mole so it uses MWareHouse
            bool result = target.Fill(product, quantity);
            return result;
        }
    }
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
[+]Uninstrumented method 'System.Boolean System.RuntimeType.get_IsGenericType()' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
EqualityComparer`1.$stub$CreateComparer()
EqualityComparer`1.get_Default()
Array.$stub$IndexOf(!!0[], !!0, Int32, Int32)
List`1.$stub$IndexOf(!0)
List`1.$stub$Remove(!0)
[+]Warehouse.Remove(Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy\Warehouse.cs (91)
            switch (product.Name)
            {
                case "Base Ball":
                    this.BaseBalls.Remove(product);
                    break;
                case "Basket Ball":
                    this.BasketBalls.Remove(product);
[+]Order.Fill(Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy\Order.cs (44)
            if (orderWareHouse.HasInventory(product, quantity))
            {
                // Subtract the quantity from the product in the warehouse
                orderWareHouse.Remove(product, quantity);
                return true;
            }
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (40)
                                };

            // Run the fill method for the lifetime of the mole so it uses MWareHouse
            bool result = target.Fill(product, quantity);
            return result;
        }
    }
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
[+]Uninstrumented method 'System.Boolean System.Object.Equals(System.Object obj)' called:
PathCoverageAndConditionBuilder.UninstrumentedCall(Int32, IMethodSignature, Term[])
EvolvingFrame.EndCall(Int32, EndCallKind)
InstructionInterpreter.AtCallFallthrough(Int32)
_Checks.AtCallFallthrough(Int32)
ObjectEqualityComparer`1.$stub$IndexOf(!0[], !0, Int32, Int32)
Array.$stub$IndexOf(!!0[], !!0, Int32, Int32)
List`1.$stub$IndexOf(!0)
List`1.$stub$Remove(!0)
[+]Warehouse.Remove(Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy\Warehouse.cs (91)
            switch (product.Name)
            {
                case "Base Ball":
                    this.BaseBalls.Remove(product);
                    break;
                case "Basket Ball":
                    this.BasketBalls.Remove(product);
[+]Order.Fill(Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy\Order.cs (44)
            if (orderWareHouse.HasInventory(product, quantity))
            {
                // Subtract the quantity from the product in the warehouse
                orderWareHouse.Remove(product, quantity);
                return true;
            }
[+]OrderTest.Fill(Order, Product, Int32), D:\Unit Testing\MSDN Article\Automated White Box Testing For Legacy Systems\Automated White Box Testing For Legacy Systems\SourceCode\FabrikamSports.Legacy.Moles.Tests\OrderTest.cs (40)
                                };

            // Run the fill method for the lifetime of the mole so it uses MWareHouse
            bool result = target.Fill(product, quantity);
            return result;
        }
    }
Microsoft.ExtendedReflection.__DynamicMethods.invoke:FabrikamSports.OrderTest.Fill(ITermConstructor`1<Term>, ITermDestructor`1<Term>, Term[])
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>)
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&)
PexPathDriver.InternalRun(Object)
PexPathDriver.Run(Object)
PexExplorationDriver.InternalExplore()
PexExplorationDriverBase.CheckedExploreInternal()
PexExplorationDriverBase.Execute()
PexExplorationDriverBase.Explore()
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase)
PexTestFrameworkDriver.ExecuteFixture(PexFixture)
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx)
PexDriver.ExecuteAssembly()
PexDriver.ExecuteAll()
PexDriver.ExecuteExplorationProtectedInSeparateStack()
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object)
ThreadHelper.ThreadStart_Context(Object)
ExecutionContext.Run(ExecutionContext, ContextCallback, Object)
ThreadHelper.ThreadStart(Object)
Test(6) : Fill05
Product product;
bool b;
product = new Product("Base Ball", (string)null);
Order s0 = new Order();
b = this.Fill(s0, product, 0);
Assert.AreEqual<bool>(true, b);
Assert.IsNotNull((object)s0);
Product s0 = new;
return product == s0 && product != (Product)null && target != (Order)null;
return productName_s != (string)null && quantity < 4 && productName_s[2] == 's' && productName_s[1] == 'a' && productName_s[0] == 'B' && productName_s.Length == 9 && productName_s[3] == 'e' && productName_s[4] == ' ' && productName_s[5] == 'B' && productName_s[6] == 'a' && productName_s[7] == 'l' && productName_s[8] == 'l';
2010-01-04 10:30:18Z>coverage increased from 63 to 70 blocks (+7) after flipping FabrikamSports.Warehouse.GetInventory at 0x0015
Test(7) : Fill06
Product product;
bool b;
product = new Product("Basket Ball", (string)null);
Order s0 = new Order();
b = this.Fill(s0, product, 0);
Assert.AreEqual<bool>(true, b);
Assert.IsNotNull((object)s0);
Product s0 = new;
return product == s0 && product != (Product)null && target != (Order)null;
return productName_s != (string)null && quantity < 4 && productName_s.Length == 11 && productName_s[0] == 'B' && productName_s[1] == 'a' && productName_s[2] == 's' && productName_s[3] == 'k' && productName_s[4] == 'e' && productName_s[5] == 't' && productName_s[6] == ' ' && productName_s[7] == 'B' && productName_s[8] == 'a' && productName_s[9] == 'l' && productName_s[10] == 'l';
2010-01-04 10:30:18Z>coverage increased from 70 to 77 blocks (+7) after flipping FabrikamSports.Warehouse.GetInventory at 0x0022

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