Dafny VS integration and Windows 10

Sep 26, 2015 at 7:36 PM
Hi,

I recently upgraded to Windows 10, installed Z3 and Dafny and the Language Service for VS2012. However, the integrated dafny now reports "Verification inconclusive" for all methods while the command line tool works fine for the same file.

Any ideas?

Andreas
Oct 1, 2015 at 4:52 AM
Hi, Andreas,

I ran into this some time ago as well (using Windows 7). I fixed it by copying the z3.exe and supporting .dll files into the directory where VS2012 installs the Dafny extension files (in C:/Users/<username>/AppData/Local/Microsoft/VisualStudio/11.0/Extensions/... .)
  • Rajeev
Oct 1, 2015 at 9:28 AM
Hi Rajeev,

thanks a lot, I tried it but it did not work for me / windows 10, maybe I missed something.
A student of ours just found another solution - installing the visual c++ redistributable packages both the x64 and x86 version.

Andreas