localtime_spec() coverage
specification TmTObj *localtime_spec( CallContext context, TimeTObj *timer, ErrorCode *errno )
coverages
branches
failures
hits/fails
C_Priority
Process with high priority
failure 262: Requirement failed: {localtime.01} The localtime() function shall convert the time in seconds into a local time
failure 263: Requirement failed: {localtime.01} The localtime() function shall convert the time in seconds into a local time
failure 264: Requirement failed: {localtime.01} The localtime() function shall convert the time in seconds into a local time
failure 265: Requirement failed: {localtime.01} The localtime() 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