GoGPT Best VPN GoSearch

Icône de favori OnWorks

tracepp - En ligne dans le Cloud

Exécutez tracepp dans le fournisseur d'hébergement gratuit OnWorks sur Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS

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


Serveurs et postes de travail gratuits

Télécharger des applications Windows et Linux

Commandes Linux

Ad




×
Publicité
❤ ️Achetez, réservez ou achetez ici — gratuitement, contribue à maintenir la gratuité des services.