diff options
author | 2011-10-27 19:12:06 -0700 | |
---|---|---|
committer | 2011-10-27 19:12:06 -0700 | |
commit | bed18114957f4e873e5055b93572a07c10e776fa (patch) | |
tree | edb07e52cfdf438a2faf395e9439bd376ca8a691 /Test/inline/runtest.bat | |
parent | a8c04614ad34b4a36c1c739f8838fe4fd6232720 (diff) |
Boogie: Get rid of {:inline} attributes on axioms
Diffstat (limited to 'Test/inline/runtest.bat')
-rw-r--r-- | Test/inline/runtest.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/inline/runtest.bat b/Test/inline/runtest.bat index f04b84da..f56d55a0 100644 --- a/Test/inline/runtest.bat +++ b/Test/inline/runtest.bat @@ -13,7 +13,7 @@ for %%f in (test1.bpl test2.bpl test3.bpl test4.bpl test6.bpl) do ( %BGEXE% %* /inline:spec /print:- /env:0 /printInlined /noinfer %%f
)
-for %%f in (test5.bpl expansion.bpl expansion3.bpl Elevator.bpl) do (
+for %%f in (test5.bpl expansion3.bpl expansion4.bpl Elevator.bpl) do (
echo -------------------- %%f --------------------
%BGEXE% %* %%f
)
|