यह कमांड coqchk.opt है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे कि उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।
कार्यक्रम:
नाम
coqchk - Coq प्रूफ चेकर संकलित पुस्तकालय सत्यापनकर्ता
SYNOPSIS
coqchk [ विकल्पों ] मॉड्यूल
वर्णन
coqchk संकलित पुस्तकालयों (coqc द्वारा निर्मित .vo फ़ाइलें) का स्टैंडअलोन चेकर है
कॉक प्रूफ सहायक. अधिक जानकारी के लिए संदर्भ मैनुअल देखें। यह साथ लौटता है
यदि सभी अनुरोधित कार्य सफल हो गए तो निकास कोड 0। एक गैर-शून्य रिटर्न कोड का मतलब यह है
कुछ गलत हो गया: कुछ लाइब्रेरी नहीं मिली, दूषित सामग्री, टाइप-चेकिंग
असफलता, आदि।
मॉड्यूल जांचे जाने वाले मॉड्यूल की एक सूची है। मॉड्यूल को संक्षिप्त या द्वारा संदर्भित किया जा सकता है
योग्य नाम.
विकल्प
-I डीआईआर, --शामिल दीर
निर्देशिका जोड़ें दीर शामिल पथ में
-R दीर कोकदिर
भौतिक रूप से पुनरावर्ती मानचित्रण करें दीर तार्किक करने के लिए कोकदिर
-संतान
Coqchk को कम क्रियाशील बनाता है।
-स्वीकार करते हैं मॉड्यूल
निर्दिष्ट मॉड्यूल और उसकी सभी निर्भरताओं को विश्वसनीय के रूप में टैग करें, और नहीं किया जाएगा
दोबारा जाँच की गई, जब तक कि अन्य विकल्पों द्वारा स्पष्ट रूप से अनुरोध न किया गया हो।
-नोरेक मॉड्यूल
निर्दिष्ट करता है कि दिए गए मॉड्यूल को उसकी जांच करने का अनुरोध किए बिना सत्यापित किया जाएगा
निर्भरता।
-एम, --याद
चेकर द्वारा उपयोग की गई मेमोरी का सारांश प्रदर्शित करता है।
-ओ, --आउटपुट-संदर्भ
सत्यापित की गई तार्किक सामग्री का सारांश प्रदर्शित करता है: धारणाएँ और
असंवेदनशीलता का उपयोग.
-अप्रत्याशित-सेट
चेकर को उन पुस्तकालयों को स्वीकार करने की अनुमति देता है जिन्हें इस ध्वज के साथ संकलित किया गया है।
-v coqchk संस्करण प्रिंट करें और बाहर निकलें।
-coqlib दीर
मानक लाइब्रेरी के डिफ़ॉल्ट स्थान को ओवरराइड करता है।
-कहां है coqchk मानक लाइब्रेरी स्थान और निकास प्रिंट करें।
-एच, --मदद
विकल्पों की सूची प्रिंट करें
onworks.net सेवाओं का उपयोग करके ऑनलाइन coqchk.opt का उपयोग करें