Ini ialah arahan zombiescope 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
zombiescope - memudahkan sangkaan laluan mati SPARK
SINOPSIS
zombiescope [PILIHAN] [UNIT]
DESCRIPTION
ZombieScope untuk SPARK, zombiescope, menganalisis sangkaan laluan mati yang dijana oleh
Pemeriksa untuk SPARK dan cuba untuk menentukan keaktifan mereka secara automatik. Bagi setiap dpc
fail dibaca, ZombieScope akan menghasilkan fail sdp (laluan mati dipermudah) dan zlg pilihan
(log zombieskop) fail.
Halaman manual ini hanya meringkaskan zombiescope bendera baris arahan, sila rujuk kepada
manual Permudah penuh untuk maklumat lanjut.
PILIHAN
Pilihan ini tidak begitu mengikut sintaks baris arahan GNU yang biasa kerana pilihan bermula dengan
satu sengkang dan bukannya dua yang biasa.
-membantu Memaparkan bantuan baris arahan.
-turun
Memaparkan maklumat versi.
-nolog Jangan jana fail log ZombieScope.
-log=spesifikasi_fail
Tentukan nama fail untuk fail ZombieScope.
-nowrap
Jangan balut baris fail output.
-kosong Gunakan gaya keluaran biasa (cth. tiada tarikh atau nombor versi).
-norenum
Jangan nombor semula hipotesis dan kesimpulan dalam fail sdp.
-hyp_limit=HAD
Nyatakan bilangan maksimum hipotesis yang akan dianalisis.
Gunakan zombiescope dalam talian menggunakan perkhidmatan onworks.net
