Code covered by the BSD License  

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

ImportAOTResults

by

 

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 (R2010b)
Tags for This File   Please login to tag files.
Please login to add a comment or rating.

Contact us