blob: 7e597fd49ee376d7659087b3097b62838a99b845 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
@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
echo.
echo -------------------- BreadthFirstSearch.dfy --------------------
%DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp /vcsMaxKeepGoingSplits:10 %* 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 )
|
