Changeset b067d9b for tests/concurrent/waitfor/else.cfa

Timestamp:

Oct 29, 2019, 4:01:24 PM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

773db65, 9421f3d8

Parents:

7951100 (diff), 8364209 (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' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tests/concurrent/waitfor/else.cfa (moved) (moved from src/tests/concurrent/waitfor/else.c ) (2 diffs)

tests/concurrent/waitfor/else.cfa

@@ -1 @@
-#include <fstream>
-#include <monitor>
+#include <fstream.hfa>
+#include <monitor.hfa>
 
 #include <stdbool.h>
@@ -12 +12 @@
 void test( M & mutex m ) {
         int i = 0;
-        sout | "Starting" | endl;
+        sout | "Starting";
 
         when( false ) waitfor( notcalled, m );
 
-        sout | "Step" | i++ | endl;
+        sout | "Step" | i++;
 
         waitfor( notcalled, m ); or else {
-                sout | "else called" | endl;
+                sout | "else called";
         }
 
-        sout | "Step" | i++ | endl;
+        sout | "Step" | i++;
 
         when( true ) waitfor( notcalled, m ); or when( true ) else {
-                sout | "else called" | endl;
+                sout | "else called";
         }
 
-        sout | "Step" | i++ | endl;
+        sout | "Step" | i++;
 
         when( false ) waitfor( notcalled, m ); or when( true ) else {
-                sout | "else called" | endl;
+                sout | "else called";
         }
 
-        sout | "Step" | i++ | endl;
+        sout | "Step" | i++;
 
         when( false ) waitfor( notcalled, m ); or when( false ) else {
-                sout | "else called" | endl;
+                sout | "else called";
         }
 
-        sout | "Done" | endl;
+        sout | "Done";
 }