From 62069bee7147d2f5ef620c0309ef1048ca95d0a7 Mon Sep 17 00:00:00 2001
From: schaef <unknown>
Date: Wed, 18 Nov 2009 15:23:19 +0000
Subject: 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.

---
 Test/doomed/runtest.bat | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'Test/doomed/runtest.bat')

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
 )
-- 
cgit v1.2.3