diff options
author | schaef <unknown> | 2009-11-02 13:23:48 +0000 |
---|---|---|
committer | schaef <unknown> | 2009-11-02 13:23:48 +0000 |
commit | 1787f47733a1f656b95e14ba881d7c3089b1b048 (patch) | |
tree | 5a5708eb988a33269f18ed66bfdc23452785c254 /Test/doomed/runtest.bat | |
parent | eb1598e70398a9449613dbce7b3f4617b6558eb0 (diff) |
vc:doomed does not use the console anymore to report results
added first test cases for doomed (including the ones from smoke)
minor bug fixes
minor speed-ups
Diffstat (limited to 'Test/doomed/runtest.bat')
-rw-r--r-- | Test/doomed/runtest.bat | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Test/doomed/runtest.bat b/Test/doomed/runtest.bat new file mode 100644 index 00000000..215804cf --- /dev/null +++ b/Test/doomed/runtest.bat @@ -0,0 +1,11 @@ +@echo off
+setlocal
+
+set BOOGIEDIR=..\..\Binaries
+set BGEXE=%BOOGIEDIR%\Boogie.exe
+
+for %%f in (smoke0.bpl) do (
+ echo -------------------- %%f --------------------
+ %BGEXE% /vc:doomed %* %%f
+)
+
|