Это команда besinfo, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
besinfo - отображать основную информацию о BES
СИНТАКСИС
бесинфо [ВАРИАНТ] ... [ИНФАЙЛ]
ОПИСАНИЕ
Выведите основную информацию о BES в INFILE. Если INFILE отсутствует, стандартный ввод
используется.
ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
ВАРИАНТ может быть любым из следующих:
-f, --полный
отображать переменные предиката и их подпись
-iФОРМАТ, --в=ФОРМАТ
использовать формат ввода FORMAT: 'pbes' PBES во внутреннем формате 'pbes_text' PBES в
внутренний текстовый формат 'text' PBES в текстовом (mCRL2) формате 'bes' BES во внутреннем
формат 'bes_text' BES во внутреннем текстовом формате 'cwi' BES в формате CWI 'pgsolver'
BES в формате PGSolver
--сроки[=ФАЙЛОВ]
добавить измерения времени в ФАЙЛ. Измерения записываются со стандартной ошибкой, если
ФАЙЛ не предоставлен
Стандартные варианты:
-q, --тихий
не отображать предупреждающие сообщения
-v, --подробный
отображать короткие промежуточные сообщения
-d, --отлаживать
отображать подробные промежуточные сообщения
--лог-уровень=УРОВЕНЬ
отображать промежуточные сообщения до уровня включительно
-h, --Помогите
отображать справочную информацию
--версия
отображать информацию о версии
Используйте besinfo онлайн с помощью сервисов onworks.net
