Parameter Values
Copy To Clipboard
|
---|
Run | target | product | quantity | result(target) | result | Coverage | +/- Cov. | Summary/Exception | Test Name |
---|
1 | new Order{} | null | 0 | | | 3/9 | +3/+9 | ArgumentException:
Value does not fall within the expected range.
(FabrikamSports.Legacy)
| test | 3 | new Order{} | new Product{ProductId=509fbd70-c244-4933-a7ce-f7ffcf31d52f,Name=null,Description=null} | 0 | new Order{} | true | 52/75 | +49/+66 | | test | 4 | new Order{} | new Product{ProductId=97d066a6-7a66-49f1-9930-455e986aaaef,Name=null,Description=null} | 1 | new Order{} | false | 53/75 | +1/- | | test | 5 | new Order{} | new Product{ProductId=cb5b80aa-ab3d-4652-9540-49d8a4fc3e61,Name="Basket ball",Description=null} | 0 | new Order{} | true | 63/75 | +10/- | | test | 6 | new Order{} | new Product{ProductId=c63a91a2-130a-4679-acbd-6440923f6d31,Name="Base Ball",Description=null} | 0 | new Order{} | true | 70/76 | +7/+1 | | test | 7 | new Order{} | new Product{ProductId=730fb361-d0a1-4fd4-a804-2f0116eae99a,Name="Basket Ball",Description=null} | 0 | new Order{} | true | 77/77 | +7/+1 | | test |
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)
[+]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 |
|