When I use the (Dafny==>Complile) inside MVS 2012, it generates files .cs .dll and .pdb. However it do not generate the .exe file, in spite that the program has a method Main. I remembered that my installation in other computer generated .exe files. Migth I configure something for that?
↧