diff options
author | schaef <unknown> | 2009-11-18 15:23:19 +0000 |
---|---|---|
committer | schaef <unknown> | 2009-11-18 15:23:19 +0000 |
commit | 62069bee7147d2f5ef620c0309ef1048ca95d0a7 (patch) | |
tree | b0bff0f8f8e789d0f2b24588cf14255b0e46fe78 /Test/doomed/runtest.bat | |
parent | d64c97865ea76d67e0c9a0590a9a3b26bba10c9e (diff) |
modified the doom checking. It is now able to report only the relevant statements and writes them the stdout. Line numbers are only displayed for bpl input.
Diffstat (limited to 'Test/doomed/runtest.bat')
-rw-r--r-- | Test/doomed/runtest.bat | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Test/doomed/runtest.bat b/Test/doomed/runtest.bat index 215804cf..9dda44cf 100644 --- a/Test/doomed/runtest.bat +++ b/Test/doomed/runtest.bat @@ -4,7 +4,12 @@ setlocal set BOOGIEDIR=..\..\Binaries
set BGEXE=%BOOGIEDIR%\Boogie.exe
-for %%f in (smoke0.bpl) do (
+for %%f in (doomed.bpl) do (
+ echo -------------------- %%f --------------------
+ %BGEXE% /vc:doomed %* %%f
+)
+
+for %%f in (notdoomed.bpl) do (
echo -------------------- %%f --------------------
%BGEXE% /vc:doomed %* %%f
)
|