Dit is de opdracht mcrl2-gui die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator
PROGRAMMA:
NAAM
mcrl2-gui - grafische front-end voor mCRL2-tools
KORTE INHOUD
mcrl2-gui [OPTIE] ...
PRODUCTBESCHRIJVING
Een grafische front-end voor mCRL2-tools.
OPTIES
OPTIE kan een van de volgende zijn:
--tijden[=FILE]
timingmetingen toevoegen aan FILE. Metingen worden naar de standaardfout geschreven als
er is geen BESTAND aanwezig
Standaard opties:
-q, --stil
geen waarschuwingsberichten weergeven
-v, --uitgebreid
korte tussenberichten weergeven
-d, --debuggen
gedetailleerde tussenberichten weergeven
--Log niveau=NIVEAU
tussenberichten weergeven tot en met niveau
-h, --help
help informatie weergeven
--versie
versie-informatie weergeven
Gebruik mcrl2-gui online met behulp van onworks.net-services
