blob: 5d7953cc22c60af728d04c633c04e992d302bb5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
@echo off
setlocal
set BINARIES=..\..\Binaries
set DAFNY_EXE=%BINARIES%\Dafny.exe
%DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp /verifySeparately %* Two-Way-Sort.dfy Combinators.dfy RingBuffer.dfy RingBufferAuto.dfy Tree.dfy BreadthFirstSearch.dfy
rem for %%f in (
rem Two-Way-Sort.dfy
rem Combinators.dfy
rem RingBuffer.dfy RingBufferAuto.dfy
rem Tree.dfy
rem BreadthFirstSearch.dfy
rem ) do (
rem echo.
rem echo -------------------- %%f --------------------
rem %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f
rem )
|
