Este es el comando tracepp 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
tracepp - convertir e imprimir trazos bonitos
SINOPSIS
trampa [OPCIÓN] ... [EN ARCHIVO [PERFIL]]
DESCRIPCIÓN
Convierta la traza en INFILE y guárdelo en otro formato en OUTFILE. Si OUTFILE no es
presente, se utiliza stdout. Si INFILE no está presente, se usa stdin.
La entrada debe estar en formato plano, lo que significa un archivo de texto con una acción en cada
line, o el formato de rastreo mCRL2 (como lo genera lps2lts, por ejemplo).
OPCIONES
OPCIÓN puede ser cualquiera de los siguientes:
-fFORMATO, --formato=FORMATO
imprime la traza en el FORMATO especificado: texto plano 'plano' (predeterminado) 'estados'
texto plano con vectores de estado 'mcrl2' el formato mCRL2 'aut' el formato Aldebarán
'puntear' el formato GraphViz
--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 tracepp en línea utilizando los servicios de onworks.net
