diff options
author | 2014-05-04 21:17:12 -0700 | |
---|---|---|
committer | 2014-05-04 21:17:12 -0700 | |
commit | 28d4e2ad2598ff377f121ff2a2a9b0794f386110 (patch) | |
tree | 5bd85a8938154aabf3eb80751c1f9dd54f980c31 /Test/og/lock.bpl | |
parent | 36e016acf963b7c19d59640b11b4a40f2072943e (diff) |
second checkpoint
Diffstat (limited to 'Test/og/lock.bpl')
-rw-r--r-- | Test/og/lock.bpl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/og/lock.bpl b/Test/og/lock.bpl index 4a6e002d..8357d36d 100644 --- a/Test/og/lock.bpl +++ b/Test/og/lock.bpl @@ -2,6 +2,7 @@ var {:phase 2} b: bool; procedure {:yields} {:phase 2} main()
{
+ yield;
while (*)
{
yield;
@@ -14,6 +15,7 @@ procedure {:yields} {:phase 2} main() procedure {:yields} {:phase 2} Customer()
{
+ yield;
while (*)
{
yield;
@@ -26,8 +28,6 @@ procedure {:yields} {:phase 2} Customer() yield;
}
-
- yield;
}
procedure {:yields} {:phase 1,2} Enter()
|