blob: 2313e4d8375859ad3619dc208f06bd1f74842309 (
plain)
1
2
3
4
5
6
7
8
9
10
|
@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
|
