هذا هو الأمر lpssim الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة على الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
lpssim - محاكاة سطر الأوامر لـ LPS
موجز
lpssim [OPTION] ... [ملف]
الوصف
محاكاة LPS في INFILE عبر واجهة نصية.
OPTIONS
OPTION يمكن أن يكون أيًا مما يلي:
-y, --nodummy
لا تستبدل المتغيرات العامة في LPS بقيم وهمية
-QNUM, - حد=NUM
قصر تعداد المحددات الكمية على NUM متغيرات. (الافتراضية NUM = 1000 ، NUM = 0 من أجل
غير محدود).
-rاسم, - الكاتب=اسم
استخدام استراتيجية إعادة الكتابة NAME: إعادة كتابة jitty "jitty" (افتراضي) تم تجميع "jittyc"
jitty إعادة كتابة "jittyp" jitty مع prover
- توقيت[=FILE]
إلحاق قياسات التوقيت بالملف. تتم كتابة القياسات لخطأ معياري إذا
لم يتم توفير FILE
الخيارات القياسية:
-q, --هادئ
لا تعرض رسائل تحذير
-v, - الإسراف
عرض رسائل وسيطة قصيرة
-d, --Debug
عرض رسائل وسيطة مفصلة
--تسجيل مستوى=الدور
عرض رسائل وسيطة تصل إلى المستوى وتشمل
-h, --مساعدة
عرض معلومات المساعدة
--الإصدار
عرض معلومات الإصدار
استخدم lpssim عبر الإنترنت باستخدام خدمات onworks.net
