Microsoft.Boogie does not exist

Oct 26, 2013 at 12:31 AM
Good evening;

I download the source code of dafny but when I open source code with Visual Studio I have this code error.

The type or namespace name 'Boogie' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?)

How Can I solve this problem ?

Oct 28, 2013 at 9:15 AM

you need to download and build Boogie ( first.

Best regards,