(DOS/UNIX) Выполнение верификация Программы автоматического доказательства Кода от DOS или командной строки UNIX
polyspace-code-prover [OPTIONS]
polyspace-code-prover -sources sourceFiles [OPTIONS]
polyspace-code-prover -sources-list-file listOfSources [OPTIONS]
polyspace-code-prover -options-file optFile
polyspace-code-prover -h[elp]
polyspace-code-prover
запускает верификацию Программы автоматического доказательства Кода, если ваша текущая папка содержит подпапку [OPTIONS]
sources
с исходными файлами (.c
или файлы .cxx
). Верификация рассматривает файлы в sources
и всех подпапках под sources
. Можно настроить верификацию с дополнительными опциями.
polyspace-code-prover -sources
запускает верификацию Программы автоматического доказательства Кода на исходном файле (файлах) sourceFiles
[OPTIONS]
sourceFiles
. Можно настроить верификацию с дополнительными опциями.
polyspace-code-prover -sources-list-file
запускает верификацию Программы автоматического доказательства Кода на исходных файлах, перечисленных в текстовом файле listOfSources
[OPTIONS]
listOfSources
. Можно настроить верификацию с дополнительными опциями.
polyspace-code-prover -h[elp]
перечисляет сводные данные возможных аналитических опций.