सीपीबीएम - क्लाउड में ऑनलाइन

कार्यक्रम:

नाम

सीपीबीएम - एक सॉफ्टवेयर विश्लेषण टूलकिट (मूल रूप से: सीप्रोवर बेंचमार्किंग फ्रेमवर्क)

SYNOPSIS

सीपीबीएम उप-आदेश [विकल्पों] ...

वर्णन

यह मैनुअल पेज संक्षेप में दस्तावेज करता है सीपीबीएम आदेश।

सीपीबीएम बेंचमार्क सॉफ़्टवेयर विश्लेषण के लिए स्क्रिप्ट और टूल के संग्रह तक पहुंच प्रदान करता है
टूल्स तक पहुँच प्रदान करता है|

उप आदेशों

निम्नलिखित उप-आदेश उपलब्ध हैं; उनमें से प्रत्येक के पास विकल्पों का अपना सेट है
द्वारा दिखाया गया सीपीबीएम आदेश --मदद.

मदद | --मदद
सीपीबीएम सहायता पाठ प्रदर्शित करें।

--संस्करण
वर्तमान संस्करण प्रदर्शित करें.

घर उस पथ को प्रिंट करें जहां सीपीबीएम स्क्रिप्ट मौजूद हैं।

खोलना CPROVER बेंचमार्क पैकेज को अनपैक करें।

अद्यतन CPROVER बेंचमार्क पैकेज अपडेट करें.

init एक CPROVER बेंचमार्क पैकेज बनाएं।

रन किसी दिए गए बेंचमार्क पर सत्यापन उपकरण चलाएं और लॉग प्राप्त करें।

सिलिफाई करना
Cil के माध्यम से C स्रोत चलाएँ।

सूची-दावे
सभी दावों को एक बेंचमार्क में सूचीबद्ध करें।

csv बेंचमार्क रन से एक CSV तालिका बनाएं।

तालिका CSV से एक LaTeX तालिका बनाएं।

ग्राफ बॉक्स और स्कैटर प्लॉट के लिए GNUplot स्क्रिप्ट तैयार करें।

वेब HTML तालिका बनाएं और वेब प्रकाशन के लिए लॉग फ़ाइलें एकत्र करें

onworks.net सेवाओं का उपयोग करके ऑनलाइन सीपीबीएम का उपयोग करें