blob: d7f31c3ba57f8fef54f515ab432d5827fb6c6ce0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
@echo off
setlocal
set BINARIES=..\..\Binaries
set DAFNY_EXE=%BINARIES%\Dafny.exe
%DAFNY_EXE% /compile:0 /verifySeparately %* LazyInitArray.dfy SparseArray.dfy Composite.dfy
rem for %%f in (LazyInitArray.dfy SparseArray.dfy Composite.dfy) do (
rem echo.
rem echo -------------------- %%f --------------------
rem %DAFNY_EXE% /compile:0 %* %%f
rem )
|
