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