From c250f55e7af88a3671262e2c0522664f299ef2f2 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Wed, 14 Sep 2011 16:28:25 +0200
Subject: Added "free call" statements that don't check the precondition in the
 caller.

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

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

diff --git a/Test/test2/runtest.bat b/Test/test2/runtest.bat
index c9d4feac..3dc7d0c3 100644
--- a/Test/test2/runtest.bat
+++ b/Test/test2/runtest.bat
@@ -11,7 +11,7 @@ for %%f in (FormulaTerm.bpl FormulaTerm2.bpl Passification.bpl B.bpl
             strings-no-where.bpl strings-where.bpl
             Structured.bpl Where.bpl UpdateExpr.bpl
             NeverPattern.bpl NullaryMaps.bpl Implies.bpl
-	    IfThenElse1.bpl Lambda.bpl LambdaPoly.bpl SelectiveChecking.bpl) do (
+            IfThenElse1.bpl Lambda.bpl LambdaPoly.bpl SelectiveChecking.bpl FreeCall.bpl) do (
   echo.
   echo -------------------- %%f --------------------
   %BGEXE% %* /noinfer %%f
@@ -24,7 +24,7 @@ for %%f in (Arrays.bpl Lambda.bpl TypeEncodingM.bpl ) do (
 )
 
 echo -------------------- sk_hack.bpl --------------------
-%BGEXE% %* /noinfer /bv:z sk_hack.bpl 
+%BGEXE% %* /noinfer /bv:z sk_hack.bpl
 
 for %%f in (CallForall.bpl ContractEvaluationOrder.bpl) do (
   echo.
-- 
cgit v1.2.3