VerifIEr & Code Review Notes

VerifIEr can be configured to log errors as GuardIEn Code Review Notes. These make it very easy for the messages output by VerifIEr to be attached to the action diagram, and also provides a facility for the user to comment on the note and update its status to Cleared or Rejected.