Observed Call Mismatches

EnumerableRewriter.ArgsMatch

EnumerableRewriter.ArgsMatch(MethodInfo, ReadOnlyCollection`1<Expression>, Type[]) initiated call, 
intended callee was RuntimeMethodInfo.GetParameters(), 
actually observed callee was Array.Copy(Array, Array, Int32),
and arguments of intended callee don't match actual callee;
did some intermediate methods not get instrumented?
See the help for further information.
--- Stack Trace
 
      at System.Void Microsoft.ExtendedReflection.Interpretation.States.Impl.Frame..ctor(Microsoft.ExtendedReflection.Interpretation.States.IThread thread, Microsoft.ExtendedReflection.Interpretation.States.IFrame prev, System.Int32 frameIndex, Microsoft.ExtendedReflection.Metadata.Method method, System.Boolean& needArguments) 
      at Microsoft.ExtendedReflection.Interpretation.States.IFrame Microsoft.Pex.Engine.States.EvolvingThread.CreateFrame(Microsoft.ExtendedReflection.Metadata.Method method, Microsoft.ExtendedReflection.Interpretation.States.IFrame previousFrame, System.Int32 frameIndex, System.Boolean& needArguments) 
      at Microsoft.ExtendedReflection.Interpretation.States.IFrame Microsoft.ExtendedReflection.Interpretation.States.Impl.Thread.Microsoft.ExtendedReflection.Interpretation.States.IThread.PushStackFrame(Microsoft.ExtendedReflection.Metadata.Method method, System.Boolean& needArguments) 
      at System.Boolean Microsoft.ExtendedReflection.Interpretation.Interpreter.InstructionInterpreter.EnterMethod(Microsoft.ExtendedReflection.Metadata.Method method) 
      at System.Boolean Microsoft.ExtendedReflection.Monitoring._Special.EnterMethod(Microsoft.ExtendedReflection.Metadata.Method method) 
      at System.Void System.Array.$stub$Copy(System.Array , System.Array , System.Int32 ) 
      at System.Reflection.ParameterInfo[] System.Reflection.RuntimeMethodInfo.GetParameters() 
      at System.Boolean System.Linq.EnumerableRewriter.ArgsMatch(System.Reflection.MethodInfo m, System.Collections.ObjectModel.ReadOnlyCollection`1<System.Linq.Expressions.Expression> args, System.Type[] typeArgs) 
      at System.Linq.Expressions.Expression System.Linq.EnumerableRewriter.VisitMethodCall(System.Linq.Expressions.MethodCallExpression m) 
      at System.Linq.Expressions.Expression System.Linq.Expressions.ExpressionVisitor.Visit(System.Linq.Expressions.Expression exp) 
      at System.Collections.Generic.IEnumerator`1<!0> System.Linq.EnumerableQuery`1.GetEnumerator() 
      at System.Collections.Generic.IEnumerator`1<!0> System.Linq.EnumerableQuery`1.System.Collections.Generic.IEnumerable<T>.GetEnumerator() 
      at System.Void System.Collections.Generic.List`1.$stub$.ctor(System.Collections.Generic.IEnumerable`1<!0> ) 
      at System.Collections.Generic.List`1<!!0> System.Linq.Enumerable.ToList(System.Collections.Generic.IEnumerable`1<!!0> source) 
    C:\src\ESP-Tester\ITTV\Episode6-Moles\MolesDemoPresent\Services\DAL\CustomersDAL.cs(29): at System.Collections.Generic.List`1<Services.DAL.vIndividualCustomer> Services.DAL.CustomersDAL.GetCustomersByCity(System.String city) 
    C:\src\ESP-Tester\ITTV\Episode6-Moles\MolesDemoPresent\Services.Tests\DAL\PexCustomersDALTest.cs(26): at System.Collections.Generic.List`1<Services.DAL.vIndividualCustomer> Services.DAL.PexCustomersDALTest.GetCustomersByCity(Services.DAL.CustomersDAL target, System.String city) 
      at Microsoft.ExtendedReflection.Interpretation.Term Microsoft.ExtendedReflection.__DynamicMethods.invoke:Services.DAL.PexCustomersDALTest.GetCustomersByCity(Microsoft.ExtendedReflection.DataAccess.ITermConstructor`1<Microsoft.ExtendedReflection.Interpretation.Term> , Microsoft.ExtendedReflection.DataAccess.ITermDestructor`1<Microsoft.ExtendedReflection.Interpretation.Term> , Microsoft.ExtendedReflection.Interpretation.Term[] ) 
      at System.Void Microsoft.Pex.Engine.PathExecution.PathExecutorBase.InternalRun(Microsoft.ExtendedReflection.DataAccess.ITermDestructor`1<Microsoft.ExtendedReflection.Interpretation.Term> destructor, Microsoft.Pex.Engine.PathExecution.PathSegmentPreparer segmentPreparer, Microsoft.Pex.Engine.PathExecution.PathSegmentReporter segmentReporter, System.Collections.Generic.IEnumerable`1<Microsoft.Pex.Engine.PathExecution.PathSegment> segments) 
      at System.Boolean Microsoft.Pex.Engine.PathExecution.PathExecutorBase.TryRun(Microsoft.Pex.Engine.PathExecution.PexPathExecutionResult& runResult, Microsoft.ExtendedReflection.Interpretation.ISubstitution& finalSubstitution, Microsoft.ExtendedReflection.Interpretation.States.IState& finalState) 
      at System.Boolean Microsoft.Pex.Engine.Drivers.PexPathDriver.InternalRun(System.Object concreteFixtureObject) 
      at System.Boolean Microsoft.Pex.Engine.Drivers.PexPathDriver.Run(System.Object concreteFixtureObject) 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriver.InternalExplore() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.CheckedExploreInternal() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.Execute() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.Explore() 
      at System.Void Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteExploration(Microsoft.Pex.Engine.PexExplorationBase exploration) 
      at System.Void Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteFixture(Microsoft.Pex.Engine.PexFixture fixture) 
      at System.Boolean Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteAssembly(Microsoft.ExtendedReflection.Metadata.AssemblyEx assemblyEx) 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteAssembly() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteAll() 
      at System.Int32 Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteExplorationProtectedInSeparateStack() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver+<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(System.Object arg) 
      at System.Void System.Threading.ThreadHelper.ThreadStart_Context(System.Object state) 
      at System.Void System.Threading.ExecutionContext.Run(System.Threading.ExecutionContext executionContext, System.Threading.ContextCallback callback, System.Object state) 
      at System.Void System.Threading.ThreadHelper.ThreadStart(System.Object obj)

