tgetnum_spec() coverage

specification IntT tgetnum_spec( CallContext context, CString *id )

coverages branches failures hits/fails
pseudo_coverage The only branch failure 200: Requirement failed: {tgetnum.05.02} return ERR
2/1
100% (1/1)   2/1