blob: 2cfcdafb718d6675ed22d6dec73946571e9869d2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
@echo off
setlocal
set BINARIES=..\..\Binaries
set DAFNY_EXE=%BINARIES%\Dafny.exe
%DAFNY_EXE% /compile:0 /verifySeparately %* Problem1-SumMax.dfy Problem2-Invert.dfy Problem3-FindZero.dfy Problem4-Queens.dfy Problem5-DoubleEndedQueue.dfy
rem for %%f in (Problem1-SumMax.dfy Problem2-Invert.dfy
rem Problem3-FindZero.dfy Problem4-Queens.dfy
rem Problem5-DoubleEndedQueue.dfy) do (
rem echo.
rem echo -------------------- %%f --------------------
rem %DAFNY_EXE% /compile:0 %* %%f
rem )
|