We're updating the issue view to help you get more done. 

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

Status

Assignee

Unassigned

Reporter

Thomas Beale

Raised By

Rong Chen

Priority

Minor