Changeset 1dec8f3 for longrun_tests/locks.cfa

Timestamp:

Sep 22, 2025, 2:33:42 PM (5 months ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

bb5b866

Parents:

7ca6bf1 (diff), 295ed2d1 (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 remote-tracking branch 'refs/remotes/origin/master'

File:

• longrun_tests/locks.cfa (modified) (1 diff)

longrun_tests/locks.cfa

@@ -7 +7 @@
 
 multiple_acquisition_lock m;
-condition_variable( multiple_acquisition_lock ) c_m;
+cond_lock( multiple_acquisition_lock ) c_m;
 
 single_acquisition_lock s;
-condition_variable( single_acquisition_lock ) c_s;
+cond_lock( single_acquisition_lock ) c_s;
 
 owner_lock o;
-condition_variable( owner_lock ) c_o;
+cond_lock( owner_lock ) c_o;
 
 thread T_C_M_WS1 {};