Microsoft.Boogie does not exist

Oct 25, 2013 at 11:31 PM
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 ?

Regards,
Developer
Oct 28, 2013 at 8:15 AM
Hi,

you need to download and build Boogie (https://boogie.codeplex.com/) first.

Best regards,

Valentin