Correct extension_validity in UID_BASED_ID class

Description

In UID_BASED_ID, the invariant "extension_validity" requires "extension != void" but the method has_extension checks if extension != void. This should be corrected to be self-consistent. See Support IM

Activity

Show:
Thomas Beale
July 18, 2008, 9:54 PM

Accepted by ARB members: TB, RC, SH, TC, EB, DK

Thomas Beale
August 11, 2008, 10:07 PM

Passed by EB, RC, TB, JA, DK

Assignee

Unassigned

Reporter

Thomas Beale

Raised By

Rong Chen

Priority

Minor
Configure