blob: 41971d4e9e2a8902eef027d8c6d8747ea9a2c50f (
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 /verifySeparately /dprint:out.dfy.tmp %* Iter.dfy Streams.dfy Dijkstra.dfy CachedContainer.dfy SimpleInduction.dfy SimpleCoinduction.dfy CalcExample.dfy InductionVsCoinduction.dfy Zip.dfy SetIterations.dfy Paulson.dfy Filter.dfy WideTrees.dfy InfiniteTrees.dfy OpaqueTrees.dfy GenericSort.dfy
rem for %%f in (
rem Iter.dfy Streams.dfy Dijkstra.dfy CachedContainer.dfy
rem SimpleInduction.dfy SimpleCoinduction.dfy CalcExample.dfy
rem InductionVsCoinduction.dfy Zip.dfy SetIterations.dfy
rem Paulson.dfy Filter.dfy WideTrees.dfy InfiniteTrees.dfy
rem OpaqueTrees.dfy GenericSort.dfy
rem ) do (
rem echo.
rem echo -------------------- %%f --------------------
rem %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f
rem )
|