Smart Unit Tests: What is the correct way to link to Microsoft.Pex.Framework.dll?

Question

Smart device tests require a link to Microsoft.Pex.Framework.dll . On my machine, this file is located in C:\Program Files (x86)\Microsoft Visual Studio 14.0\Common7\IDE\Extensions\Microsoft\Pex\Microsoft.Pex.Framework.dll .

I don't think the correct way to link to a file is:

• This is the private data of the Visual Studio extension. Developers probably shouldn't be in this folder.
• The path depends on the VS version and OS language.

What is the correct way to link Microsoft.Pex.Framework.dll in Visual Studio Smart Unit Tests projects?

Answer 1

So far, the link to the path is the only option. I'll see if we can make it available as a NuGet package.

Answer 2

It would be great if it were like a NuGet package, otherwise the assembly would fail on MSBuild clean lines due to the lack of a link.