ImportAOTResults
A tool made to import AOT campaign results into a Polyspace verification
Al momento, stai seguendo questo contributo
- Vedrai gli aggiornamenti nel tuo feed del contenuto seguito
- Potresti ricevere delle email a seconda delle tue preferenze per le comunicazioni
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.
Cita come
Alexandre De Barros (2026). ImportAOTResults (https://it.mathworks.com/matlabcentral/fileexchange/28738-importaotresults), MATLAB Central File Exchange. Recuperato .
Informazioni generali
- Versione 1.0.0.1 (929 KB)
Compatibilità della release di MATLAB
- Compatibile con qualsiasi release
Compatibilità della piattaforma
- Windows
- macOS
- Linux
