Описание

-submit-job-from-previous-compilation-results указывает, что анализ Polyspace ® должен начинаться после фазы компиляции с результатами компиляции из предыдущего анализа. Этот параметр в первую очередь полезен при выгрузке анализа Polyspace с настольных компьютеров на удаленные серверы. Если удаленный анализ останавливается после компиляции, например, из-за проблем связи между сервером и клиентскими компьютерами, используйте этот параметр. Обратите внимание, что эта опция используется с командами в настольных продуктах (polyspace-bug-finder и polyspace-code-prover), а не команд в серверных продуктах (polyspace-bug-finder-server(сервер поиска ошибок Polyspace) и polyspace-code-prover-server(Сервер проверки кода Polyspace)).

При выполнении удаленного анализа:

Если анализ останавливается после завершения первого шага и выполняется повторный анализ, используйте эту опцию для повторного использования результатов компиляции предыдущего анализа. Таким образом, избежать перезапуска анализа из фазы компиляции.

Если предыдущие результаты компиляции не существуют в текущей папке, возникает ошибка. Удалите опцию и перезапустите анализ с этапа компиляции.

Если анализ выполняется из интерфейса пользователя (только для настольных продуктов Polyspace), на панели Конфигурация (Configuration) можно ввести этот параметр в поле Другое (Other). Посмотрите Other.