slk_label_spec() coverage
specification CString *slk_label_spec( CallContext context, IntT labnum )
coverages
branches
failures
hits/fails
pseudo_coverage
The only branch
failure 163: Requirement failed: {slk_label.04;slk_label.05.01} leading and trailing blanks are stripped
8/
1
100% (1/1)
8/
1