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 147: 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 148: 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 ) |
|
354 |
| ( 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 ) |
|
710 |
| ( 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 150: 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 152: 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 149: 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 151: 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 154: 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 156: 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 153: 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 155: 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 158: 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 160: 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 157: 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 159: 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 ) |
|
2646 |
| ( 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) |
|
3876/14 |
|