Changeset a2c2363 for tests/concurrency/actors/inherit.cfa

Timestamp:

Sep 18, 2023, 10:21:29 AM (11 months ago)

Author:

caparsons <caparson@…>

Branches:

master

Children:

e4c3819

Parents:

e3784a50 (diff), 7edf912 (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/concurrency/actors/inherit.cfa (modified) (2 diffs)

tests/concurrency/actors/inherit.cfa

@@ -18 +18 @@
 
 allocation handle() {
-    return Finished;
+        return Finished;
 }
 
@@ -27 +27 @@
 
 int main() {
-    sout | "Start";
-    {
-        start_actor_system();
-        D_msg * dm = alloc();
-        (*dm){};
-        D_msg2 * dm2 = alloc();
-        (*dm2){};
-        Server2 * s = alloc();
-        (*s){};
-        Server2 * s2 = alloc();
-        (*s2){};
-        *s | *dm;
-        *s2 | *dm2;
-        stop_actor_system();
-    }
-    {
-        start_actor_system();
-        Server s[2];
-        D_msg * dm = alloc();
-        (*dm){};
-        D_msg2 * dm2 = alloc();
-        (*dm2){};
-        s[0] | *dm;
-        s[1] | *dm2;
-        stop_actor_system();
-    }
-    sout | "Finished";
+        sout | "Start";
+        {
+                start_actor_system();
+                D_msg * dm = alloc();
+                (*dm){};
+                D_msg2 * dm2 = alloc();
+                (*dm2){};
+                Server2 * s = alloc();
+                (*s){};
+                Server2 * s2 = alloc();
+                (*s2){};
+                *s | *dm;
+                *s2 | *dm2;
+                stop_actor_system();
+        }
+        {
+                start_actor_system();
+                Server s[2];
+                D_msg * dm = alloc();
+                (*dm){};
+                D_msg2 * dm2 = alloc();
+                (*dm2){};
+                s[0] | *dm;
+                s[1] | *dm2;
+                stop_actor_system();
+        }
+        sout | "Finished";
 }