EnumerableRewriter.FixupQuotedArgs

EnumerableRewriter.FixupQuotedArgs(MethodInfo, ReadOnlyCollection`1<Expression>) initiated call, 
intended callee was RuntimeMethodInfo.GetParameters(), 
actually observed callee was Array.Copy(Array, Array, Int32),
and arguments of intended callee don't match actual callee;
did some intermediate methods not get instrumented?
See the help for further information.
--- Stack Trace
 
      at System.Void Microsoft.ExtendedReflection.Interpretation.States.Impl.Frame..ctor(Microsoft.ExtendedReflection.Interpretation.States.IThread thread, Microsoft.ExtendedReflection.Interpretation.States.IFrame prev, System.Int32 frameIndex, Microsoft.ExtendedReflection.Metadata.Method method, System.Boolean& needArguments) 
      at Microsoft.ExtendedReflection.Interpretation.States.IFrame Microsoft.Pex.Engine.States.EvolvingThread.CreateFrame(Microsoft.ExtendedReflection.Metadata.Method method, Microsoft.ExtendedReflection.Interpretation.States.IFrame previousFrame, System.Int32 frameIndex, System.Boolean& needArguments) 
      at Microsoft.ExtendedReflection.Interpretation.States.IFrame Microsoft.ExtendedReflection.Interpretation.States.Impl.Thread.Microsoft.ExtendedReflection.Interpretation.States.IThread.PushStackFrame(Microsoft.ExtendedReflection.Metadata.Method method, System.Boolean& needArguments) 
      at System.Boolean Microsoft.ExtendedReflection.Interpretation.Interpreter.InstructionInterpreter.EnterMethod(Microsoft.ExtendedReflection.Metadata.Method method) 
      at System.Boolean Microsoft.ExtendedReflection.Monitoring._Special.EnterMethod(Microsoft.ExtendedReflection.Metadata.Method method) 
      at System.Void System.Array.$stub$Copy(System.Array , System.Array , System.Int32 ) 
      at System.Reflection.ParameterInfo[] System.Reflection.RuntimeMethodInfo.GetParameters() 
      at System.Collections.ObjectModel.ReadOnlyCollection`1<System.Linq.Expressions.Expression> System.Linq.EnumerableRewriter.FixupQuotedArgs(System.Reflection.MethodInfo mi, System.Collections.ObjectModel.ReadOnlyCollection`1<System.Linq.Expressions.Expression> argList) 
      at System.Linq.Expressions.Expression System.Linq.EnumerableRewriter.VisitMethodCall(System.Linq.Expressions.MethodCallExpression m) 
      at System.Linq.Expressions.Expression System.Linq.Expressions.ExpressionVisitor.Visit(System.Linq.Expressions.Expression exp) 
      at System.Collections.Generic.IEnumerator`1<!0> System.Linq.EnumerableQuery`1.GetEnumerator() 
      at System.Collections.Generic.IEnumerator`1<!0> System.Linq.EnumerableQuery`1.System.Collections.Generic.IEnumerable<T>.GetEnumerator() 
      at System.Void System.Collections.Generic.List`1.$stub$.ctor(System.Collections.Generic.IEnumerable`1<!0> ) 
      at System.Collections.Generic.List`1<!!0> System.Linq.Enumerable.ToList(System.Collections.Generic.IEnumerable`1<!!0> source) 
    C:\src\ESP-Tester\ITTV\Episode6-Moles\MolesDemoPresent\Services\DAL\CustomersDAL.cs(29): at System.Collections.Generic.List`1<Services.DAL.vIndividualCustomer> Services.DAL.CustomersDAL.GetCustomersByCity(System.String city) 
    C:\src\ESP-Tester\ITTV\Episode6-Moles\MolesDemoPresent\Services.Tests\DAL\PexCustomersDALTest.cs(26): at System.Collections.Generic.List`1<Services.DAL.vIndividualCustomer> Services.DAL.PexCustomersDALTest.GetCustomersByCity(Services.DAL.CustomersDAL target, System.String city) 
      at Microsoft.ExtendedReflection.Interpretation.Term Microsoft.ExtendedReflection.__DynamicMethods.invoke:Services.DAL.PexCustomersDALTest.GetCustomersByCity(Microsoft.ExtendedReflection.DataAccess.ITermConstructor`1<Microsoft.ExtendedReflection.Interpretation.Term> , Microsoft.ExtendedReflection.DataAccess.ITermDestructor`1<Microsoft.ExtendedReflection.Interpretation.Term> , Microsoft.ExtendedReflection.Interpretation.Term[] ) 
      at System.Void Microsoft.Pex.Engine.PathExecution.PathExecutorBase.InternalRun(Microsoft.ExtendedReflection.DataAccess.ITermDestructor`1<Microsoft.ExtendedReflection.Interpretation.Term> destructor, Microsoft.Pex.Engine.PathExecution.PathSegmentPreparer segmentPreparer, Microsoft.Pex.Engine.PathExecution.PathSegmentReporter segmentReporter, System.Collections.Generic.IEnumerable`1<Microsoft.Pex.Engine.PathExecution.PathSegment> segments) 
      at System.Boolean Microsoft.Pex.Engine.PathExecution.PathExecutorBase.TryRun(Microsoft.Pex.Engine.PathExecution.PexPathExecutionResult& runResult, Microsoft.ExtendedReflection.Interpretation.ISubstitution& finalSubstitution, Microsoft.ExtendedReflection.Interpretation.States.IState& finalState) 
      at System.Boolean Microsoft.Pex.Engine.Drivers.PexPathDriver.InternalRun(System.Object concreteFixtureObject) 
      at System.Boolean Microsoft.Pex.Engine.Drivers.PexPathDriver.Run(System.Object concreteFixtureObject) 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriver.InternalExplore() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.CheckedExploreInternal() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.Execute() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.Explore() 
      at System.Void Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteExploration(Microsoft.Pex.Engine.PexExplorationBase exploration) 
      at System.Void Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteFixture(Microsoft.Pex.Engine.PexFixture fixture) 
      at System.Boolean Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteAssembly(Microsoft.ExtendedReflection.Metadata.AssemblyEx assemblyEx) 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteAssembly() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteAll() 
      at System.Int32 Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteExplorationProtectedInSeparateStack() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver+<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(System.Object arg) 
      at System.Void System.Threading.ThreadHelper.ThreadStart_Context(System.Object state) 
      at System.Void System.Threading.ExecutionContext.Run(System.Threading.ExecutionContext executionContext, System.Threading.ContextCallback callback, System.Object state) 
      at System.Void System.Threading.ThreadHelper.ThreadStart(System.Object obj)

Expression.GetMethodBasedBinaryOperator.txt

Expression.GetMethodBasedBinaryOperator(ExpressionType, Expression, Expression, MethodInfo, Boolean) initiated call, 
intended callee was RuntimeMethodInfo.GetParameters(), 
actually observed callee was Array.Copy(Array, Array, Int32),
and arguments of intended callee don't match actual callee;
did some intermediate methods not get instrumented?
See the help for further information.
--- Stack Trace
 
      at System.Void Microsoft.ExtendedReflection.Interpretation.States.Impl.Frame..ctor(Microsoft.ExtendedReflection.Interpretation.States.IThread thread, Microsoft.ExtendedReflection.Interpretation.States.IFrame prev, System.Int32 frameIndex, Microsoft.ExtendedReflection.Metadata.Method method, System.Boolean& needArguments) 
      at Microsoft.ExtendedReflection.Interpretation.States.IFrame Microsoft.Pex.Engine.States.EvolvingThread.CreateFrame(Microsoft.ExtendedReflection.Metadata.Method method, Microsoft.ExtendedReflection.Interpretation.States.IFrame previousFrame, System.Int32 frameIndex, System.Boolean& needArguments) 
      at Microsoft.ExtendedReflection.Interpretation.States.IFrame Microsoft.ExtendedReflection.Interpretation.States.Impl.Thread.Microsoft.ExtendedReflection.Interpretation.States.IThread.PushStackFrame(Microsoft.ExtendedReflection.Metadata.Method method, System.Boolean& needArguments) 
      at System.Boolean Microsoft.ExtendedReflection.Interpretation.Interpreter.InstructionInterpreter.EnterMethod(Microsoft.ExtendedReflection.Metadata.Method method) 
      at System.Boolean Microsoft.ExtendedReflection.Monitoring._Special.EnterMethod(Microsoft.ExtendedReflection.Metadata.Method method) 
      at System.Void System.Array.$stub$Copy(System.Array , System.Array , System.Int32 ) 
      at System.Reflection.ParameterInfo[] System.Reflection.RuntimeMethodInfo.GetParameters() 
      at System.Linq.Expressions.BinaryExpression System.Linq.Expressions.Expression.GetMethodBasedBinaryOperator(System.Linq.Expressions.ExpressionType binaryType, System.Linq.Expressions.Expression left, System.Linq.Expressions.Expression right, System.Reflection.MethodInfo method, System.Boolean liftToNull) 
      at System.Linq.Expressions.BinaryExpression System.Linq.Expressions.Expression.Equal(System.Linq.Expressions.Expression left, System.Linq.Expressions.Expression right, System.Boolean liftToNull, System.Reflection.MethodInfo method) 
    C:\src\ESP-Tester\ITTV\Episode6-Moles\MolesDemoPresent\Services\DAL\CustomersDAL.cs(26): at System.Collections.Generic.List`1<Services.DAL.vIndividualCustomer> Services.DAL.CustomersDAL.GetCustomersByCity(System.String city) 
    C:\src\ESP-Tester\ITTV\Episode6-Moles\MolesDemoPresent\Services.Tests\DAL\PexCustomersDALTest.cs(26): at System.Collections.Generic.List`1<Services.DAL.vIndividualCustomer> Services.DAL.PexCustomersDALTest.GetCustomersByCity(Services.DAL.CustomersDAL target, System.String city) 
      at Microsoft.ExtendedReflection.Interpretation.Term Microsoft.ExtendedReflection.__DynamicMethods.invoke:Services.DAL.PexCustomersDALTest.GetCustomersByCity(Microsoft.ExtendedReflection.DataAccess.ITermConstructor`1<Microsoft.ExtendedReflection.Interpretation.Term> , Microsoft.ExtendedReflection.DataAccess.ITermDestructor`1<Microsoft.ExtendedReflection.Interpretation.Term> , Microsoft.ExtendedReflection.Interpretation.Term[] ) 
      at System.Void Microsoft.Pex.Engine.PathExecution.PathExecutorBase.InternalRun(Microsoft.ExtendedReflection.DataAccess.ITermDestructor`1<Microsoft.ExtendedReflection.Interpretation.Term> destructor, Microsoft.Pex.Engine.PathExecution.PathSegmentPreparer segmentPreparer, Microsoft.Pex.Engine.PathExecution.PathSegmentReporter segmentReporter, System.Collections.Generic.IEnumerable`1<Microsoft.Pex.Engine.PathExecution.PathSegment> segments) 
      at System.Boolean Microsoft.Pex.Engine.PathExecution.PathExecutorBase.TryRun(Microsoft.Pex.Engine.PathExecution.PexPathExecutionResult& runResult, Microsoft.ExtendedReflection.Interpretation.ISubstitution& finalSubstitution, Microsoft.ExtendedReflection.Interpretation.States.IState& finalState) 
      at System.Boolean Microsoft.Pex.Engine.Drivers.PexPathDriver.InternalRun(System.Object concreteFixtureObject) 
      at System.Boolean Microsoft.Pex.Engine.Drivers.PexPathDriver.Run(System.Object concreteFixtureObject) 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriver.InternalExplore() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.CheckedExploreInternal() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.Execute() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.Explore() 
      at System.Void Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteExploration(Microsoft.Pex.Engine.PexExplorationBase exploration) 
      at System.Void Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteFixture(Microsoft.Pex.Engine.PexFixture fixture) 
      at System.Boolean Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteAssembly(Microsoft.ExtendedReflection.Metadata.AssemblyEx assemblyEx) 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteAssembly() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteAll() 
      at System.Int32 Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteExplorationProtectedInSeparateStack() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver+<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(System.Object arg) 
      at System.Void System.Threading.ThreadHelper.ThreadStart_Context(System.Object state) 
      at System.Void System.Threading.ExecutionContext.Run(System.Threading.ExecutionContext executionContext, System.Threading.ContextCallback callback, System.Object state) 
      at System.Void System.Threading.ThreadHelper.ThreadStart(System.Object obj)

Expression.ValidateArgumentTypes

Expression.ValidateArgumentTypes(MethodInfo, ReadOnlyCollection`1<Expression>&) initiated call, 
intended callee was RuntimeMethodInfo.GetParameters(), 
actually observed callee was Array.Copy(Array, Array, Int32),
and arguments of intended callee don't match actual callee;
did some intermediate methods not get instrumented?
See the help for further information.
--- Stack Trace
 
      at System.Void Microsoft.ExtendedReflection.Interpretation.States.Impl.Frame..ctor(Microsoft.ExtendedReflection.Interpretation.States.IThread thread, Microsoft.ExtendedReflection.Interpretation.States.IFrame prev, System.Int32 frameIndex, Microsoft.ExtendedReflection.Metadata.Method method, System.Boolean& needArguments) 
      at Microsoft.ExtendedReflection.Interpretation.States.IFrame Microsoft.Pex.Engine.States.EvolvingThread.CreateFrame(Microsoft.ExtendedReflection.Metadata.Method method, Microsoft.ExtendedReflection.Interpretation.States.IFrame previousFrame, System.Int32 frameIndex, System.Boolean& needArguments) 
      at Microsoft.ExtendedReflection.Interpretation.States.IFrame Microsoft.ExtendedReflection.Interpretation.States.Impl.Thread.Microsoft.ExtendedReflection.Interpretation.States.IThread.PushStackFrame(Microsoft.ExtendedReflection.Metadata.Method method, System.Boolean& needArguments) 
      at System.Boolean Microsoft.ExtendedReflection.Interpretation.Interpreter.InstructionInterpreter.EnterMethod(Microsoft.ExtendedReflection.Metadata.Method method) 
      at System.Boolean Microsoft.ExtendedReflection.Monitoring._Special.EnterMethod(Microsoft.ExtendedReflection.Metadata.Method method) 
      at System.Void System.Array.$stub$Copy(System.Array , System.Array , System.Int32 ) 
      at System.Reflection.ParameterInfo[] System.Reflection.RuntimeMethodInfo.GetParameters() 
      at System.Void System.Linq.Expressions.Expression.ValidateArgumentTypes(System.Reflection.MethodInfo method, System.Collections.ObjectModel.ReadOnlyCollection`1<System.Linq.Expressions.Expression>& arguments) 
      at System.Void System.Linq.Expressions.Expression.ValidateCallArgs(System.Linq.Expressions.Expression instance, System.Reflection.MethodInfo method, System.Collections.ObjectModel.ReadOnlyCollection`1<System.Linq.Expressions.Expression>& arguments) 
      at System.Linq.Expressions.MethodCallExpression System.Linq.Expressions.Expression.Call(System.Linq.Expressions.Expression instance, System.Reflection.MethodInfo method, System.Collections.Generic.IEnumerable`1<System.Linq.Expressions.Expression> arguments) 
      at System.Linq.Expressions.MethodCallExpression System.Linq.Expressions.Expression.Call(System.Linq.Expressions.Expression instance, System.Reflection.MethodInfo method, System.Linq.Expressions.Expression[] arguments) 
      at System.Linq.IQueryable`1<!!0> System.Linq.Queryable.Where(System.Linq.IQueryable`1<!!0> source, System.Linq.Expressions.Expression`1<System.Func`2<!!0,System.Boolean>> predicate) 
    C:\src\ESP-Tester\ITTV\Episode6-Moles\MolesDemoPresent\Services\DAL\CustomersDAL.cs(26): at System.Collections.Generic.List`1<Services.DAL.vIndividualCustomer> Services.DAL.CustomersDAL.GetCustomersByCity(System.String city) 
    C:\src\ESP-Tester\ITTV\Episode6-Moles\MolesDemoPresent\Services.Tests\DAL\PexCustomersDALTest.cs(26): at System.Collections.Generic.List`1<Services.DAL.vIndividualCustomer> Services.DAL.PexCustomersDALTest.GetCustomersByCity(Services.DAL.CustomersDAL target, System.String city) 
      at Microsoft.ExtendedReflection.Interpretation.Term Microsoft.ExtendedReflection.__DynamicMethods.invoke:Services.DAL.PexCustomersDALTest.GetCustomersByCity(Microsoft.ExtendedReflection.DataAccess.ITermConstructor`1<Microsoft.ExtendedReflection.Interpretation.Term> , Microsoft.ExtendedReflection.DataAccess.ITermDestructor`1<Microsoft.ExtendedReflection.Interpretation.Term> , Microsoft.ExtendedReflection.Interpretation.Term[] ) 
      at System.Void Microsoft.Pex.Engine.PathExecution.PathExecutorBase.InternalRun(Microsoft.ExtendedReflection.DataAccess.ITermDestructor`1<Microsoft.ExtendedReflection.Interpretation.Term> destructor, Microsoft.Pex.Engine.PathExecution.PathSegmentPreparer segmentPreparer, Microsoft.Pex.Engine.PathExecution.PathSegmentReporter segmentReporter, System.Collections.Generic.IEnumerable`1<Microsoft.Pex.Engine.PathExecution.PathSegment> segments) 
      at System.Boolean Microsoft.Pex.Engine.PathExecution.PathExecutorBase.TryRun(Microsoft.Pex.Engine.PathExecution.PexPathExecutionResult& runResult, Microsoft.ExtendedReflection.Interpretation.ISubstitution& finalSubstitution, Microsoft.ExtendedReflection.Interpretation.States.IState& finalState) 
      at System.Boolean Microsoft.Pex.Engine.Drivers.PexPathDriver.InternalRun(System.Object concreteFixtureObject) 
      at System.Boolean Microsoft.Pex.Engine.Drivers.PexPathDriver.Run(System.Object concreteFixtureObject) 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriver.InternalExplore() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.CheckedExploreInternal() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.Execute() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.Explore() 
      at System.Void Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteExploration(Microsoft.Pex.Engine.PexExplorationBase exploration) 
      at System.Void Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteFixture(Microsoft.Pex.Engine.PexFixture fixture) 
      at System.Boolean Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteAssembly(Microsoft.ExtendedReflection.Metadata.AssemblyEx assemblyEx) 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteAssembly() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteAll() 
      at System.Int32 Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteExplorationProtectedInSeparateStack() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver+<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(System.Object arg) 
      at System.Void System.Threading.ThreadHelper.ThreadStart_Context(System.Object state) 
      at System.Void System.Threading.ExecutionContext.Run(System.Threading.ExecutionContext executionContext, System.Threading.ContextCallback callback, System.Object state) 
      at System.Void System.Threading.ThreadHelper.ThreadStart(System.Object obj)

Expression.ValidateLambdaArgs

Expression.ValidateLambdaArgs(Type, Expression&, ReadOnlyCollection`1<ParameterExpression>) initiated call, 
intended callee was RuntimeMethodInfo.GetParameters(), 
actually observed callee was Array.Copy(Array, Array, Int32),
and arguments of intended callee don't match actual callee;
did some intermediate methods not get instrumented?
See the help for further information.
--- Stack Trace
 
      at System.Void Microsoft.ExtendedReflection.Interpretation.States.Impl.Frame..ctor(Microsoft.ExtendedReflection.Interpretation.States.IThread thread, Microsoft.ExtendedReflection.Interpretation.States.IFrame prev, System.Int32 frameIndex, Microsoft.ExtendedReflection.Metadata.Method method, System.Boolean& needArguments) 
      at Microsoft.ExtendedReflection.Interpretation.States.IFrame Microsoft.Pex.Engine.States.EvolvingThread.CreateFrame(Microsoft.ExtendedReflection.Metadata.Method method, Microsoft.ExtendedReflection.Interpretation.States.IFrame previousFrame, System.Int32 frameIndex, System.Boolean& needArguments) 
      at Microsoft.ExtendedReflection.Interpretation.States.IFrame Microsoft.ExtendedReflection.Interpretation.States.Impl.Thread.Microsoft.ExtendedReflection.Interpretation.States.IThread.PushStackFrame(Microsoft.ExtendedReflection.Metadata.Method method, System.Boolean& needArguments) 
      at System.Boolean Microsoft.ExtendedReflection.Interpretation.Interpreter.InstructionInterpreter.EnterMethod(Microsoft.ExtendedReflection.Metadata.Method method) 
      at System.Boolean Microsoft.ExtendedReflection.Monitoring._Special.EnterMethod(Microsoft.ExtendedReflection.Metadata.Method method) 
      at System.Void System.Array.$stub$Copy(System.Array , System.Array , System.Int32 ) 
      at System.Reflection.ParameterInfo[] System.Reflection.RuntimeMethodInfo.GetParameters() 
      at System.Void System.Linq.Expressions.Expression.ValidateLambdaArgs(System.Type delegateType, System.Linq.Expressions.Expression& body, System.Collections.ObjectModel.ReadOnlyCollection`1<System.Linq.Expressions.ParameterExpression> parameters) 
      at System.Linq.Expressions.Expression`1<!!0> System.Linq.Expressions.Expression.Lambda(System.Linq.Expressions.Expression body, System.Collections.Generic.IEnumerable`1<System.Linq.Expressions.ParameterExpression> parameters) 
      at System.Linq.Expressions.Expression`1<!!0> System.Linq.Expressions.Expression.Lambda(System.Linq.Expressions.Expression body, System.Linq.Expressions.ParameterExpression[] parameters) 
    C:\src\ESP-Tester\ITTV\Episode6-Moles\MolesDemoPresent\Services\DAL\CustomersDAL.cs(26): at System.Collections.Generic.List`1<Services.DAL.vIndividualCustomer> Services.DAL.CustomersDAL.GetCustomersByCity(System.String city) 
    C:\src\ESP-Tester\ITTV\Episode6-Moles\MolesDemoPresent\Services.Tests\DAL\PexCustomersDALTest.cs(26): at System.Collections.Generic.List`1<Services.DAL.vIndividualCustomer> Services.DAL.PexCustomersDALTest.GetCustomersByCity(Services.DAL.CustomersDAL target, System.String city) 
      at Microsoft.ExtendedReflection.Interpretation.Term Microsoft.ExtendedReflection.__DynamicMethods.invoke:Services.DAL.PexCustomersDALTest.GetCustomersByCity(Microsoft.ExtendedReflection.DataAccess.ITermConstructor`1<Microsoft.ExtendedReflection.Interpretation.Term> , Microsoft.ExtendedReflection.DataAccess.ITermDestructor`1<Microsoft.ExtendedReflection.Interpretation.Term> , Microsoft.ExtendedReflection.Interpretation.Term[] ) 
      at System.Void Microsoft.Pex.Engine.PathExecution.PathExecutorBase.InternalRun(Microsoft.ExtendedReflection.DataAccess.ITermDestructor`1<Microsoft.ExtendedReflection.Interpretation.Term> destructor, Microsoft.Pex.Engine.PathExecution.PathSegmentPreparer segmentPreparer, Microsoft.Pex.Engine.PathExecution.PathSegmentReporter segmentReporter, System.Collections.Generic.IEnumerable`1<Microsoft.Pex.Engine.PathExecution.PathSegment> segments) 
      at System.Boolean Microsoft.Pex.Engine.PathExecution.PathExecutorBase.TryRun(Microsoft.Pex.Engine.PathExecution.PexPathExecutionResult& runResult, Microsoft.ExtendedReflection.Interpretation.ISubstitution& finalSubstitution, Microsoft.ExtendedReflection.Interpretation.States.IState& finalState) 
      at System.Boolean Microsoft.Pex.Engine.Drivers.PexPathDriver.InternalRun(System.Object concreteFixtureObject) 
      at System.Boolean Microsoft.Pex.Engine.Drivers.PexPathDriver.Run(System.Object concreteFixtureObject) 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriver.InternalExplore() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.CheckedExploreInternal() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.Execute() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexExplorationDriverBase.Explore() 
      at System.Void Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteExploration(Microsoft.Pex.Engine.PexExplorationBase exploration) 
      at System.Void Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteFixture(Microsoft.Pex.Engine.PexFixture fixture) 
      at System.Boolean Microsoft.Pex.Engine.TestFrameworks.PexTestFrameworkDriver.ExecuteAssembly(Microsoft.ExtendedReflection.Metadata.AssemblyEx assemblyEx) 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteAssembly() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteAll() 
      at System.Int32 Microsoft.Pex.Engine.Drivers.PexDriver.ExecuteExplorationProtectedInSeparateStack() 
      at System.Void Microsoft.Pex.Engine.Drivers.PexDriver+<>c__DisplayClass7.<ExecuteExplorationProtected>b__6(System.Object arg) 
      at System.Void System.Threading.ThreadHelper.ThreadStart_Context(System.Object state) 
      at System.Void System.Threading.ExecutionContext.Run(System.Threading.ExecutionContext executionContext, System.Threading.ContextCallback callback, System.Object state) 
      at System.Void System.Threading.ThreadHelper.ThreadStart(System.Object obj)