Generate Checks Report
Tool is designed to get report about checks of PolySpace Results. It extracts information from PolySpace-Doc/RTE_View.txt file, located in each PolySpace result.
and generates 2 files formats (CSV and XML) adding source code line and expanded source code for each check.
It works for one or several PolySpace results.
It is recommended to read carefully the associated documentation in the "Doc" sub-folder.
Cite As
David Jaffry (2025). Generate Checks Report (https://se.mathworks.com/matlabcentral/fileexchange/21943-generate-checks-report), MATLAB Central File Exchange. Retrieved .
MATLAB Release Compatibility
Platform Compatibility
Windows macOS LinuxCategories
- Code Verification > Polyspace Code Prover >
- Verification, Validation, and Test > Polyspace Code Prover >
- Reporting and Database Access > MATLAB Report Generator >
Tags
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Discover Live Editor
Create scripts with code, output, and formatted text in a single executable document.