When going through
http://research.microsoft.com/en-us/projects/pex/pextutorial.docx, I get to Exercise 4, Task 2, and do not get the expected results. The tutorial states that I should see one input - null - and then using the "uninstrumented methods" link in the pex window,
instruct Pex to instrument the Creditar assembly. However, I get several more inputs. My PexAssemblyInfo.cs class contains:
Which - according to the wiki - also instruments the assembly. Is this discrepancy due to differences between 0.93 (which is the version the tutorial is written for) and 0.94? Or have I done something else wrong?