Aceasta este comanda lps2torx care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
lps2torx - oferă interfață TorX explorer unui LPS
REZUMAT
lps2torx [OPȚIUNE]... INFIL
DESCRIERE
Furnizați o interfață de explorator TorX la LPS în INFILE.
LPS-ul poate fi explorat folosind TorX așa cum este descris în torx_explorer(5).
OPŢIUNI
OPȚIUNE poate fi oricare dintre următoarele:
-y, --manichin
înlocuiți variabilele libere din LPS cu valori fictive
-QNUM, --qlimit=NUM
limitați enumerarea cuantificatorilor la NUM variabile. (Implicit NUM=1000, NUM=0 pentru
nelimitat).
-rNUME, --rescriere=NUME
utilizați strategia de rescrire NUME: „jitty” rescriere nervoasă (implicit) „jittyc” compilat
rescriere nervoasă 'jittyp' rescriere nervoasă cu prover
--timinguri[=FILE]
adăugați măsurătorile de sincronizare la FILE. Măsurătorile sunt scrise în eroare standard dacă
nu este furnizat niciun FIȘIER
Opțiuni standard:
-q, --Liniște
nu afișați mesaje de avertizare
-v, --verbos
afișează mesaje intermediare scurte
-d, --depanare
afișează mesaje intermediare detaliate
--nivel-log=NIVEL
afișează mesaje intermediare până la nivelul inclusiv
-h, --Ajutor
afișați informații de ajutor
--versiune
afișează informații despre versiune
Utilizați lps2torx online folosind serviciile onworks.net