ctime_spec() coverage

specification CString *ctime_spec( CallContext context, TimeTObj *clock )

coverages	branches	failures	hits/fails
C_Priority	Process with high priority	failure 250: Requirement failed: {ctime.01} equivalent to asctime(localtime(clock)) failure 251: Requirement failed: {ctime.01} equivalent to asctime(localtime(clock)) failure 252: Requirement failed: {ctime.01} equivalent to asctime(localtime(clock)) failure 253: Requirement failed: {ctime.01} equivalent to asctime(localtime(clock))	5/4
	Process with low priority		0
	Process with unknown priority		0
	33% (1/3)		5/4