localtime_r_spec() coverage

specification TmTObj *localtime_r_spec( CallContext context, TimeTObj *timer, TmTObj *result, ErrorCode *errno )

coverages	branches	failures	hits/fails
C_Priority	Process with high priority	failure 266: Requirement failed: {localtime_r.01} The function shall convert the time in seconds into a local time failure 267: Requirement failed: {localtime_r.01} The function shall convert the time in seconds into a local time failure 268: Requirement failed: {localtime_r.01} The function shall convert the time in seconds into a local time failure 269: Requirement failed: {localtime_r.01} The function shall convert the time in seconds into a local time	5/4
	Process with low priority		0
	Process with unknown priority		0
	33% (1/3)		5/4