mktime_spec() coverage

specification TimeT mktime_spec( CallContext context, TmTObj *timeptr, ErrorCode *errno )

coverages	branches	failures	hits/fails
C_Priority	Process with high priority	failure 270: Requirement failed: {mktime.02.01} The mktime() function shall return the specified time since the Epoch failure 271: Requirement failed: {mktime.02.01} The mktime() function shall return the specified time since the Epoch	2/2
	Process with low priority		0
	Process with unknown priority		0
	33% (1/3)		2/2