1 <assertions> 2 <assertion id="2" tag="pt:MSG" files="mqueues/notify.c"> 3 When a message is available on a Queue, process can be notified that and 4 prepare to receive the message. 5 </assertion> 6 <assertion id="1" tag="pt:MSG" files="mqueues/send_rev_1.c"> 7 Two processes can read/write from the same message queue at the same time. 8 </assertion> 9 <assertion id="3" tag="pt:MSG" files="mqueues/send_rev_2.c"> 10 Two threads sending/receiving on different message queue, and 11 set different Priority to the messages in the message queue, to 12 see whether the highest priority is received first. 13 </assertion> 14 </assertions> 15
