mvcur_spec() coverage

specification IntT mvcur_spec( CallContext context, NCursesPosition *cursorPosOld, NCursesPosition *cursorPosNew )

coverages branches failures hits/fails
pseudo_coverage The only branch failure 161: Requirement failed: {mvcur.04} If (newrow, newcol) is not a valid address for the terminal in use, mvcur() fails
failure 162: Requirement failed: {mvcur.04} If (newrow, newcol) is not a valid address for the terminal in use, mvcur() fails
 4/2
100% (1/1)   4/2