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 122: 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 123: 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 125: 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 127: 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 124: 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 126: 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 129: 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 131: 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 128: 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 130: 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 133: 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 135: 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 132: 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 134: 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 |
|