From 5558ba719abd8c9f6184e9d1b70afccfec649a6d Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Thu, 4 Oct 2012 19:26:54 -0700 Subject: Fixed some goof-ups in the test script edits Changed the test output to make it easier to spot (in the console output) that everything passed with success or if there were any failures --- Test/dafny2/runtest.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Test/dafny2') diff --git a/Test/dafny2/runtest.bat b/Test/dafny2/runtest.bat index 126b6001..72706d8f 100644 --- a/Test/dafny2/runtest.bat +++ b/Test/dafny2/runtest.bat @@ -2,7 +2,7 @@ setlocal set BINARIES=..\..\Binaries -set DAFNY_EXE=%BINARIES\Dafny.exe +set DAFNY_EXE=%BINARIES%\Dafny.exe REM soon again: SnapshotableTrees.dfy for %%f in ( -- cgit v1.2.3