این جستجوگر فرمانی است که می تواند در ارائه دهنده میزبانی رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
چکر - SPARK Proof Checker
خلاصه
شطرنجی کردن [گزینه ها] [فایل]
شرح
SPARK Proof Checker را می توان برای تخلیه شرایط تأیید تولید شده توسط
آزمایشگر (*.vcg)، احتمالاً توسط Simplifier (*.siv) ساده شده است. این دستور معمولا
زمانی استفاده می شود که شرایط تأیید به طور خودکار توسط Simplifier تخلیه نشود.
به صورت پیش فرض شطرنجی کردن در حالت تعاملی اجرا می شود. دستورات کاربر را می پذیرد و می نویسد
آنها را در یک فایل cmd (یا فایل دیگری که توسط -command_log گزینه). این فایل می تواند باشد
بعدا برای اجرا استفاده شد شطرنجی کردن در حالت دسته ای (با استفاده از گزینه -اجرا کردن). علاوه بر این، گزارش اثبات
در یک فایل plg نوشته شده است.
OPTIONS
خلاصه ای از گزینه ها در زیر گنجانده شده است. همه گزینه ها ممکن است به اختصار به کوتاه ترین باشند
پیشوند منحصر به فرد
-کمک نمایش خلاصه گزینه ها
-version
نمایش اطلاعات نسخه
-جلگه یک سبک خروجی ساده (مثلاً بدون تاریخ یا شماره نسخه) اتخاذ کنید.
-overwrite_warning
برای بازنویسی فایل‌های گزارش دستور یا اثبات نیاز به تأیید است.
-command_log=ورود به سیستم فایل
نام فایل را برای فایل لاگ فرمان مشخص کنید.
-proof_log=PLG_FILE
نام فایل را برای فایل لاگ اثبات مشخص کنید.
-execute=ورود به سیستم فایل
یک فایل گزارش دستوری که قبلا تولید شده است را اجرا کنید.
-از سرگیری
یک جلسه ذخیره شده قبلی را از سر بگیرید.
با استفاده از خدمات onworks.net از چکر آنلاین استفاده کنید
