Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen cpbm komutudur.
Program:
ADI
cpbm - bir yazılım analizi araç takımı (başlangıçta: CPROVER kıyaslama çerçevesi)
SİNOPSİS
cpbm alt komut [seçenekleri] Kendi ID’n ile mağazalarını oluştur
TANIM
Bu kılavuz sayfası kısaca şunları belgelemektedir: cpbm Komut.
cpbm yazılım analizini kıyaslamak için bir dizi komut dosyasına ve araçlara erişim sağlar
araç sağlar.
ALT KOMUTLAR
Aşağıdaki alt komutlar mevcuttur; her birinin kendi seçenekleri vardır.
tarafından sunulan cpbm komuta --yardım et.
yardım et | --yardım et
cpbm yardım metnini görüntüleyin.
--versiyon
Geçerli sürümü görüntüleyin.
Anasayfa cpbm komut dosyalarının bulunduğu yolu yazdırın.
açmak Bir CPROVER kıyaslama paketini açın.
güncelleştirme Bir CPROVER karşılaştırma paketini güncelleyin.
init Bir CPROVER kıyaslama paketi oluşturun.
koşmak Belirli bir kıyaslama üzerinde bir doğrulama aracı çalıştırın ve günlükleri alın.
güzelleştirmek
C kaynaklarını Cil aracılığıyla çalıştırın.
liste talepleri
Tüm talepleri bir kıyaslamada listeleyin.
csv Karşılaştırma çalışmalarından bir CSV tablosu oluşturun.
tablo CSV'den bir LaTeX tablosu oluşturun.
grafik Kutu ve dağılım grafikleri için GNUplot komut dosyaları üretin.
ağ Web yayını için HTML tablosu oluşturun ve günlük dosyalarını toplayın
onworks.net hizmetlerini kullanarak cpbm'yi çevrimiçi kullanın
