From 08e368784c1ae629d870db6b09edadbef306e1d6 Mon Sep 17 00:00:00 2001 From: qadeer Date: Sat, 30 Jan 2010 19:33:10 +0000 Subject: Fixed the implementation of inlining to deal with inlining depth properly. --- Test/inline/runtest.bat | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Test/inline/runtest.bat') diff --git a/Test/inline/runtest.bat b/Test/inline/runtest.bat index 209845e6..335c857d 100644 --- a/Test/inline/runtest.bat +++ b/Test/inline/runtest.bat @@ -8,12 +8,12 @@ for %%f in (test0.bpl) do ( %BGEXE% %* %%f ) -for %%f in (test1.bpl test2.bpl test3.bpl test4.bpl) do ( +for %%f in (test1.bpl test2.bpl test3.bpl test4.bpl test6.bpl) do ( echo -------------------- %%f -------------------- - %BGEXE% %* /inline:b /print:- /env:0 /printInlined /noinfer %%f + %BGEXE% %* /inline:spec /print:- /env:0 /printInlined /noinfer %%f ) -for %%f in (test5.bpl test6.bpl expansion.bpl expansion3.bpl Elevator.bpl) do ( +for %%f in (test5.bpl expansion.bpl expansion3.bpl Elevator.bpl) do ( echo -------------------- %%f -------------------- %BGEXE% %* %%f ) -- cgit v1.2.3