source: tests/concurrent/mutexstmt/.expect/locks.txt@ ce9f9d4

ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum stuck-waitfor-destruct
Last change on this file since ce9f9d4 was 1b97976c, checked in by caparsons <caparson@…>, 5 years ago

added in file I forgot and added test expect for locks

  • Property mode set to 100644
File size: 176 bytes
Line 
1Start Test: single lock mutual exclusion
2End Test: single lock mutual exclusion
3Start Test: multi lock deadlock/mutual exclusion
4End Test: multi lock deadlock/mutual exclusion
Note: See TracBrowser for help on using the repository browser.