oship-dev team mailing list archive
-
oship-dev team
-
Mailing list archive
-
Message #01656
[Bug 632606] Re: Invariant not enforced in class Instruction.
** Changed in: oship
Assignee: (unassigned) => Eduardo César (xcesar)
--
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/632606
Title:
Invariant not enforced in class Instruction.
Status in Open Source Health Information Platform (OSHIP):
New
Bug description:
Invariant Activities_valid: activities /= Void implies not activities.is_empty should be enforced.
References