certora-cli-alpha-nast-mutation-test

Name	certora-cli-alpha-nast-mutation-test JSON
Version	20230905.8.3.707745 JSON
	download
home_page	https://pypi.org/project/certora-cli-alpha-nast-mutation-test
Summary	Runner for the Certora Prover
upload_time	2023-09-05 08:04:05
maintainer
docs_url	None
author	Certora
requires_python	>=3.8
license
keywords
VCS
bugtrack_url
requirements	No requirements were recorded.
Travis-CI	No Travis.
coveralls test coverage	No coveralls.

            Commit 372267d. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

            

Raw data

            {
    "_id": null,
    "home_page": "https://pypi.org/project/certora-cli-alpha-nast-mutation-test",
    "name": "certora-cli-alpha-nast-mutation-test",
    "maintainer": "",
    "docs_url": null,
    "requires_python": ">=3.8",
    "maintainer_email": "",
    "keywords": "",
    "author": "Certora",
    "author_email": "support@certora.com",
    "download_url": "https://files.pythonhosted.org/packages/48/06/130070e29b2244633c6b6c6769808a186dd92da8f3e9b40203c0795a7c5c/certora-cli-alpha-nast-mutation-test-20230905.8.3.707745.tar.gz",
    "platform": null,
    "description": "Commit 372267d. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.\n",
    "bugtrack_url": null,
    "license": "",
    "summary": "Runner for the Certora Prover",
    "version": "20230905.8.3.707745",
    "project_urls": {
        "Homepage": "https://pypi.org/project/certora-cli-alpha-nast-mutation-test"
    },
    "split_keywords": [],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "1a571b2aaf6b5ac70bb218a7668cc878d9249b03233583866584728d8434945c",
                "md5": "97a9d00727cfd6929b4d3cd94e41d210",
                "sha256": "2fc0af3cd860ee62afd591469f8130d27941eeaea642f4318c567bdee015e360"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_nast_mutation_test-20230905.8.3.707745-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "97a9d00727cfd6929b4d3cd94e41d210",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 38371563,
            "upload_time": "2023-09-05T08:03:56",
            "upload_time_iso_8601": "2023-09-05T08:03:56.756407Z",
            "url": "https://files.pythonhosted.org/packages/1a/57/1b2aaf6b5ac70bb218a7668cc878d9249b03233583866584728d8434945c/certora_cli_alpha_nast_mutation_test-20230905.8.3.707745-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "e92d2a413f86616750ba8db6c9670f33ce70fe212a7fef7eb381f098f4a2bdc9",
                "md5": "e19bb365ddc5ea8e91f0f4b3f29516e7",
                "sha256": "4e63f21c05f432250447a1ec1999250d80cd5815509480ac12bb06344dc6beef"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_nast_mutation_test-20230905.8.3.707745-py3-none-macosx_10_9_universal2.whl",
            "has_sig": false,
            "md5_digest": "e19bb365ddc5ea8e91f0f4b3f29516e7",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 39924814,
            "upload_time": "2023-09-05T08:04:03",
            "upload_time_iso_8601": "2023-09-05T08:04:03.448431Z",
            "url": "https://files.pythonhosted.org/packages/e9/2d/2a413f86616750ba8db6c9670f33ce70fe212a7fef7eb381f098f4a2bdc9/certora_cli_alpha_nast_mutation_test-20230905.8.3.707745-py3-none-macosx_10_9_universal2.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "3d5edcd547606a7788209bda466032c3206d808a423be3784e50f353bfc1b91c",
                "md5": "cded4a64a1cc4e9ad59f8493b0e00426",
                "sha256": "7f95b382b804f880eb2f090af9f43288f514c04b1ff5ee80ff803dd22af53782"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_nast_mutation_test-20230905.8.3.707745-py3-none-manylinux_2_28_x86_64.whl",
            "has_sig": false,
            "md5_digest": "cded4a64a1cc4e9ad59f8493b0e00426",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 40033035,
            "upload_time": "2023-09-05T08:04:00",
            "upload_time_iso_8601": "2023-09-05T08:04:00.171869Z",
            "url": "https://files.pythonhosted.org/packages/3d/5e/dcd547606a7788209bda466032c3206d808a423be3784e50f353bfc1b91c/certora_cli_alpha_nast_mutation_test-20230905.8.3.707745-py3-none-manylinux_2_28_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "4806130070e29b2244633c6b6c6769808a186dd92da8f3e9b40203c0795a7c5c",
                "md5": "e82708dad430e857ea74408397fad6b4",
                "sha256": "a6598fbd905950de71c644ff601b992350660996a5b0afd905fa373c401fd3aa"
            },
            "downloads": -1,
            "filename": "certora-cli-alpha-nast-mutation-test-20230905.8.3.707745.tar.gz",
            "has_sig": false,
            "md5_digest": "e82708dad430e857ea74408397fad6b4",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.8",
            "size": 38356568,
            "upload_time": "2023-09-05T08:04:05",
            "upload_time_iso_8601": "2023-09-05T08:04:05.983966Z",
            "url": "https://files.pythonhosted.org/packages/48/06/130070e29b2244633c6b6c6769808a186dd92da8f3e9b40203c0795a7c5c/certora-cli-alpha-nast-mutation-test-20230905.8.3.707745.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2023-09-05 08:04:05",
    "github": false,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "lcname": "certora-cli-alpha-nast-mutation-test"
}