Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

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 August 11, 2008 at 10:07 PM

Passed by EB, RC, TB, JA, DK

Thomas Beale July 18, 2008 at 9:54 PM

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

Fixed

Details

Assignee

Reporter

Raised By

Rong Chen

Priority

Created March 3, 2008 at 8:35 AM
Updated August 11, 2008 at 10:27 PM
Resolved August 11, 2008 at 10:27 PM