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 mcrl2-gui komutudur.
Program:
ADI
mcrl2-gui - mCRL2 araçları için grafik ön uç
SİNOPSİS
mcrl2-gui [SEÇENEK] ...
TANIM
mCRL2 araçları için grafiksel bir ön uç.
SEÇENEKLER
SEÇENEK aşağıdakilerden herhangi biri olabilir:
--zamanlamalar[=DOSYA]
DOSYA'ya zamanlama ölçümlerini ekleyin. Ölçümler, aşağıdaki durumlarda standart hataya yazılır:
DOSYA sağlanmadı
Standart seçenekler:
-q, --sessizlik
uyarı mesajlarını gösterme
-v, --ayrıntılı
kısa ara mesajları göster
-d, - hata ayıklama
ayrıntılı ara mesajları göster
--log-seviyesi=SEVİYE
seviyeye kadar ara mesajları göster
-h, --yardım et
yardım bilgilerini göster
--versiyon
sürüm bilgilerini göster
onworks.net hizmetlerini kullanarak mcrl2-gui'yi çevrimiçi kullanın
