Описание

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

Когда вы выполняете удаленный анализ:

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

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

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