-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' |
Пример (средство поиска ошибки):
polyspace-bug-finder -dos -I ./my_copied_include_dir -D test=1 |
Пример (программа автоматического доказательства кода): polyspace-code-prover -dos -I ./my_copied_include_dir -D test=1 |
Пример (сервер средства поиска ошибки): 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 |