No input files with Dafny ?

Jan 14, 2013 at 3:31 AM

Hi guys,

I am a newer of dafny, after I download dafny code and run it on Visual studio, it shows "No input files", but I have already put the files in the same directory of dafny project, does anyone have solutions to this ? Thanks...