Contenu principal

Paramètres d’exécution

Analyse à distance, dépôts de résultats

Pour indiquer que l'analyse Bug Finder doit être effectuée sur un serveur à distance ou qu'elle doit produire des résultats plus rapidement que le mode d'analyse normal, utilisez l'option Paramètres d'exécution.

Options Polyspace

Rubriques