oship-dev team mailing list archive

[Eduardo César <632606@xxxxxxxxxxxxxxxxxx>]

** Changed in: oship
       Status: New => Fix Released

-- 
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):
  Fix Released

Bug description:
  Invariant Activities_valid: activities /= Void implies not activities.is_empty should be enforced.