strsignal_spec() coverage
specification CString *strsignal_spec( CallContext context, IntT sig )
coverages
branches
failures
hits/fails
strsignal_coverage
( known signal )
31
( unknown signal )
failure 177: Requirement failed: {strsignal.08} either a pointer to the string "unknown signal", or a null pointer
1/
1
100% (2/2)
32/
1