diff options
Diffstat (limited to 'Jennisys/Jennisys/scripts/StartDafny-jen.bat')
| -rw-r--r-- | Jennisys/Jennisys/scripts/StartDafny-jen.bat | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Jennisys/Jennisys/scripts/StartDafny-jen.bat b/Jennisys/Jennisys/scripts/StartDafny-jen.bat deleted file mode 100644 index 6f44ec4c..00000000 --- a/Jennisys/Jennisys/scripts/StartDafny-jen.bat +++ /dev/null @@ -1,2 +0,0 @@ -@echo off
-"c:/boogie/Binaries/Dafny.exe" -nologo -compile:0 /print:xxx.bpl -timeLimit:60 %* > c:\tmp\jen-doo.out
|