From 42d8a89ea406dc001dfd83af2e2d66f5ed813cc7 Mon Sep 17 00:00:00 2001 From: wuestholz Date: Wed, 18 Dec 2013 11:14:19 +0100 Subject: Add support for the /verifySeparately flag in Boogie and change most tests to use it. --- Test/vacid0/runtest.bat | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'Test/vacid0') diff --git a/Test/vacid0/runtest.bat b/Test/vacid0/runtest.bat index 63fd2001..d7f31c3b 100644 --- a/Test/vacid0/runtest.bat +++ b/Test/vacid0/runtest.bat @@ -4,8 +4,10 @@ setlocal set BINARIES=..\..\Binaries set DAFNY_EXE=%BINARIES%\Dafny.exe -for %%f in (LazyInitArray.dfy SparseArray.dfy Composite.dfy) do ( - echo. - echo -------------------- %%f -------------------- - %DAFNY_EXE% /compile:0 %* %%f -) +%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 ) -- cgit v1.2.3