Il s'agit de la commande tracepp qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos nombreux postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
tracepp - convertir et imprimer joliment les traces
SYNOPSIS
tracepp [OPTION]... [DANS LE FICHIER [FICHIERS]]
DESCRIPTION
Convertissez la trace dans INFILE et enregistrez-la dans un autre format, OUTFILE. Si OUTFILE n'est pas
présent, stdout est utilisé. Si INFILE n'est pas présent, stdin est utilisé.
L'entrée doit être au format brut, c'est-à-dire un fichier texte avec une action sur chaque
ligne, ou le format de trace mCRL2 (tel que généré par lps2lts, par exemple).
OPTIONS
OPTION peut être l'un des éléments suivants :
-fFormat, --format=Format
imprimer la trace dans le FORMAT spécifié : « plain » texte brut (par défaut) « states »
texte brut avec vecteurs d'état 'mcrl2' le format mCRL2 'aut' le format Aldebaran
« pointer » le format GraphViz
--horaires[=DOSSIER]
ajouter des mesures de synchronisation à FILE. Les mesures sont écrites avec l'erreur standard si
aucun FICHIER n'est fourni
Options standards :
-q, --silencieux
ne pas afficher les messages d'avertissement
-v, --verbeux
afficher de courts messages intermédiaires
-d, --déboguer
afficher des messages intermédiaires détaillés
--niveau de journal=NIVEAU
afficher des messages intermédiaires jusqu'au niveau inclus
-h, --Aidez-moi
afficher les informations d'aide
--version
afficher les informations de version
Utiliser Tracepp en ligne avec les services onworks.net
