Bug Fix: Code Contracts compile error in Visual Studio 2015 and Windows 10

September 16, 2015, (updated on October 2, 2015), 1 comment, Software Development

Recently, I had the following compile error in a fresh Visual Studio 2015 installation on Windows 10. The project in question had Code Contracts enabled. The problem was a .targets file with an invalid path:

1>  The system cannot find the path specified.
1>C:\Program Files (x86)\Microsoft\Contracts\MsBuild\v14.0\Microsoft.CodeContracts.targets(296,5): 
  error MSB3073: The command ""C:\Program Files (x86)\Microsoft SDKs\Windows\v8.1A\bin\
  NETFX 4.6 Tools\sn.exe" /R "obj\Debug\MyToolkit.dll" "Default.snk"" exited with code 3.

To fix this problem, open the file

C:\Program Files (x86)\Microsoft\Contracts\MsBuild\v14.0\Microsoft.CodeContracts.targets

in Administrator mode and change

$(MSBuildProgramFiles32)\Microsoft SDKs\Windows\v8.1A\bin\NETFX 4.6 Tools\sn.exe


$(MSBuildProgramFiles32)\Microsoft SDKs\Windows\v10.0A\bin\NETFX 4.6 Tools\sn.exe

This problem should be fixed in the next release of Code contracts, check out this pull request.

Tweet about this on TwitterShare on FacebookEmail this to someoneShare on TumblrShare on LinkedIn

Tags: , , , ,

One response to “Bug Fix: Code Contracts compile error in Visual Studio 2015 and Windows 10”

  1. Mikkel Lund says:

    Thank you so very much. I had this exact problem, and using this fix removed the problem. Thumbs up!

Leave a Reply

Your email address will not be published. Required fields are marked *

To create code blocks or other preformatted text, indent by four spaces:

    This will be displayed in a monospaced font. The first four 
    spaces will be stripped off, but all other whitespace
    will be preserved.
    Markdown is turned off in code blocks:
     [This is not a link](http://example.com)

To create not a block, but an inline code span, use backticks:

Here is some inline `code`.

For more help see http://daringfireball.net/projects/markdown/syntax