diff options
Diffstat (limited to 'Test/lazyinline/runtest.bat')
| -rw-r--r-- | Test/lazyinline/runtest.bat | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Test/lazyinline/runtest.bat b/Test/lazyinline/runtest.bat index 6cf0ee1b..e7e86446 100644 --- a/Test/lazyinline/runtest.bat +++ b/Test/lazyinline/runtest.bat @@ -16,9 +16,18 @@ echo ----- echo ----- Running regression test bar4.bpl
%BGEXE% %* /noinfer /lazyInline:1 bar4.bpl
echo -----
+echo ----- Running regression test bar5.bpl
+%BGEXE% %* /noinfer /lazyInline:1 bar5.bpl
+echo -----
echo ----- Running regression test bar6.bpl
%BGEXE% %* /noinfer /lazyInline:1 bar6.bpl
echo -----
+echo ----- Running regression test bar7.bpl
+%BGEXE% %* /noinfer /lazyInline:1 bar7.bpl
+echo -----
+echo ----- Running regression test bar8.bpl
+%BGEXE% %* /noinfer /lazyInline:1 bar8.bpl
+echo -----
echo ----- Running regression test foo.bpl
%BGEXE% %* /noinfer /lazyInline:1 /extractLoops foo.bpl
echo -----
|