Это команда tracepp, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
tracepp - конвертировать и красиво печатать следы
СИНТАКСИС
трассировка [ВАРИАНТ] ... [ИНФАЙЛ [АУТФАЙЛ]]
ОПИСАНИЕ
Преобразуйте трассировку в INFILE и сохраните ее в другом формате в OUTFILE. Если OUTFILE не
присутствует, используется стандартный вывод. Если INFILE отсутствует, используется стандартный ввод.
Ввод должен быть либо в простом формате, что означает текстовый файл с одним действием для каждого
line или формат трассировки mCRL2 (например, сгенерированный lps2lts).
ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
ВАРИАНТ может быть любым из следующих:
-fФОРМАТ, --формат=ФОРМАТ
распечатать трассировку в указанном ФОРМАТЕ: 'plain' обычный текст (по умолчанию) 'состояния'
простой текст с векторами состояний 'mcrl2' формат mCRL2 'aut' формат Альдебарана
'расставьте точки' формат GraphViz
--сроки[=ФАЙЛОВ]
добавить измерения времени в ФАЙЛ. Измерения записываются со стандартной ошибкой, если
ФАЙЛ не предоставлен
Стандартные варианты:
-q, --тихий
не отображать предупреждающие сообщения
-v, --подробный
отображать короткие промежуточные сообщения
-d, --отлаживать
отображать подробные промежуточные сообщения
--лог-уровень=УРОВЕНЬ
отображать промежуточные сообщения до уровня включительно
-h, --Помогите
отображать справочную информацию
--версия
отображать информацию о версии
Используйте tracepp в Интернете с помощью сервисов onworks.net
