Code covered by the BSD License  

Be the first to rate this file! 4 Downloads (last 30 days) File Size: 138 KB File ID: #25813




12 Nov 2009 (Updated )

A tool to receive an email notification at the end of a PolySpace verification

| Watch this File

File Information

The goal of PolySpace Email Notifier (or simply EmailNotifier) is very simple: automatically send an email at the end of a PolySpace verification that runs on a server.
The features of EmailNotifier:
- the email is sent to the author of the project
- it runs on the Queue Manager
- it is possible to send the email to another person (Cc)
- 2 mail protocols can be used : sendmail and SMTP
- if the verification has failed, the last 20 lines of the log will be showed in the email, otherwise the check statistics will be given.

Required Products Polyspace Client for Ada
Polyspace Client for C/C++
Polyspace Server for Ada
Polyspace Code Prover
MATLAB release MATLAB 7.4 (R2007a)
Other requirements Platform: Unix Language: Perl
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
14 Apr 2010

More robustness and a new mode to send notifications for unit-by-unit verifications.

17 Sep 2010

Added robustness against non responsive Queue Manager

Contact us