Changes in tests/concurrent/examples/boundedBufferEXT.cfa [cca568e:3aa1d22]

File:

• tests/concurrent/examples/boundedBufferEXT.cfa (modified) (3 diffs)

tests/concurrent/examples/boundedBufferEXT.cfa

@@ -10 +10 @@
 // Created On       : Wed Apr 18 22:52:12 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Jan 16 22:36:34 2020
-// Update Count     : 15
+// Last Modified On : Fri Jun 21 08:19:20 2019
+// Update Count     : 14
 //
 
@@ -37 +37 @@
 
         void insert( Buffer(T) & mutex buffer, T elem ) with( buffer ) {
-                if ( count == BufferSize ) waitfor( remove : buffer );
+                if ( count == BufferSize ) waitfor( remove, buffer );
                 elements[back] = elem;
                 back = ( back + 1 ) % BufferSize;
@@ -44 +44 @@
 
         T remove( Buffer(T) & mutex buffer ) with( buffer ) {
-                if ( count == 0 ) waitfor( insert : buffer );
+                if ( count == 0 ) waitfor( insert, buffer );
                 T elem = elements[front];
                 front = ( front + 1 ) % BufferSize;