Опции в командной строке только

Описания опций, доступных только в командной строке

Опция на командной строке соответствует непосредственно опции на панели Configuration в пользовательском интерфейсе. Опции ниже являются исключениями к этому правилу. Основные опции соответствуют пунктам меню и полям в другом месте в пользовательском интерфейсе. Расширенные настройки не появляются в пользовательском интерфейсе. На панели Configuration необходимо задать форму командной строки этих опций в поле Other.

Аналитические опции

развернуть все

Основной

`-author`	Задайте автора проекта
`-date`	Задайте дату анализа
`-doc \| -documentation`	Отобразите документацию Polyspace в справке brwoser
`-generate-launching-script-for`	Извлеките информацию из файла проекта
`-h \| -help`	Дисплейный список возможных вариантов
`-I`	Задайте включают папку для компиляции
`-import-comments`	Импортируйте комментарии и выравнивания от предыдущего анализа
`-options-file`	Запустите Polyspace с помощью списка опций
`-prog`	Задайте имя проекта
`-report-output-name`	Задайте имя отчета
`-results-dir`	Задайте папку результатов
`-scheduler`	Задайте планировщик задания или кластер
`-sources`	Задайте исходные файлы
`-sources-list-file`	Задайте файл, содержащий список источников
`-verif-version`	Присвойте идентификатор версии
`-v \| -version`	Отобразите номер версии Polyspace

Усовершенствованный

`-asm-begin -asm-end`	Исключите специфичные для компилятора функции asm из анализа
`-custom-target`	Создайте пользовательский целевой процессор с определенными размерами типа данных
`-function-behavior-specifications`	Карта неточно анализируемая функция к стандартной функции для точного анализа
`-max-processes`	Задайте максимальное количество процессоров для анализа
`-no-assumption-on-absolute-addresses`	Удалите предположение, что абсолютное использование адреса допустимо
`-non-preemptable-tasks`	Задайте функции, которые представляют nonpreemptable задачи
`-options-for-sources`	Задайте аналитические опции, характерные для исходного файла
`-preemptable-interrupts`	Задайте функции, которые представляют выгружаемые прерывания
`-regex-replace-rgx -regex-replace-fmt`	Сделайте замены в директивах препроцессору
`-submit-job-from-previous-compilation-results`	Укажите, что аналитическое задание должно быть повторно представлено без перекомпиляции
`-tmp-dir-in-results-dir`	Сохраните временные файлы в папке результатов
`-xml-annotations-description`	Примените аннотации пользовательского кода к результатам анализа Polyspace

Документация Polyspace Code Prover

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.