Parameterized Unit Testing with Microsoft Pex Tutorial - differences between 0.93 and 0.94?

Question

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:

[

 

assembly: PexAssemblyUnderTest("Creditar")]

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?

Thanks in advance,

Steph

Answer 1

Yes, there were changes that cause Pex to instrument more code by default. Sorry for the confusion, and thanks for the feedback on the outdated tutorial.

---

Nikolai Tillmann