diff options
Diffstat (limited to 'Util/VS2010/Dafny/StartDafny.bat')
| -rw-r--r-- | Util/VS2010/Dafny/StartDafny.bat | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/Util/VS2010/Dafny/StartDafny.bat b/Util/VS2010/Dafny/StartDafny.bat deleted file mode 100644 index 71dc149a..00000000 --- a/Util/VS2010/Dafny/StartDafny.bat +++ /dev/null @@ -1,10 +0,0 @@ -@echo off
-echo ---------- Starting ------------ < nul >> c:\tmp\doo.out
-time < nul >> c:\tmp\doo.out
-echo. < nul >> c:\tmp\doo.out
-
-"c:\boogie\Binaries\Dafny.exe" -nologo stdin.dfy -compile:0 -timeLimit:10 %* 2>> c:\tmp\doo.out
-
-time < nul >> c:\tmp\doo.out
-echo. < nul >> c:\tmp\doo.out
-echo ---------- Done ------------ < nul >> c:\tmp\doo.out
|