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

test set name: spsyslock01

directives:

  - _Mutex_Initialize()
  - _Mutex_Acquire()
  - _Mutex_Try_acquire()
  - _Mutex_Release()
  - _Mutex_Destroy()
  - _Mutex_recursive_Initialize()
  - _Mutex_recursive_Acquire()
  - _Mutex_recursive_Try_acquire()
  - _Mutex_recursive_Release()
  - _Mutex_recursive_Destroy()

concepts:

  - Ensure that self-contained mutexes and recursive mutexes work.