asctime_r_spec() coverage
specification CString *asctime_r_spec( CallContext context, TmTObj *timeptr, CString *buf )
coverages
branches
failures
hits/fails
C_Priority
Process with high priority
failure 145: Requirement failed: {asctime_r.01} equivalent of the following algorithm
failure 146: Requirement failed: {asctime_r.01} equivalent of the following algorithm
6/
2
Process with low priority
0
Process with unknown priority
0
33% (1/3)
6/
2