To jest polecenie tracepp, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu MAC OS
PROGRAM:
IMIĘ
tracepp - konwertuj i ładnie drukuj ślady
STRESZCZENIE
śledzeniepp [OPCJA]... [W PLIKU [PLIK WYJŚCIOWY]]
OPIS
Przekonwertuj ślad w INFILE i zapisz go w innym formacie w OUTFILE. Jeśli OUTFILE nie jest
obecne, używane jest standardowe wyjście. Jeśli INFILE nie jest obecny, używane jest standardowe wejście.
Dane wejściowe powinny mieć zwykły format, co oznacza plik tekstowy z jedną akcją na każdym
line lub format śledzenia mCRL2 (na przykład wygenerowany przez lps2lts).
OPCJE
OPCJA może być jednym z następujących:
-fFORMAT, --format=FORMAT
wydrukuj ślad w określonym FORMACIE: „zwykły” zwykły tekst (domyślnie) „stany”
zwykły tekst z wektorami stanu „mcrl2” format mCRL2 „aut” format Aldebarana
„kropka” w formacie GraphViz
--czasy[=FILE]
dołącz pomiary czasu do pliku FILE. Pomiary są zapisywane z błędem standardowym, jeśli
nie podano żadnego PLIKU
Opcje standardowe:
-q, --cichy
nie wyświetlaj komunikatów ostrzegawczych
-v, --gadatliwy
wyświetlaj krótkie komunikaty pośrednie
-d, --odpluskwić
wyświetlaj szczegółowe komunikaty pośrednie
--poziom-logarytmowania=POZIOM
wyświetlaj komunikaty pośrednie do poziomu włącznie
-h, --help
wyświetl informacje pomocy
--wersja
wyświetl informacje o wersji
Korzystaj z funkcji Trapp online, korzystając z usług onworks.net
