scanw_spec() coverage

specification IntT scanw_spec( CallContext context, WindowTPtr *win, NCursesPosition *pos, CString *fmt, List *arguments )

coverages	branches	failures	hits/fails
Win	win is NULL	failure 164: Requirement failed: {scanw.03.02} these functions return ERR failure 165: Requirement failed: {scanw.03.02} these functions return ERR failure 166: Requirement failed: {scanw.03.02} these functions return ERR failure 167: Requirement failed: {scanw.03.02} these functions return ERR failure 168: Requirement failed: {scanw.03.02} these functions return ERR failure 169: Requirement failed: {scanw.03.02} these functions return ERR failure 170: Requirement failed: {mvscanw.03.02} these functions return ERR failure 171: Requirement failed: {mvscanw.03.02} these functions return ERR failure 172: Requirement failed: {mvscanw.03.02} these functions return ERR failure 173: Requirement failed: {mvscanw.03.02} these functions return ERR failure 174: Requirement failed: {mvscanw.03.02} these functions return ERR failure 175: Requirement failed: {mvscanw.03.02} these functions return ERR	20/12
	win is not NULL	failure 176: Requirement failed: {wscanw.03.02} these functions return ERR failure 177: Requirement failed: {wscanw.03.02} these functions return ERR failure 178: Requirement failed: {wscanw.03.02} these functions return ERR failure 179: Requirement failed: {wscanw.03.02} these functions return ERR failure 180: Requirement failed: {wscanw.03.02} these functions return ERR failure 181: Requirement failed: {wscanw.03.02} these functions return ERR failure 182: Requirement failed: {mvwscanw.03.02} these functions return ERR failure 183: Requirement failed: {mvwscanw.03.02} these functions return ERR failure 184: Requirement failed: {mvwscanw.03.02} these functions return ERR failure 185: Requirement failed: {mvwscanw.03.02} these functions return ERR failure 186: Requirement failed: {mvwscanw.03.02} these functions return ERR failure 187: Requirement failed: {mvwscanw.03.02} these functions return ERR	20/12
	100% (2/2)		40/24
Pos	pos is NULL	failure 164: Requirement failed: {scanw.03.02} these functions return ERR failure 165: Requirement failed: {scanw.03.02} these functions return ERR failure 166: Requirement failed: {scanw.03.02} these functions return ERR failure 167: Requirement failed: {scanw.03.02} these functions return ERR failure 168: Requirement failed: {scanw.03.02} these functions return ERR failure 169: Requirement failed: {scanw.03.02} these functions return ERR failure 176: Requirement failed: {wscanw.03.02} these functions return ERR failure 177: Requirement failed: {wscanw.03.02} these functions return ERR failure 178: Requirement failed: {wscanw.03.02} these functions return ERR failure 179: Requirement failed: {wscanw.03.02} these functions return ERR failure 180: Requirement failed: {wscanw.03.02} these functions return ERR failure 181: Requirement failed: {wscanw.03.02} these functions return ERR	20/12
	pos is not NULL	failure 170: Requirement failed: {mvscanw.03.02} these functions return ERR failure 171: Requirement failed: {mvscanw.03.02} these functions return ERR failure 172: Requirement failed: {mvscanw.03.02} these functions return ERR failure 173: Requirement failed: {mvscanw.03.02} these functions return ERR failure 174: Requirement failed: {mvscanw.03.02} these functions return ERR failure 175: Requirement failed: {mvscanw.03.02} these functions return ERR failure 182: Requirement failed: {mvwscanw.03.02} these functions return ERR failure 183: Requirement failed: {mvwscanw.03.02} these functions return ERR failure 184: Requirement failed: {mvwscanw.03.02} these functions return ERR failure 185: Requirement failed: {mvwscanw.03.02} these functions return ERR failure 186: Requirement failed: {mvwscanw.03.02} these functions return ERR failure 187: Requirement failed: {mvwscanw.03.02} these functions return ERR	20/12
	100% (2/2)		40/24