Questo è il comando mcrl2-gui che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre numerose workstation online gratuite come Ubuntu Online, Fedora Online, l'emulatore online di Windows o l'emulatore online di MAC OS
PROGRAMMA:
NOME
mcrl2-gui - interfaccia grafica per gli strumenti mCRL2
SINOSSI
mcrl2-gui [OPZIONE] ...
DESCRIZIONE
Un'interfaccia grafica per gli strumenti mCRL2.
VERSIONI
OPZIONE può essere uno dei seguenti:
--tempi[=RISORSE]
aggiungere le misurazioni dei tempi a FILE. Le misurazioni vengono scritte nell'errore standard se
non viene fornito alcun FILE
Opzioni standard:
-q, --silenzioso
non visualizzare messaggi di avviso
-v, --verboso
visualizzare brevi messaggi intermedi
-d, - debug
visualizzare messaggi intermedi dettagliati
--livello-log=LIVELLO
visualizzare messaggi intermedi fino al livello compreso
-h, --Aiuto
visualizzare le informazioni di aiuto
--versione
visualizzare le informazioni sulla versione
Utilizzare mcrl2-gui online utilizzando i servizi onworks.net
