זוהי הפקודה pbesinfo שניתן להפעיל בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
pbesinfo - הצג מידע בסיסי על PBES
תַקצִיר
pbesinfo [אוֹפְּצִיָה]... [בקובץ]
תיאור
הדפס מידע בסיסי על ה-PBES ב-INFILE. אם INFILE אינו קיים, קלט סטנדרטי
משמש.
אפשרויות
אוֹפְּצִיָה יכול להיות כל אחד מהבאים:
-f, --מלא
להציג את משתני הפרדיקט ואת החתימה שלהם
-iפורמט, --ב=פורמט
השתמש בפורמט קלט FORMAT: 'pbes' PBES בפורמט פנימי 'pbes_text' PBES in
פורמט טקסטואלי פנימי 'טקסט' PBES בפורמט טקסטואלי (mCRL2) 'bes' BES פנימי
פורמט 'bes_text' BES בפורמט טקסטואלי פנימי 'cwi' BES בפורמט CWI 'pgsolver'
BES בפורמט PGSolver
--תזמונים[=קובץ]
הוסף מדידות תזמון ל-FILE. המדידות נכתבות לפי שגיאת תקן אם
לא מסופק FILE
אפשרויות סטנדרטיות:
-q, --שֶׁקֶט
אל תציג הודעות אזהרה
-v, --מִלוּלִי
להציג הודעות ביניים קצרות
-d, --לנפות
להציג הודעות ביניים מפורטות
--רמת יומן=רמה
להציג הודעות ביניים עד וכולל רמה
-h, - עזרה
להציג מידע עזרה
--גִרְסָה
להציג מידע על הגרסה
השתמש ב-pbesinfo באינטרנט באמצעות שירותי onworks.net
