Описание

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

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

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

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

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