Задайте включают папку для компиляции
-I folder
-I задает папку, которая содержит, включают файлы, требуемые для компиляции ваших источников. Можно задать только одну папку для каждого экземпляра folder-I. Однако можно задать эту опцию многократно.
Анализ ищет, включают файлы относительно путей к папкам, которые вы задаете. Например, если ваш код содержит директиву препроцессору #include<../mylib.h> и вы включаете папку:
C:\My_Project\MySourceFiles\Includes
C:\My_Project\MySourceFiles должен содержать файл mylib.h.Анализ автоматически включает ./sources папка (если это существует) после включать папок, которые вы задаете.
Включайте две папки с анализом:
Bug Finder:
polyspace-bug-finder -I /com1/inc -I /com1/sys/inc
Программа автоматического доказательства кода:
polyspace-code-prover -I /com1/inc -I /com1/sys/inc
Сервер Bug Finder:
polyspace-bug-finder-server -I /com1/inc -I /com1/sys/inc
Сервер программы автоматического доказательства кода:
polyspace-code-prover-server -I /com1/inc -I /com1/sys/inc
Исходная папка неявно включена. Включайте файлы в исходную папку, может быть найден автоматически без явного включения исходной папки с -I опция.
Если вы используете Polyspace® в качестве Вас Расширения кода в ИДАХ, введите эту опцию в файл опций анализа. Смотрите файл опций.