source: tests/concurrent/mutexstmt/.expect/monitors.txt @ a4d098c

ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since a4d098c was a4d098c, checked in by caparsons <caparson@…>, 3 years ago

added tests for mutex stmt with monitors

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