StartDafny-jen.bat « scripts « Jennisys « Source - debian-dafny - Debian packaging for Dafny

summary refs log tree commit diff

path: root/Source/Jennisys/scripts/StartDafny-jen.bat

blob: 6f44ec4c8285ec5a94e06b96772555aaf9b49c77 (plain)

1 2	`@echo off "c:/boogie/Binaries/Dafny.exe" -nologo -compile:0 /print:xxx.bpl -timeLimit:60 %* > c:\tmp\jen-doo.out`