นี่คือคำสั่ง tracepp ที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้เวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
tracepp - แปลงและพิมพ์ร่องรอยที่สวยงาม
เรื่องย่อ
ติดตาม [ทางเลือกที่-อินไฟล [ภายนอก]]
DESCRIPTION
แปลงการติดตามใน INFILE และบันทึกในรูปแบบอื่นเป็น OUTFILE ถ้า OUTFILE ไม่ใช่
ปัจจุบันใช้ stdout หากไม่มี INFILE จะใช้ stdin
อินพุตควรอยู่ในรูปแบบธรรมดา ซึ่งหมายความว่าไฟล์ข้อความที่มีการดำเนินการอย่างใดอย่างหนึ่งในแต่ละไฟล์
บรรทัด หรือรูปแบบการติดตาม mCRL2 (เช่น สร้างโดย lps2lts เป็นต้น)
OPTIONS
ทางเลือกที่ สามารถเป็นอย่างใดอย่างหนึ่งต่อไปนี้:
-fFORMAT, --รูปแบบ=FORMAT
พิมพ์การติดตามในรูปแบบที่ระบุ: 'ธรรมดา' ข้อความธรรมดา (ค่าเริ่มต้น) 'สถานะ'
ข้อความธรรมดาที่มีสถานะเวกเตอร์ 'mcrl2' รูปแบบ mCRL2 'aut' รูปแบบ Aldebaran
'จุด' รูปแบบ GraphViz
--กำหนดเวลา[=ไฟล์]
ผนวกการวัดเวลาเข้ากับ FILE การวัดจะถูกเขียนไปยังข้อผิดพลาดมาตรฐาน if
ไม่มีไฟล์ให้
ตัวเลือกมาตรฐาน:
-q, --เงียบ
ไม่แสดงข้อความเตือน
-v, --รายละเอียด
แสดงข้อความกลางสั้นๆ
-d, --debug
แสดงข้อความระดับกลางโดยละเอียด
--log-ระดับ=ระดับ
แสดงข้อความระดับกลางถึงและรวมถึงระดับ
-h, --ช่วยด้วย
แสดงข้อมูลช่วยเหลือ
--รุ่น
แสดงข้อมูลรุ่น
ใช้ tracepp ออนไลน์โดยใช้บริการ onworks.net
