setregid_spec() coverage
specification IntT setregid_spec( CallContext context, GidT rgid, GidT egid, ErrorCode *errno )
| coverages |
branches |
failures |
hits/fails |
| C |
( Id1, Id2, priority ) == ( Id_SkipValue, Id_SkipValue, Priority_ReallyHigh ) |
|
3 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_SkipValue, Priority_ReallyLow ) |
|
3 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_SkipValue, Priority_Unknown ) |
|
3 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_SavedSetId, Priority_ReallyHigh ) |
|
4 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_SavedSetId, Priority_ReallyLow ) |
failure 209: Requirement failed: {setregid.07.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setregid_spec == -1 ) ) && ( ( rgid_coverage != Id_SkipValue && rgid_coverage != Id_SavedSetId ) || ( egid_coverage != Id_SkipValue && egid_coverage != Id_RealId && egid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
|
4/1 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_SavedSetId, Priority_Unknown ) |
failure 210: Requirement failed: {setregid.07.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setregid_spec == -1 ) ) && ( ( rgid_coverage != Id_SkipValue && rgid_coverage != Id_SavedSetId ) || ( egid_coverage != Id_SkipValue && egid_coverage != Id_RealId && egid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
|
4/1 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_RealId, Priority_ReallyHigh ) |
|
348 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_RealId, Priority_ReallyLow ) |
|
2 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_RealId, Priority_Unknown ) |
|
2 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_Unknown, Priority_ReallyHigh ) |
|
698 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_Unknown, Priority_ReallyLow ) |
|
6 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_Unknown, Priority_Unknown ) |
|
6 |
| ( Id1, Id2, priority ) == ( Id_SavedSetId, Id_SkipValue, Priority_ReallyHigh ) |
|
3 |
| ( Id1, Id2, priority ) == ( Id_SavedSetId, Id_SkipValue, Priority_ReallyLow ) |
failure 212: Requirement failed: {setregid.07.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setregid_spec == -1 ) ) && ( ( rgid_coverage != Id_SkipValue && rgid_coverage != Id_SavedSetId ) || ( egid_coverage != Id_SkipValue && egid_coverage != Id_RealId && egid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
failure 214: Requirement failed: {setregid.07.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setregid_spec == -1 ) ) && ( ( rgid_coverage != Id_SkipValue && rgid_coverage != Id_SavedSetId ) || ( egid_coverage != Id_SkipValue && egid_coverage != Id_RealId && egid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
|
3/2 |
| ( Id1, Id2, priority ) == ( Id_SavedSetId, Id_SkipValue, Priority_Unknown ) |
failure 211: Requirement failed: {setregid.07.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setregid_spec == -1 ) ) && ( ( rgid_coverage != Id_SkipValue && rgid_coverage != Id_SavedSetId ) || ( egid_coverage != Id_SkipValue && egid_coverage != Id_RealId && egid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
failure 213: Requirement failed: {setregid.07.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setregid_spec == -1 ) ) && ( ( rgid_coverage != Id_SkipValue && rgid_coverage != Id_SavedSetId ) || ( egid_coverage != Id_SkipValue && egid_coverage != Id_RealId && egid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
|
3/2 |
| ( Id1, Id2, priority ) == ( Id_SavedSetId, Id_SavedSetId, Priority_ReallyHigh ) |
|
4 |
| ( Id1, Id2, priority ) == ( Id_SavedSetId, Id_SavedSetId, Priority_ReallyLow ) |
failure 216: Requirement failed: {setregid.07.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setregid_spec == -1 ) ) && ( ( rgid_coverage != Id_SkipValue && rgid_coverage != Id_SavedSetId ) || ( egid_coverage != Id_SkipValue && egid_coverage != Id_RealId && egid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
failure 218: Requirement failed: {setregid.07.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setregid_spec == -1 ) ) && ( ( rgid_coverage != Id_SkipValue && rgid_coverage != Id_SavedSetId ) || ( egid_coverage != Id_SkipValue && egid_coverage != Id_RealId && egid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
|
4/2 |
| ( Id1, Id2, priority ) == ( Id_SavedSetId, Id_SavedSetId, Priority_Unknown ) |
failure 215: Requirement failed: {setregid.07.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setregid_spec == -1 ) ) && ( ( rgid_coverage != Id_SkipValue && rgid_coverage != Id_SavedSetId ) || ( egid_coverage != Id_SkipValue && egid_coverage != Id_RealId && egid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
failure 217: Requirement failed: {setregid.07.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setregid_spec == -1 ) ) && ( ( rgid_coverage != Id_SkipValue && rgid_coverage != Id_SavedSetId ) || ( egid_coverage != Id_SkipValue && egid_coverage != Id_RealId && egid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
|
4/2 |
| ( Id1, Id2, priority ) == ( Id_SavedSetId, Id_RealId, Priority_ReallyHigh ) |
|
2 |
| ( Id1, Id2, priority ) == ( Id_SavedSetId, Id_RealId, Priority_ReallyLow ) |
failure 220: Requirement failed: {setregid.07.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setregid_spec == -1 ) ) && ( ( rgid_coverage != Id_SkipValue && rgid_coverage != Id_SavedSetId ) || ( egid_coverage != Id_SkipValue && egid_coverage != Id_RealId && egid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
failure 222: Requirement failed: {setregid.07.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setregid_spec == -1 ) ) && ( ( rgid_coverage != Id_SkipValue && rgid_coverage != Id_SavedSetId ) || ( egid_coverage != Id_SkipValue && egid_coverage != Id_RealId && egid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
|
2/2 |
| ( Id1, Id2, priority ) == ( Id_SavedSetId, Id_RealId, Priority_Unknown ) |
failure 219: Requirement failed: {setregid.07.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setregid_spec == -1 ) ) && ( ( rgid_coverage != Id_SkipValue && rgid_coverage != Id_SavedSetId ) || ( egid_coverage != Id_SkipValue && egid_coverage != Id_RealId && egid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
failure 221: Requirement failed: {setregid.07.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setregid_spec == -1 ) ) && ( ( rgid_coverage != Id_SkipValue && rgid_coverage != Id_SavedSetId ) || ( egid_coverage != Id_SkipValue && egid_coverage != Id_RealId && egid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
|
2/2 |
| ( Id1, Id2, priority ) == ( Id_SavedSetId, Id_Unknown, Priority_ReallyHigh ) |
|
6 |
| ( Id1, Id2, priority ) == ( Id_SavedSetId, Id_Unknown, Priority_ReallyLow ) |
|
6 |
| ( Id1, Id2, priority ) == ( Id_SavedSetId, Id_Unknown, Priority_Unknown ) |
|
6 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_SkipValue, Priority_ReallyHigh ) |
|
2601 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_SkipValue, Priority_ReallyLow ) |
|
6 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_SkipValue, Priority_Unknown ) |
|
6 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_SavedSetId, Priority_ReallyHigh ) |
|
8 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_SavedSetId, Priority_ReallyLow ) |
|
8 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_SavedSetId, Priority_Unknown ) |
|
8 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_RealId, Priority_ReallyHigh ) |
|
4 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_RealId, Priority_ReallyLow ) |
|
4 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_RealId, Priority_Unknown ) |
|
4 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_Unknown, Priority_ReallyHigh ) |
|
12 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_Unknown, Priority_ReallyLow ) |
|
12 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_Unknown, Priority_Unknown ) |
|
12 |
| 100% (36/36) |
|
3813/14 |
|