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.
Alexandre De Barros (2023). ImportAOTResults (https://www.mathworks.com/matlabcentral/fileexchange/28738-importaotresults), MATLAB Central File Exchange. Retrieved .
MATLAB Release Compatibility
Platform CompatibilityWindows macOS Linux
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!Start Hunting!