Ito ang command na cpbm 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
cpbm - isang software analysis toolkit (orihinal: CPROVER benchmarking framework)
SINOPSIS
cpbm sub-command [pagpipilian] ...
DESCRIPTION
Ang manu-manong pahinang ito ay nagdodokumento ng maikling cpbm utos.
cpbm nagbibigay ng access sa isang koleksyon ng mga script at mga tool upang i-benchmark ang software analysis
kagamitan.
SUB-COMMANDS
Available ang mga sumusunod na sub-command; bawat isa sa kanila ay may sariling hanay ng mga pagpipilian na
ipinakita ng cpbm utos - Tumulong.
Tulungan | - Tumulong
Ipakita ang teksto ng tulong ng cpbm.
--bersyon
Ipakita ang kasalukuyang bersyon.
bahay I-print ang path kung saan nakatira ang mga script ng cpbm.
alisan ng laman Mag-unpack ng CPROVER benchmark package.
update Mag-update ng CPROVER benchmark package.
sa loob Gumawa ng CPROVER benchmark package.
tumakbo Magpatakbo ng tool sa pag-verify sa isang ibinigay na benchmark at kumuha ng mga log.
palamigin
Patakbuhin ang C source sa pamamagitan ng Cil.
listahan-claim
Ilista ang lahat ng claim sa isang benchmark.
csv Gumawa ng CSV table mula sa mga benchmark run.
mesa Gumawa ng LaTeX table mula sa CSV.
talangguhit Gumawa ng mga script ng GNUplot para sa mga box at scatter plot.
web Bumuo ng HTML table at mangolekta ng mga log file para sa web publication
Gumamit ng cpbm online gamit ang mga serbisyo ng onworks.net
