Ini adalah perintah cpbm yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
cpbm - alat analisis perangkat lunak (aslinya: kerangka kerja pembandingan CPROVER)
RINGKASAN
cpbm sub-perintah [Pilihan] ...
DESKRIPSI
Halaman manual ini mendokumentasikan secara singkat cpbm perintah.
cpbm menyediakan akses ke kumpulan skrip dan alat untuk membandingkan analisis perangkat lunak
alat.
SUB-PERINTAH
Sub-perintah berikut tersedia; masing-masing dari mereka memiliki serangkaian pilihannya sendiri yaitu
ditunjukkan oleh cpbm Command --membantu.
membantu | --membantu
Tampilkan teks bantuan cpbm.
--Versi: kapan
Tampilkan versi saat ini.
rumah Cetak jalur tempat skrip cpbm berada.
membongkar Buka kemasan paket benchmark CPROVER.
memperbarui Perbarui paket benchmark CPROVER.
init Buat paket benchmark CPROVER.
menjalankan Jalankan alat verifikasi pada tolok ukur tertentu dan dapatkan log.
mempermalukan
Jalankan sumber C melalui Cil.
daftar-klaim
Buat daftar semua klaim dalam tolok ukur.
csv Menghasilkan tabel CSV dari benchmark berjalan.
tabel Menghasilkan tabel LaTeX dari CSV.
grafik Menghasilkan skrip GNUplot untuk plot kotak dan pencar.
jaringan Hasilkan tabel HTML dan kumpulkan file log untuk publikasi web
Gunakan cpbm online menggunakan layanan onworks.net
