pthread_mutexattr_gettype_spec() coverage

specification ErrorCode *pthread_mutexattr_gettype_spec( CallContext context, PThreadMutexAttrTPtr attr, IntT *type )

coverages branches failures hits/fails
C PTHREAD_MUTEX_NORMAL failure 176: Requirement failed: {pthread_mutexattr_gettype.01.01} pthread_mutexattr_gettype() shall store the value of the 'type' attribute into *type
 1/1
PTHREAD_MUTEX_ERRORCHECK   0
PTHREAD_MUTEX_RECURSIVE   0
PTHREAD_MUTEX_DEFAULT   1
50% (2/4)   2/1