diff options
| author |  wuestholz <unknown> | 2011-12-07 17:03:09 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2011-12-07 17:03:09 +0100 |
| commit | dbd64a4976f90f472f8edb7a846edc00716644a8 (patch) | |
| tree | 102141d5a4808480cf72498c384500782bae1190 /Test/runtestdafny.bat | |
| parent | 5c2205250c6f141cf61fdec89929d93b78e8472c (diff) | |
Dafny: Added a separate script to run all Dafny tests.
Diffstat (limited to 'Test/runtestdafny.bat')
| -rw-r--r-- | Test/runtestdafny.bat | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Test/runtestdafny.bat b/Test/runtestdafny.bat new file mode 100644 index 00000000..df633681 --- /dev/null +++ b/Test/runtestdafny.bat @@ -0,0 +1,8 @@ +@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%
|