זוהי הפקודה 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
