זוהי הפקודה mcrl2-gui שניתן להריץ בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות החינמיות שלנו כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS.
תָכְנִית:
שֵׁם
mcrl2-gui - ממשק גרפי עבור כלי mCRL2
תַקצִיר
mcrl2-gUI [אוֹפְּצִיָה] ...
תיאור
ממשק גרפי עבור כלי mCRL2.
אפשרויות
אוֹפְּצִיָה יכול להיות כל אחד מהבאים:
--תזמונים[=קובץ]
הוסף מדידות תזמון ל-FILE. המדידות נכתבות לפי שגיאת תקן אם
לא מסופק FILE
אפשרויות סטנדרטיות:
-q, --שֶׁקֶט
אל תציג הודעות אזהרה
-v, --מִלוּלִי
להציג הודעות ביניים קצרות
-d, --לנפות
להציג הודעות ביניים מפורטות
--רמת יומן=רמה
להציג הודעות ביניים עד וכולל רמה
-h, - עזרה
להציג מידע עזרה
--גִרְסָה
להציג מידע על הגרסה
השתמש ב-mcrl2-gui באופן מקוון באמצעות שירותי onworks.net