ImportAOTResults
A tool made to import AOT campaign results into a Polyspace verification
You are now following this Submission
- You will see updates in your followed content feed
- You may receive emails, depending on your communication preferences
Use ImportAOTResults to import the results of an AOT campaign into your Polyspace results.
The review information of checks reached by the AOT will be updated with AOT coverage information.
Cite As
Alexandre De Barros (2026). ImportAOTResults (https://uk.mathworks.com/matlabcentral/fileexchange/28738-importaotresults), MATLAB Central File Exchange. Retrieved .
General Information
- Version 1.0.0.1 (929 KB)
MATLAB Release Compatibility
- Compatible with any release
Platform Compatibility
- Windows
- macOS
- Linux
