Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi öykünücüsü veya MAC OS çevrimiçi öykünücüsü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen komut denetleyicisidir.
Program:
ADI
denetleyicisi - SPARK Proof Checker
SİNOPSİS
denetleyicisi [SEÇENEKLER] [DOSYA]
AÇIKLAMA
SPARK Proof Checker, tarafından üretilen doğrulama koşullarını boşaltmak için kullanılabilir.
Examiner (*.vcg), muhtemelen Basitleştirici (*.siv) ile basitleştirilmiştir. Bu komut genellikle
doğrulama koşulları Basitleştirici tarafından otomatik olarak boşaltılamadığında kullanılır.
Varsayılan olarak denetleyicisi etkileşimli modda çalışır. Kullanıcıdan gelen komutları kabul eder ve yazar.
bunları bir cmd dosyasına (veya tarafından belirtilen başka bir dosyaya) -komut_günlüğü seçenek). Bu dosya olabilir
daha sonra çalıştırmak için kullanılır denetleyicisi toplu modda (seçenek kullanılarak -uygulamak). Ek olarak, kanıt günlüğü
plg dosyasına yazılır.
SEÇENEKLER
Seçeneklerin bir özeti aşağıda yer almaktadır. Tüm seçenekler en kısa olarak kısaltılabilir
benzersiz önek.
-Yardım Seçeneklerin özetini göster.
-version
Sürüm bilgilerini görüntüleyin.
-sade Düz bir çıktı stili benimseyin (örneğin tarih veya sürüm numarası yok).
-overwrite_warning
Komut veya prova günlük dosyalarının üzerine yazmak için onay gerekli.
-command_log=LOG DOSYASI
Komut günlük dosyası için dosya adını belirtin.
-proof_log=PLG_FILE
Prova günlük dosyası için dosya adını belirtin.
-yürüt=LOG DOSYASI
Önceden oluşturulmuş bir komut günlük dosyasını yürütün.
-devam et
Önceden kaydedilmiş bir oturumu devam ettirin.
onworks.net hizmetlerini kullanarak denetleyiciyi çevrimiçi kullanın
