more refactoring in stratified inlining

1 files changed, 3 insertions, 4 deletions

diff --git a/Test/stratifiedinline/bar2.bpl b/Test/stratifiedinline/bar2.bpl
index 76991a8f..6c383591 100644
--- a/Test/stratifiedinline/bar2.bpl
+++ b/Test/stratifiedinline/bar2.bpl
@@ -1,5 +1,4 @@
-

-procedure {:inline 1} foo() returns (x: bool)

+procedure foo() returns (x: bool)

 {

   var b: bool;

   if (b) {

@@ -11,14 +10,14 @@ procedure {:inline 1} foo() returns (x: bool)
   }

 }

 

-procedure main()

+procedure {:entrypoint} main()

 {

   var b1: bool;

   var b2: bool;

 

   call b1 := foo();

   call b2 := foo();

-  assert b1 == b2;

+  assume b1 != b2;

 }