Changeset 8a930c03 for tests/concurrency/actors/inherit.cfa

Timestamp:

Jun 12, 2023, 12:05:58 PM (3 years ago)

Author:

JiadaL <j82liang@…>

Branches:

master, stuck-waitfor-destruct

Children:

fec8bd1

Parents:

2b78949 (diff), 38e266ca (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 (moved) (moved from tests/concurrent/actors/inherit.cfa ) (1 diff)

tests/concurrency/actors/inherit.cfa

@@ -15 +15 @@
 void ^?{}( D_msg & this ) { mutex(sout) sout | 'A'; }
 
-Allocation handle() {
+allocation handle() {
     return Finished;
 }
 
-Allocation receive( Server & receiver, D_msg & msg ) { return handle(); }
-Allocation receive( Server & receiver, D_msg2 & msg ) { return handle(); }
-Allocation receive( Server2 & receiver, D_msg & msg ) { return Delete; }
-Allocation receive( Server2 & receiver, D_msg2 & msg ) { return Delete; }
+allocation receive( Server & receiver, D_msg & msg ) { return handle(); }
+allocation receive( Server & receiver, D_msg2 & msg ) { return handle(); }
+allocation receive( Server2 & receiver, D_msg & msg ) { return Delete; }
+allocation receive( Server2 & receiver, D_msg2 & msg ) { return Delete; }
 
 int main() {