ctime_r_spec() coverage

specification CString *ctime_r_spec( CallContext context, TimeTObj *clock, CString *buf )

coverages	branches	failures	hits/fails
C_Priority	Process with high priority	failure 254: Requirement failed: {ctime_r.01} equivalent to asctime(localtime(clock)) failure 255: Requirement failed: {ctime_r.01} equivalent to asctime(localtime(clock)) failure 256: Requirement failed: {ctime_r.01} equivalent to asctime(localtime(clock)) failure 257: Requirement failed: {ctime_r.01} equivalent to asctime(localtime(clock)) failure 258: Requirement failed: {ctime_r.01} equivalent to asctime(localtime(clock)) failure 259: Requirement failed: {ctime_r.01} equivalent to asctime(localtime(clock)) failure 260: Requirement failed: {ctime_r.01} equivalent to asctime(localtime(clock)) failure 261: Requirement failed: {ctime_r.01} equivalent to asctime(localtime(clock))	10/8
	Process with low priority		0
	Process with unknown priority		0
	33% (1/3)		10/8