diff options
Diffstat (limited to 'Test/og/parallel3.bpl')
| -rw-r--r-- | Test/og/parallel3.bpl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Test/og/parallel3.bpl b/Test/og/parallel3.bpl index a99a5eb8..f34efc6d 100644 --- a/Test/og/parallel3.bpl +++ b/Test/og/parallel3.bpl @@ -1,7 +1,7 @@ -procedure {:entrypoint} main()
+procedure {:entrypoint} {:yields} main()
{
call A() | B();
}
-procedure A() {}
-procedure B() {}
+procedure {:yields} {:stable} A() {}
+procedure {:yields} {:stable} B() {}
|