Ito ang command na lps2torx na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
lps2torx - magbigay ng interface ng TorX explorer sa isang LPS
SINOPSIS
lps2torx [OPTION]... INFILE
DESCRIPTION
Magbigay ng interface ng TorX explorer sa LPS sa INFILE.
Maaaring tuklasin ang LPS gamit ang TorX gaya ng inilarawan sa torx_explorerNa (5).
Opsyon
OPTION maaaring alinman sa mga sumusunod:
-y, --dummy
palitan ang mga libreng variable sa LPS ng mga dummy na halaga
-QNUM, --qlimit=NUM
limitahan ang enumeration ng mga quantifier sa NUM variable. (Default na NUM=1000, NUM=0 para sa
walang limitasyon).
-rNAME, --rewriter=NAME
gumamit ng diskarte sa pagsulat muli NAME: 'jitty' jitty rewriting (default) 'jittyc' compiled
jitty rewriting 'jittyp' jitty rewriting with prover
--mga oras[=FILE]
magdagdag ng mga sukat ng timing sa FILE. Ang mga sukat ay isinusulat sa karaniwang error kung
walang FILE na ibinigay
Mga karaniwang opsyon:
-q, --tahimik
huwag magpakita ng mga mensahe ng babala
-v, --verbose
magpakita ng mga maikling intermediate na mensahe
-d, --debug
magpakita ng mga detalyadong intermediate na mensahe
--log-level=ANTAS
magpakita ng mga intermediate na mensahe hanggang sa at kabilang ang antas
-h, - Tumulong
ipakita ang impormasyon ng tulong
--bersyon
ipakita ang impormasyon ng bersyon
Gamitin ang lps2torx online gamit ang mga serbisyo ng onworks.net