scenario process_meta_user_scenario

execution
trace: /var/opt/lsb/test/olver-core/2013-07-25_08-37-08/process_meta_user_scenario.utz (process_meta_user_scenario.utt)
start: Thu Jul 25 08:45:41 EDT 2013
end: Thu Jul 25 08:50:42 EDT 2013
Product Name: CTESK
Product Build: 20090917
Host: localhost.localdomain
arch: ia32
Product Version: 2.7.287
Operating System: Linux 3.6.10-4.fc18.i686.PAE
failuresfails
failure 134: Requirement failed: {setegid.05.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setegid_spec == -1 ) ) && ( gid_coverage != Id_RealId && gid_coverage != Id_SavedSetId )) is false while error code EPERM is set ;

failure 135: Requirement failed: {setegid.05.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setegid_spec == -1 ) ) && ( gid_coverage != Id_RealId && gid_coverage != Id_SavedSetId )) is false while error code EPERM is set ;

failure 136: Requirement failed: {seteuid.05.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && seteuid_spec == -1 ) ) && ( uid_coverage != Id_RealId && uid_coverage != Id_SavedSetId )) is false while error code EPERM is set ;

failure 137: Requirement failed: {seteuid.05.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && seteuid_spec == -1 ) ) && ( uid_coverage != Id_RealId && uid_coverage != Id_SavedSetId )) is false while error code EPERM is set ;

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 ;

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 ;

failure 140: 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 141: 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 142: 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 143: 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 144: 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 145: 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 146: 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 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 ;

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 ;

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 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 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 ;

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 ;

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 154: 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 ;

failure 155: 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 ;

failure 156: Requirement failed: {setuid.05.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setuid_spec == -1 ) ) && ( uid_coverage != Id_RealId && uid_coverage != Id_SavedSetId )) is false while error code EPERM is set ;

failure 157: Requirement failed: {setuid.05.02} error not met because its predicate (( priority_coverage == Priority_ReallyLow || ( priority_coverage == Priority_Unknown && setuid_spec == -1 ) ) && ( uid_coverage != Id_RealId && uid_coverage != Id_SavedSetId )) is false while error code EPERM is set ;
24