Changeset bdfc032 for tests/concurrent/examples/gortn.cfa

Timestamp:

Feb 4, 2020, 11:35:26 AM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

eef8dfb

Parents:

aefb247 (diff), 4f7b418 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into dkobets-vector

File:

• tests/concurrent/examples/gortn.cfa (modified) (2 diffs)

tests/concurrent/examples/gortn.cfa

@@ -10 +10 @@
 // Created On       : Wed Feb 20 08:02:37 2019
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Jun 21 08:25:03 2019
-// Update Count     : 4
+// Last Modified On : Thu Jan 16 22:43:40 2020
+// Update Count     : 5
 // 
 
@@ -26 +26 @@
 void main( GoRtn & gortn ) with( gortn ) {
         for () {
-                waitfor( mem1, gortn ) sout | i;
-                or waitfor( mem2, gortn ) sout | f;
-                or waitfor( mem3, gortn ) sout | m.i | m.j;
-                or waitfor( ^?{}, gortn ) break;
+                waitfor( mem1 : gortn ) sout | i;
+                or waitfor( mem2 : gortn ) sout | f;
+                or waitfor( mem3 : gortn ) sout | m.i | m.j;
+                or waitfor( ^?{} : gortn ) break;
         }
 }