File Exchange

image thumbnail

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 Downloads

Updated 01 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.

Comments and Ratings (0)

Updates

1.0.0.1

Updated license

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