ImportAOTResults

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

Vous suivez désormais cette soumission

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.

Citation pour cette source

Alexandre De Barros (2026). ImportAOTResults (https://fr.mathworks.com/matlabcentral/fileexchange/28738-importaotresults), MATLAB Central File Exchange. Extrait(e) le .

Informations générales

Compatibilité avec les versions de MATLAB

  • Compatible avec toutes les versions

Plateformes compatibles

  • Windows
  • macOS
  • Linux
Version Publié le Notes de version Action
1.0.0.1

Updated license

1.0.0.0