[+]System.ArgumentException, 1 sites, 0 unexpected, 1 expected
[+]Order.Fill(Product, Int32), 1 tests
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), 1 tests
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[]), 1 tests
PathExecutorBase.InternalRun(ITermDestructor`1<Term>, PathSegmentPreparer, PathSegmentReporter, IEnumerable`1<PathSegment>), 1 tests
PathExecutorBase.TryRun(PexPathExecutionResult&, ISubstitution&, IState&), 1 tests
PexPathDriver.InternalRun(Object), 1 tests
PexPathDriver.Run(Object), 1 tests
PexExplorationDriver.InternalExplore(), 1 tests
PexExplorationDriverBase.CheckedExploreInternal(), 1 tests
PexExplorationDriverBase.Execute(), 1 tests
PexExplorationDriverBase.Explore(), 1 tests
PexTestFrameworkDriver.ExecuteExploration(PexExplorationBase), 1 tests
PexTestFrameworkDriver.ExecuteFixture(PexFixture), 1 tests
PexTestFrameworkDriver.ExecuteAssembly(AssemblyEx), 1 tests
PexDriver.ExecuteAssembly(), 1 tests
PexDriver.ExecuteAll(), 1 tests
PexDriver.ExecuteExplorationProtectedInSeparateStack(), 1 tests
<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(Object), 1 tests
ThreadHelper.ThreadStart_Context(Object), 1 tests
ExecutionContext.Run(ExecutionContext, ContextCallback, Object), 1 tests

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