From 1f267ac0d7daf434ed4db31d23914428149297bc Mon Sep 17 00:00:00 2001 From: Unknown Date: Thu, 14 Jun 2012 13:34:20 -0700 Subject: Dafny: cleaned up test scripts a little --- Test/VSI-Benchmarks/runtest.bat | 2 -- 1 file changed, 2 deletions(-) (limited to 'Test/VSI-Benchmarks') diff --git a/Test/VSI-Benchmarks/runtest.bat b/Test/VSI-Benchmarks/runtest.bat index 611f9251..f5b9d1b9 100644 --- a/Test/VSI-Benchmarks/runtest.bat +++ b/Test/VSI-Benchmarks/runtest.bat @@ -3,8 +3,6 @@ setlocal set BOOGIEDIR=..\..\Binaries set DAFNY_EXE=%BOOGIEDIR%\Dafny.exe -set BPLEXE=%BOOGIEDIR%\Boogie.exe -set CSC=c:/Windows/Microsoft.NET/Framework/v4.0.30319/csc.exe for %%f in (b1.dfy b2.dfy b3.dfy b4.dfy b5.dfy b6.dfy b7.dfy b8.dfy) do ( echo. -- cgit v1.2.3