Changeset a5d1fe7 for benchmark/mutexStmt/lock4.cfa
- Timestamp:
- Sep 16, 2021, 2:19:34 PM (21 months ago)
- Branches:
- ADT, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum
- Children:
- ce9f9d4
- Parents:
- 180f249
- File:
-
- 1 edited
-
benchmark/mutexStmt/lock4.cfa (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
benchmark/mutexStmt/lock4.cfa
r180f249 ra5d1fe7 5 5 #include "bench.h" 6 6 7 single_acquisition_lock l1, l2, l3, l4;7 test_spinlock l1, l2, l3, l4; 8 8 9 9 int main( int argc, char * argv[] ) {
Note: See TracChangeset
for help on using the changeset viewer.
