EnglishFrenchSpanyol

Favicon OnWorks

cpbm - Dalam talian di Awan

Jalankan cpbm dalam penyedia pengehosan percuma OnWorks melalui Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS

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


Pelayan & Stesen Kerja Percuma

Muat turun apl Windows & Linux

  • 1
    AAX kepada MP3
    AAX kepada MP3
    Penggunaan: - Pasang Pengurus Audible
    dan buka fail akaun anda. - Tanda
    masuk ke dalam akaun boleh didengar anda (dalam
    permohonan). Sekarang program boleh
    menukarkan awak...
    Muat turun AAX ke MP3
  • 2
    Pautan Ujian
    Pautan Ujian
    TestLink ialah Pengurusan Ujian berasaskan web
    alat. Aplikasi ini menyediakan Ujian
    spesifikasi, Pelan ujian dan pelaksanaan,
    Pelaporan, Spesifikasi keperluan
    dan ...
    Muat turun TestLink
  • 3
    XDXF - Format Pertukaran Kamus XML
    XDXF - Format Pertukaran Kamus XML
    XDXF ialah projek untuk menyatukan semua yang sedia ada
    membuka kamus dan menyediakan kedua-dua pengguna
    dan pembangun dengan berasaskan XML universal
    format, boleh tukar dari dan ke lain...
    Muat turun XDXF - Format Pertukaran Kamus XML
  • 4
    GUI Jauh Transmisi
    GUI Jauh Transmisi
    GUI Jauh Transmisi ialah ciri
    platform silang yang kaya bahagian hadapan ke
    mengawal Transmisi dari jauh
    Daemon pelanggan Bit-Torrent melalui RPCnya
    protokol. Transmisi...
    Muat turun GUI Jauh Transmisi
  • 5
    s3cmd
    s3cmd
    Alat sumber terbuka untuk mengakses Amazon S3
    penyimpanan fail. S3cmd ialah arahan percuma
    alat talian dan pelanggan untuk memuat naik,
    mendapatkan semula dan mengurus data dalam Amazon
    S3 dan seterusnya...
    Muat turun s3cmd
  • 6
    XyZerKunG ServerTool
    XyZerKunG ServerTool
    XyZerKunG ServerTool membantu anda membuat
    pelayan Minecraft anda sendiri dan bermain dengannya
    rakan anda selama beberapa minit.
    Ciri-ciri: Buat a
    Pelayan MinecraftU...
    Muat turun XyZerKunG ServerTool
  • Lebih »

Arahan Linux

Ad