This script acts on the log file generated during a PolySpace verification. It gives some statistics about the current state of a verification:
° options and statistics of each stage
* the complexity of a verification: number of stubs, estimation of pointers complexity, ...
° the list of run-time errors found during the verification.