View License

Download apps, toolboxes, and other File Exchange content using Add-On Explorer in MATLAB.

» Watch video

Be the first to rate this file! 2 Downloads (last 30 days) File Size: 929 KB File ID: #28738 Version:
image thumbnail




17 Sep 2010 (Updated )

A tool made to import AOT campaign results into a Polyspace verification

| Watch this File

File Information

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.

Required Products Polyspace Client for Ada
Polyspace Client for C/C++
MATLAB release MATLAB 7.11 (R2010b)
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
01 Sep 2016

Updated license

Contact us