معرفی شرکت ها

certora-cli-beta-1.0.16

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
1.0.16
1.0.15
1.0.14
1.0.13
1.0.16
1.0.15
1.0.14
1.0.13

توضیحات

Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover
ویژگی مقدار
سیستم عامل OS Independent
نام فایل certora-cli-beta-1.0.16
نام certora-cli-beta
نسخه کتابخانه 1.0.16
نگهدارنده []
ایمیل نگهدارنده []
نویسنده Certora
ایمیل نویسنده support@certora.com
آدرس صفحه اصلی https://github.com/Certora/CertoraCLI
آدرس اینترنتی https://pypi.org/project/certora-cli-beta/
مجوز -
# CertoraCLI Build and Run scripts for executing the Certora Prover on Solidity smart contracts.


نیازمندی

مقدار نام
- tabulate
- requests
- pycryptodome
- tqdm
- click


زبان مورد نیاز

مقدار نام
>=3.5 Python


نحوه نصب


نصب پکیج whl certora-cli-beta-1.0.16:

    pip install certora-cli-beta-1.0.16.whl


نصب پکیج tar.gz certora-cli-beta-1.0.16:

    pip install certora-cli-beta-1.0.16.tar.gz