Changeset ad861ef for tests/concurrent/mutexstmt

Timestamp:

Jan 20, 2023, 1:25:37 PM (3 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master, stuck-waitfor-destruct

Children:

79a6b17, cd5eb4b

Parents:

466787a (diff), a0d1f1c (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/mutexstmt/locks.cfa (modified) (1 diff)

tests/concurrent/mutexstmt/locks.cfa

@@ -72 +72 @@
 
 single_acquisition_lock l1;
-linear_backoff_then_block_lock l2;
+exp_backoff_then_block_lock l2;
 owner_lock l3;