Este es el comando ltsinfo que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
ltsinfo: muestra información básica sobre un LTS
SINOPSIS
información [OPCIÓN] ... [EN ARCHIVO]
DESCRIPCIÓN
Imprima información sobre el sistema de transición etiquetado (LTS) en INFILE. Si INFILE no es
suministrado, se utiliza stdin.
El formato de INFILE está determinado por su contenido. La opción --in se puede usar para forzar
el formato de INFILE. Los formatos admitidos son:
'aut' para el formato Aldebarán (CADP),
'punto' para el formato GraphViz (ya no se admite como formato de entrada),
'fsm' para el formato de máquina de estados finitos, o
'lts' para el formato mCRL2 LTS
OPCIONES
OPCIÓN puede ser cualquiera de los siguientes:
-iFORMATO, --en=FORMATO
utilizar FORMAT como formato de entrada
--tiempo[=ARCHIVO]
anexar medidas de tiempo a ARCHIVO. Las medidas se escriben con error estándar si
no se proporciona ningún ARCHIVO
Opciones estándar:
-q, --tranquilo
no mostrar mensajes de advertencia
-v, --verboso
mostrar mensajes intermedios breves
-d, --depurar
mostrar mensajes intermedios detallados
--nivel de registro=NIVEL
mostrar mensajes intermedios hasta el nivel inclusive
-h, --ayuda
mostrar información de ayuda
--versión
mostrar información de la versión
Utilice ltsinfo en línea utilizando los servicios de onworks.net
