Ini ialah arahan cpbm yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.
JADUAL:
NAMA
cpbm - kit alat analisis perisian (asalnya: rangka kerja penanda aras CPROVER)
SINOPSIS
cpbm sub-perintah [pilihan] ...
DESCRIPTION
Halaman manual ini mendokumentasikan secara ringkas cpbm perintah.
cpbm menyediakan akses kepada koleksi skrip dan alatan untuk menanda aras analisis perisian
alat.
PERINTAH KECIL
Sub-perintah berikut tersedia; setiap daripada mereka mempunyai set pilihan sendiri iaitu
ditunjukkan oleh cpbm arahan - membantu.
membantu | - membantu
Paparkan teks bantuan cpbm.
--versi
Paparkan versi semasa.
rumah Cetak laluan di mana skrip cpbm berada.
membongkar Buka bungkusan penanda aras CPROVER.
maklumat Kemas kini pakej penanda aras CPROVER.
INIT Buat pakej penanda aras CPROVER.
menjalankan Jalankan alat pengesahan pada penanda aras yang diberikan dan dapatkan log.
melembutkan
Jalankan sumber C melalui Cil.
senarai-tuntutan
Senaraikan semua tuntutan dalam penanda aras.
csv Hasilkan jadual CSV daripada larian penanda aras.
meja Hasilkan jadual LaTeX daripada CSV.
graf Menghasilkan skrip GNUplot untuk plot kotak dan taburan.
web Hasilkan jadual HTML dan kumpulkan fail log untuk penerbitan web
Gunakan cpbm dalam talian menggunakan perkhidmatan onworks.net
