diff options
| author |  Rustan Leino <unknown> | 2013-03-05 17:01:25 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-03-05 17:01:25 -0800 |
| commit | 9f7c11c0a12a9b802f23d613abeee91a2fb47743 (patch) | |
| tree | ff0c5ffd982094c5d03828f1332be03a4d66b4ea /Test/runtestdafny.bat | |
| parent | c819fabbb8da669952cb7e2e5937c73ff6dcfabe (diff) | |
Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codeplex repositories.
Diffstat (limited to 'Test/runtestdafny.bat')
| -rw-r--r-- | Test/runtestdafny.bat | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Test/runtestdafny.bat b/Test/runtestdafny.bat deleted file mode 100644 index df633681..00000000 --- a/Test/runtestdafny.bat +++ /dev/null @@ -1,8 +0,0 @@ -@echo off
-setlocal
-
-set errors=0
-
-for /F "eol=; tokens=1,2,3*" %%i in (dafnytests.txt) do if %%j==Use call runtest.bat %%i %1 %2 %3 %4 %5 %6 %7 %8 %9 || set errors=1
-
-exit /b %errors%
|