← Back to team overview

oship-dev team mailing list archive

[Bug 630488] Re: invariant in class Section is not enforced.

 

** Project changed: oship => oshippy

-- 
You received this bug notification because you are a member of OSHIP
Development Team, which is subscribed to Open Source Health Information
Platform.
https://bugs.launchpad.net/bugs/630488

Title:
  invariant in class Section is not enforced.

Status in Open Source Health Information Platform - Python:
  Fix Released

Bug description:
  The invariant below should be enforced
  Items_valid: items /= Void implies not items.is_empty





References