- r Задают имя файла model.rtw

-r file_name

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

- v Задают многословный уровень

-v number

Задайте number, указывающий на многословный уровень. Если вы не используете эту опцию, значение по умолчанию является тем.

- l Указывают, что путь к локальной переменной включает файлы

-l path

Укажите, что папка path к локальной переменной включает файлы. TLC ищет этот путь в заданном порядке.

- m Задают максимальное количество ошибок

-m number

Задайте максимальный number ошибок, о которых сообщает TLC до завершения перевода файла .tlc.

Если вы не используете эту опцию, значение по умолчанию равняется пяти.

- O Задают путь к выходному файлу

-O path

Задайте папку path, чтобы поместить выходные файлы.

Если вы не используете эту опцию, TLC помещает выходные файлы в текущую папку.

- d [a|c|n|o] Вызывают режим отладки

-da выполняет любые %assert директивы

-dc вызывает отладчик командной строки TLC

-dn производит файлы журнала, которые указывают на те строки хит и те строки, пропущенные во время компиляции.

-do отключает отладку поведения

- Задавать параметры

-a identifier = expression

Задайте параметры, чтобы изменить поведение вашей программы TLC. Например, эта опция используется генератором кода, чтобы установить встраивание пределов размера файла или параметров.

- p прогресс Печати

-p number

Распечатайте прогресс указания a'.' для каждого number примитивных выполняемых операций TLC.

- проверки Производительности линта и статистика во время выполнения

-lint

Выполните простые проверки производительности и соберите статистические данные во время выполнения.

- Синтаксический анализ xO только

-xO

Проанализируйте только файл TLC; не выполняйте его.