Ini ialah arahan besinfo 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
besinfo - memaparkan maklumat asas tentang BES
SINOPSIS
besinfo [OPTION]... [INFILE]
DESCRIPTION
Cetak maklumat asas tentang BES dalam INFILE. Jika INFILE tiada, input standard
digunakan.
PILIHAN
OPTION boleh menjadi mana-mana yang berikut:
-f, --penuh
memaparkan pembolehubah predikat dan tandatangannya
-iFORMAT, --dalam=FORMAT
gunakan format input FORMAT: 'pbes' PBES dalam format dalaman 'pbes_text' PBES in
format tekstual dalaman 'teks' PBES dalam format tekstual (mCRL2) 'bes' BES dalam dalaman
format 'bes_text' BES dalam format teks dalaman 'cwi' BES dalam format CWI 'pgsolver'
BES dalam format PGSolver
--masa[=FAIL]
tambah ukuran pemasaan pada FILE. Pengukuran ditulis kepada ralat piawai jika
tiada FAIL disediakan
Pilihan standard:
-q, --senyap
jangan paparkan mesej amaran
-v, --verbose
memaparkan mesej perantaraan pendek
-d, --nyahpepijat
memaparkan mesej perantaraan terperinci
--peringkat-log=LEVEL
memaparkan mesej perantaraan sehingga dan termasuk tahap
-h, - membantu
memaparkan maklumat bantuan
--versi
memaparkan maklumat versi
Gunakan besinfo dalam talian menggunakan perkhidmatan onworks.net
