Exponenta Banner

-sources

Задайте исходные файлы

Синтаксис

-sources file1[,file2,...]
-sources file1 -sources file2

Описание

-sources file1[,file2,...] или -sources file1 -sources file2 задает список исходных файлов, которые вы хотите анализировать. Можно использовать стандартные подстановочные знаки UNIX® с этой опцией, чтобы задать источники.

Исходные файлы скомпилированы в порядке, в котором они заданы.

Примеры

Анализируйте файлы mymain.c, funAlgebra.c, и funGeometry.c.

  • Средство поиска ошибки:

    polyspace-bug-finder -lang c -sources mymain.c,funAlgebra.c,funGeometry.c

  • Программа автоматического доказательства кода:

    polyspace-code-prover -lang c -sources mymain.c,funAlgebra.c,funGeometry.c

  • Сервер средства поиска ошибки:

    polyspace-bug-finder-server -lang c -sources mymain.c,funAlgebra.c,funGeometry.c

  • Сервер программы автоматического доказательства кода:

    polyspace-code-prover-server -lang c -sources mymain.c,funAlgebra.c,funGeometry.c

Смотрите также

|

Темы

Документация Polyspace Code Prover Server
Поддержка