Задайте исходные файлы, папку результатов и другие опции с polyspace-code-prover-server команда.
-author | Задайте автора проекта |
-date | Задайте дату анализа |
-doc | -documentation | Отобразите документацию Polyspace в браузере документации |
-generate-launching-script-for | Извлеките информацию из файла проекта |
-h[elp] | Дисплейный список возможных вариантов |
-I | Задайте включают папку для компиляции |
-import-comments | Импортируйте информацию об анализе из предыдущего анализа |
-list-all-values | Отобразите допустимые аргументы опции для данного параметра командной строки |
-options-file | Запустите Polyspace с помощью списка опций |
-prog | Задайте имя проекта |
-results-dir | Задайте папку результатов |
-scheduler | Задайте планировщик задания или кластер |
-sources | Задайте исходные файлы |
-sources-list-file | Задайте файл, содержащий список источников |
-verif-version | Присвойте идентификатор версии |
-v[ersion] | Отобразите номер версии Polyspace |
Импортируйте информацию об анализе из предыдущего анализа Polyspace
Импортируйте информацию, такую как состояние, серьезность и дополнительные примечания из другого файла результата Polyspace®.
