blob: 71dc149a0efcab0e9b97203ab044ca53b645afa9 (
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
|