Because there's no PO model, the user should not be able to activate/deactivate
invariants that are mined from a PO log and shown in the invariants table. This
is because we can't update a model if the model doesn't exist.
Original issue reported on code.google.com by bestchai on 5 Dec 2011 at 10:54
Original issue reported on code.google.com by
bestchai
on 5 Dec 2011 at 10:54