setreuid_spec() coverage
specification IntT setreuid_spec( CallContext context, UidT ruid, UidT euid, 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 ) |
|
7 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_SavedSetId, Priority_ReallyLow ) |
failure 136: Requirement failed: {setreuid.06.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setreuid_spec == -1 ) ) && ( ( ruid_coverage != Id_SkipValue ) || ( euid_coverage != Id_SkipValue && euid_coverage != Id_RealId && euid_coverage != Id_EffectiveId && euid_coverage != Id_SavedSetId ) )) is false while error code EPERM is set ;
|
4/1 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_SavedSetId, Priority_Unknown ) |
failure 137: Requirement failed: {setreuid.06.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setreuid_spec == -1 ) ) && ( ( ruid_coverage != Id_SkipValue ) || ( euid_coverage != Id_SkipValue && euid_coverage != Id_RealId && euid_coverage != Id_EffectiveId && euid_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 ) |
|
3 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_RealId, Priority_Unknown ) |
|
3 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_EffectiveId, Priority_ReallyLow ) |
|
2 |
| ( Id1, Id2, priority ) == ( Id_SkipValue, Id_EffectiveId, 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_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 ) |
|
14 |
| ( 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 ) |
|
6 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_RealId, Priority_Unknown ) |
|
6 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_EffectiveId, Priority_ReallyLow ) |
|
4 |
| ( Id1, Id2, priority ) == ( Id_Unknown, Id_EffectiveId, 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% (28/28) |
|
3858/2 |
|