Download All

Code covered by the BSD License  

Highlights from
ImportAOTResults

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

ImportAOTResults

by Alex Debarros

 

17 Sep 2010

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

| Watch this File

File Information
Description

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 (2010b)
Tags for This File  
Everyone's Tags
Tags I've Applied
Add New Tags Please login to tag files.
Please login to add a comment or rating.
Tag Activity for this File
Tag Applied By Date/Time
polyspace Alex Debarros 21 Sep 2010 12:32:00

Contact us at files@mathworks.com