Assert in nxsem_post if: - Priority inheritance is enabled on a semaphore - A thread that does not hold the semaphore attempts to post it This will detect an error condition described in https://cwiki.apache.org/confluence/display/NUTTX/Signaling+Semaphores+and+Priority+Inheritance None. The debug instrumentation is only enabled if CONFIG_DEBUG_ASSERTIONS is enabled. Use sim:ostest. Verify that no assertions occur.