This file describes the directives and concepts tested by this test set.

test set name: smpmrsp01

directives:

  - _MRSP_Initialize()
  - _MRSP_Obtain()
  - _MRSP_Release()
  - _MRSP_Get_ceiling_priority()
  - _MRSP_Set_ceiling_priority()

concepts:

  - Ensure that MrsP semaphores work.