Paramètres avancés
Commandes post-analyse, scripts, options non officielles
Pour spécifier des commandes ou des scripts qui peuvent être exécutés après la vérification, ou pour spécifier des options de ligne de commande uniquement dans l'interface utilisateur Polyspace®, utilisez les options avancées.
Options Polyspace
Rubriques
- Specify Polyspace Analysis Options
Specify Polyspace analysis options in Polyspace user interface, other IDE-s or scripts.