oship-dev team mailing list archive
-
oship-dev team
-
Mailing list archive
-
Message #01522
[Bug 630488] Re: invariant in class Section is not enforced.
** Changed in: oship
Assignee: (unassigned) => Wagner Mezaroba (wagnerfrancisco)
--
invariant in class Section is not enforced.
https://bugs.launchpad.net/bugs/630488
You received this bug notification because you are a member of OSHIP
Development Team, which is subscribed to Open Source Health Information
Platform.
Status in Open Source Health Information Platform (OSHIP): New
Bug description:
The invariant below should be enforced
Items_valid: items /= Void implies not items.is_empty
References