diff options
Diffstat (limited to 'Test/inline/runtest.bat')
| -rw-r--r-- | Test/inline/runtest.bat | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Test/inline/runtest.bat b/Test/inline/runtest.bat index f56d55a0..cd404bfa 100644 --- a/Test/inline/runtest.bat +++ b/Test/inline/runtest.bat @@ -37,3 +37,7 @@ echo -------------------- fundef.bpl -------------------- echo -------------------- polyInline.bpl --------------------
%BGEXE% %* /typeEncoding:predicates /logPrefix:p polyInline.bpl
%BGEXE% %* /typeEncoding:arguments /logPrefix:a polyInline.bpl
+
+echo -------------------- InliningAndLoops.bpl --------------------
+%BGEXE% %* /loopUnroll:3 /soundLoopUnrolling InliningAndLoops.bpl
+
|