testcases/open_posix_testsuite/conformance/interfaces/sem_post/assertions.xml

<assertions>
  <assertion id="1" tag="ref:XSH6:38941:38942">
sem_post will unlock a locked semaphore, and will increment the value of
the semaphore when the value is positive.
  </assertion>
  <assertion id="2" tag="ref:XSH6:38945:38946">
sem_post will return a value of 0 on successful calls when it unlock a 
semaphore.
  </assertion>
  <assertion id="3" tag="ref:XSH6:38941:38942">
sem_post return EINVAL ERROR on invalid reference to a semaphore.
  </assertion>
  <assertion id="4" tag="ref:XSH6:38959:38960">
sem_post return zero on a successful call.
  </assertion>
  <assertion id="5" tag="ref:XSH6:38956:38956">
sem_post will continue after it is interrupted by a signal
  </assertion>
  <assertion id="6" tag="ref:XSH6:38956:38957">
sem_post cam be called from within a signal catching function
  </assertion>
  <assertion id="8" tag="ref:XSH6:38947:38953">
If Process Scheduling extension is supported, and scheduler is SCHED_FIFO or 
SCHED_RR, the highest priority thread is awaken first. If several threads 
with equal priority are waiting, the threads are awaken in FIFO order.
  </assertion>
</assertions>