From a3d28fd0c7d454667b6bea71a34b89e47b66d611 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Thu, 23 Sep 2010 02:03:11 +0000
Subject: Boogie: * Added /mv flag as the start of a Boogie replacement for
 /cev * Allow attributes on assume statements * /mv looks for the
 assume-statement attribute :captureState with a string-literal argument

---
 Test/test15/runtest.bat | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/Test/test15/runtest.bat b/Test/test15/runtest.bat
index 90771065..fc25c876 100644
--- a/Test/test15/runtest.bat
+++ b/Test/test15/runtest.bat
@@ -9,8 +9,8 @@ for %%f in (NullInModel IntInModel ModelTest) do (
   echo -------------------- %%f --------------------
   "%BGEXE%" %* %%f.bpl /printModel:2
 )
-for %%f in (InterpretedFunctionTests) do (
+for %%f in (InterpretedFunctionTests CaptureState) do (
   echo.
   echo -------------------- %%f --------------------
-  "%BGEXE%" %* %%f.bpl 
+  "%BGEXE%" %* %%f.bpl
 )
-- 
cgit v1.2.3