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