diff options
author | Rustan Leino <leino@microsoft.com> | 2012-10-04 19:26:54 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2012-10-04 19:26:54 -0700 |
commit | 5558ba719abd8c9f6184e9d1b70afccfec649a6d (patch) | |
tree | 5c0538b126f5980a542eba3b99f9ef59b02a379b /Test/VSI-Benchmarks | |
parent | a4af24114ae44ee34246fdc8bd16ce05d5518c20 (diff) |
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
Diffstat (limited to 'Test/VSI-Benchmarks')
-rw-r--r-- | Test/VSI-Benchmarks/runtest.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/VSI-Benchmarks/runtest.bat b/Test/VSI-Benchmarks/runtest.bat index 8f6dfc40..bbb9e3d7 100644 --- a/Test/VSI-Benchmarks/runtest.bat +++ b/Test/VSI-Benchmarks/runtest.bat @@ -2,7 +2,7 @@ setlocal
set BINARIES=..\..\Binaries
-set DAFNY_EXE=%BINARIES\Dafny.exe
+set DAFNY_EXE=%BINARIES%\Dafny.exe
for %%f in (b1.dfy b2.dfy b3.dfy b4.dfy b5.dfy b6.dfy b7.dfy b8.dfy) do (
echo.
|