-dos)Примите во внимание, что пути к файлам имеют стиль MS-DOS
Укажите, что DOS или Windows® файлы предоставляются для анализа.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Environment Settings.
Командная строка и файл опций: Используйте опцию -dos. См. «Информация о командной строке».
Используйте эту опцию, если содержимое папки Include или Source получено из файловой системы DOS или Windows. Опция помогает вам решить проблемы чувствительности случая и контролировать проблемы с символами.
On (по умолчанию)Анализ понимает имена файлов и включает пути для файлов Windows/DOS
Для примера с этой опцией,
#include "..\mY_TEst.h"^M
#include "..\mY_other_FILE.H"^M
решает:
#include "../my_test.h"
#include "../my_other_file.h"
В этом режиме вы видите ошибку, если в папке include есть заголовочные файлы, имена которых различаются только в случае.
ПрочьСимволы не управляются для имен файлов или путей.
Параметр: -dos |
| По умолчанию: Off |
Пример (Bug Finder):
polyspace-bug-finder -dos -I ./my_copied_include_dir -D test=1 |
Пример (Code Prover): polyspace-code-prover -dos -I ./my_copied_include_dir -D test=1 |
Пример (Bug Finder Server): polyspace-bug-finder-server -dos -I ./my_copied_include_dir -D test=1 |
Пример (Code Prover Server):
polyspace-code-prover-server -dos -I ./my_copied_include_dir -D test=1 |