setgid_spec() coverage
specification IntT setgid_spec( CallContext context, GidT gid, ErrorCode *errno )
| coverages |
branches |
failures |
hits/fails |
| C |
( Id, priority ) == ( Id_ReallyInvalid, Priority_ReallyHigh ) |
|
3 |
| ( Id, priority ) == ( Id_ReallyInvalid, Priority_ReallyLow ) |
|
3 |
| ( Id, priority ) == ( Id_ReallyInvalid, Priority_Unknown ) |
|
3 |
| ( Id, priority ) == ( Id_SavedSetId, Priority_ReallyHigh ) |
|
7 |
| ( Id, priority ) == ( Id_SavedSetId, Priority_ReallyLow ) |
failure 138: Requirement failed: {setgid.06.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setgid_spec == -1 ) ) && ( gid_coverage != Id_RealId && gid_coverage != Id_SavedSetId )) is false while error code EPERM is set ;
|
4/1 |
| ( Id, priority ) == ( Id_SavedSetId, Priority_Unknown ) |
failure 139: Requirement failed: {setgid.06.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setgid_spec == -1 ) ) && ( gid_coverage != Id_RealId && gid_coverage != Id_SavedSetId )) is false while error code EPERM is set ;
|
4/1 |
| ( Id, priority ) == ( Id_RealId, Priority_ReallyHigh ) |
|
6 |
| ( Id, priority ) == ( Id_RealId, Priority_ReallyLow ) |
|
2 |
| ( Id, priority ) == ( Id_RealId, Priority_Unknown ) |
|
2 |
| ( Id, priority ) == ( Id_Unknown, Priority_ReallyHigh ) |
|
1605 |
| ( Id, priority ) == ( Id_Unknown, Priority_ReallyLow ) |
|
6 |
| ( Id, priority ) == ( Id_Unknown, Priority_Unknown ) |
|
6 |
| 100% (12/12) |
|
1652/2 |
|