vswprintf_spec() coverage

specification IntT vswprintf_spec( CallContext context, WString *ws, SizeT n, WString *format, List *arguments, ErrorCode *errno )

coverages branches failures hits/fails
C_Priority Process with high priority failure 517: Requirement failed: {vswprintf.05.02} vswprintf_spec < 0 means error while error code (* errno) is not set
 19775/1
Process with low priority   0
Process with unknown priority   0
33% (1/3)   19775/1