blob: 8fc7ccbbd5f02b3a4fa3e7fc66cd04099f5ca1b8 (
plain)
1
2
3
4
5
6
7
|
@echo off
setlocal
set BINARIES=..\..\Binaries
set DAFNY_EXE=%BINARIES%\Dafny.exe
%DAFNY_EXE% /compile:0 /verifySeparately /dprint:out.dfy.tmp %* CloudMake-ParallelBuilds.dfy CloudMake-CachedBuilds.dfy CloudMake-ConsistentBuilds.dfy
|