Enabled the "Stratified inlining benchmarks" lit tests.

The following tests will probably fail for newer versions
of Z3 (e.g. 4.3)

    stratifiedinline/bar10.bpl
    stratifiedinline/bar7.bpl
    stratifiedinline/bar8.bpl
    stratifiedinline/bar9.bpl

1 files changed, 3 insertions, 1 deletions

diff --git a/Test/stratifiedinline/bar9.bpl b/Test/stratifiedinline/bar9.bpl
index d1eacb18..da89dbf3 100644
--- a/Test/stratifiedinline/bar9.bpl
+++ b/Test/stratifiedinline/bar9.bpl
@@ -1,3 +1,5 @@
+// RUN: %boogie -stratifiedInline:1 -vc:i -nonUniformUnfolding %s > %t

+// RUN: %diff %s.expect %t

 var i: int;

 var m: int;

 

@@ -42,4 +44,4 @@ modifies i;
     call bar2(0);

   }

   assume !(i < 10);

-}
\ No newline at end of file
+}