Ito ang command lpssim na maaaring patakbuhin sa OnWorks free 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
lpssim - command-line simulation ng isang LPS
SINOPSIS
lpssim [OPTION]... [INFILE]
DESCRIPTION
Gayahin ang LPS sa INFILE sa pamamagitan ng text-based na interface.
Opsyon
OPTION maaaring alinman sa mga sumusunod:
-y, --nodummy
huwag palitan ang mga global variable sa LPS ng mga dummy value
-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
Gumamit ng lpssim online gamit ang mga serbisyo ng onworks.net
