renamed og to civl

1 files changed, 0 insertions, 36 deletions

diff --git a/Test/og/Program3.bpl b/Test/og/Program3.bpl
deleted file mode 100644
index f8c4e132..00000000
--- a/Test/og/Program3.bpl
+++ /dev/null
@@ -1,36 +0,0 @@
-// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory "%s" > "%t"

-// RUN: %diff "%s.expect" "%t"

-var {:layer 0,1} x:int;

-

-procedure {:yields} {:layer 1} yield_x()

-ensures {:layer 1} x >= old(x); 

-{

-    yield;

-    assert {:layer 1} x >= old(x);

-}

-

-procedure {:yields} {:layer 1} p() 

-requires {:layer 1} x >= 5; 

-ensures {:layer 1} x >= 8; 

-{ 

-    call yield_x();

-    call Incr(1); 

-    call yield_x();

-    call Incr(1); 

-    call yield_x();

-    call Incr(1); 

-    call yield_x();

-}

-

-procedure {:yields} {:layer 1} q() 

-{ 

-    yield;

-    call Incr(3); 

-    yield;

-}

-

-procedure {:yields} {:layer 0,1} Incr(val: int);

-ensures {:atomic}

-|{A:

-  x := x + val; return true;

-}|;