USER REVIEWS
This script acts on the log file generated during a PolySpace verification. It gives some statistics about the current state of a verification:dlT- options and statistics of each stage* the complexity of a verification: number of stubs, estimation...
WRITE USER REVIEW