oshippy-dev team mailing list archive

[Launchpad Bug Tracker <632606@xxxxxxxxxxxxxxxxxx>]

You have been subscribed to a public bug:

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

** Affects: oshippy
     Importance: High
     Assignee: Eduardo César (xcesar)
         Status: Fix Released

-- 
Invariant not enforced in class Instruction.
https://bugs.launchpad.net/bugs/632606
You received this bug notification because you are a member of OSHIPpy Developers, which is subscribed to OSHIPpy.