oship-dev team mailing list archive

[Sergio Miranda Freire <sergio@xxxxxxxxxxxxxxx>]

Public bug reported:

The invariant versionsValid is not enforced:

Versions_valid: versions /= Void and then not versions.is_empty


Maybe it would be interesting to have a representation function for this
class.

** Affects: oship
     Importance: High
         Status: New

** Changed in: oship
   Importance: Undecided => High

-- 
some issues in Contribution
https://bugs.launchpad.net/bugs/625974
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 versionsValid is not enforced:

Versions_valid: versions /= Void and then not versions.is_empty



Maybe it would be interesting to have a representation function for this class.