swprintf_spec() coverage

specification IntT swprintf_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 516: Requirement failed: {swprintf.05.02} swprintf_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