How to use PEX in Visual Studio 2012

Question

VS 2010 powertools installation helped to use PEX & Moles in VS 2010. Now with VS 2012, I understand that Moles becomes enriched as Fakes but hopefully PEX is retained, please confirm. Also, how to use PEX in 2012. What needs to be installed (like VS 2010 powertool) to get that working for 2012. Thanks !!

Answer 1

As far as I know, they are waiting for a final version of Visual Studio 2012 to release a version of Pex compatible with it. I can't understand why Microsoft doesn't make this things clear... :/

Answer 2

Below are the comments from http://visualstudiogallery.msdn.microsoft.com/fb5badda-4ea3-4314-a723-a1975cbdabb4

Pex for Visual Studio 2012 2 Posts | Last Post April 23, 2013

Written April 23, 2013 Flynn Hi, I am wondering: There is PEX for Visual Studio 2010, there is Code Digger for Visual Studio 2012 and portable libraries but there is nothing for Visual Studio 2012 and all the the other library formats. Why is that?

Written April 23, 2013 Nikolai Tillmann Code Digger (for Portable Class Libraries) is the first Visual Studio extension from the Pex Team for Visual Studio 2012. Stay tuned for future extensions that bring more aspects of the rich experience of the Pex Visual Studio 2010 Power Tools to the latest version of Visual Studio. If you are looking for a particular Pex feature for Visual Studio 2012, drop as an email at [email protected].*

Answer 3

Looks like they introduced Code Digger. From the PEX webpage:

Code Digger for Visual Studio 2012 is a lightweight version of Pex that allows you to explore public .NET methods in Portable Class Libraries directly from the code editor.