File Exchange

ImportAOTResults

Version 1.0.0.1 (929 KB) by Alexandre De Barros
A tool made to import AOT campaign results into a Polyspace verification
0.0
(0)

370 Downloads

Updated 1 Sep 2016

View License

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 (2023). ImportAOTResults (https://www.mathworks.com/matlabcentral/fileexchange/28738-importaotresults), MATLAB Central File Exchange. Retrieved .

MATLAB Release Compatibility
Created with R2010b
Compatible with any release
Platform Compatibility
Windows macOS Linux
Tags Add Tags

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!
Version Published Release Notes
1.0.0.1

Updated license
1.0.0.0