Wheelodex » Projects » CoVeriTeam

CoVeriTeam

View on PyPI — Reverse Dependencies (1)

1.0 CoVeriTeam-1.0-py3-none-any.whl

Wheel Details

Project: CoVeriTeam
Version: 1.0
Filename: CoVeriTeam-1.0-py3-none-any.whl
Download: [link]
Size: 85134
MD5: 9368aa7ecf2e03b454b8372b06268fe0
SHA256: 5e142ab29cb10379bbd05d58ef0f2352a86fb8c3624ea37c92414916ec528209
Uploaded: 2023-02-24 10:42:17 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: CoVeriTeam
Version: 1.0
Summary: CoVeriTeam: On-Demand Composition of Cooperative Verification Systems
Author: Sudeep Kanav
Home-Page: https://gitlab.com/sosy-lab/software/coveriteam
License: Apache-2.0
Keywords: cooperative verification validation
Classifier: Development Status :: 1 - Planning
Classifier: Environment :: Console
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Operating System :: POSIX :: Linux
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Topic :: Software Development :: Testing
Platform: Linux
Requires-Dist: antlr4-python3-runtime (>=4.8)
Requires-Dist: benchexec (>=2.6)
Requires-Dist: requests (>=2.24)
Requires-Dist: tqdm
Requires-Dist: coloredlogs
License-File: LICENSE
[No description]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.38.4)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
coveriteam/__init__.py sha256=HYv3AH73jSEBnZte70S1zh6Z4cS44ljWaAn4iO4bePs 287
coveriteam/coveriteam.py sha256=Vfr93tPPqUn0Ad_8zP0xrnMpN6h-PZiJcMRdunM2MN0 11006
coveriteam/example_compositions.py sha256=GjYZtcIWcjNLbzuvAPzI1PEDuRt7yGju-G-7_UB87Iw 3874
coveriteam/remote_client.py sha256=6zeGr1RnUSL7Tm1qoKVD2PgLSQg50DjQQqMiIsCZi4c 6583
coveriteam/util.py sha256=Qx7GWFOfBwRdEONBb6X4dSl01RpUsL-HeZulPYhLj4I 11562
coveriteam/actors/__init__.py sha256=TcyOOpMq3csWnXl1vmvBXYbdrf8u93q3pvREE4ZWVK0 266
coveriteam/actors/analyzers.py sha256=JWG9VLaICV2rX7WR5lvUmwcCwGCz4bnmHDsRCEWu2Fs 7619
coveriteam/actors/misc.py sha256=LXuZ32rXvFmxvPfJQcgUaa6JVCqTY9UNWmLEpEX2jZQ 11204
coveriteam/actors/testers.py sha256=chm7JQ27lzEHLK6qOzsfVE6gytkfwIblT5F2NcgsE64 1524
coveriteam/artifactlibrary/specifications/coverage-branches.prp sha256=Gl2r1cgBFoh4M2laa8dVGhteHkL04oiBRLzxz_hbkEU 56
coveriteam/artifactlibrary/specifications/coverage-error-call.prp sha256=ZHzqgYPHix1PINIcpvq2X0QGEKeB9C0fitoV_OPy9IE 61
coveriteam/artifactlibrary/specifications/coverage-statements.prp sha256=drb8JyyDwwZ-cxbOyuzzapYIkl3r7sTlooBCavarYl4 59
coveriteam/artifactlibrary/specifications/no-overflow.prp sha256=6C9SIsRmR2zEVWX8OecxGdhRLeYlhDkOsMMFHz1O5gI 42
coveriteam/artifactlibrary/specifications/termination.prp sha256=Hp7ZRB6fd2hRaVeot25TyU6nF7ROZS7e_Gz0tT5ZMfk 35
coveriteam/artifactlibrary/specifications/unreach-call.prp sha256=Nkzf_yLaT5C_PQy4TCa4qrgH23gUBxWDNxnMEpdo1V4 58
coveriteam/artifactlibrary/specifications/valid-memcleanup.prp sha256=2oOe4eCP56QonUGOAeTQ0BCetbT4V31epndKobRxg54 48
coveriteam/artifactlibrary/specifications/valid-memsafety.prp sha256=TUbXRp2ksBzMYK8uZb5mXukRBluuyak3YjwYzWAKc_4 129
coveriteam/interpreter/__init__.py sha256=UrznrnsOC7MRgY3lZKndA5ULNZl10MBUXqXFGkjYddE 867
coveriteam/interpreter/python_code_generator.py sha256=2jkExZbU57ZHGhYxM7Ai4lQDB7jcD8R666-v27sJlKk 14990
coveriteam/interpreter/utility_visitors.py sha256=YxYHS3uDTf0qPkgc0JX69XVt8avdKdpJlbRP5le26zk 3031
coveriteam/language/__init__.py sha256=TVV4B8jFBIAF-dru-m9XiVleLvAD3lzSmh0MHhDaDao 532
coveriteam/language/actor.py sha256=oIs4pGkV799E-9l1HSg77pJdyHCdiqNPbKMvNxcrFAc 10840
coveriteam/language/actorconfig.py sha256=tolunalIT_qbkT1ySavreBszkeiySIrNDuu_tYVFpi8 12535
coveriteam/language/artifact.py sha256=2nHNf8aNvNW7iyEY7iQegdBCGk6SiJK7mr86W4k0ma8 14463
coveriteam/language/atomicactor.py sha256=ZkKqNnQ_uaoUD4B_w7aW2bOnPcTI5nRf17iRC2JkL1w 12242
coveriteam/language/composition.py sha256=QZZL0UzCIarwZJhhpo8ISTx3rLxB_JVIQJoh7zLmRIc 18166
coveriteam/language/parallel_portfolio.py sha256=t4jcrcC0wzcAY5LeC5wGJQ9cO3A4rEbaLU-rK0aeskY 11852
coveriteam/language/predmap_join.py sha256=dW52nPBWtzQddPZhBpysgRZMLDkJ9KkS_QvqObQOsPA 5649
coveriteam/language/utilactors.py sha256=4_W1dghTXiO9i-ngChBVjZthtOx4zTJ71dBm09Sy3kY 6922
coveriteam/language/witness_join.py sha256=2qNYYzi0TGTeFbBxJKq4bqLcF5KG6yaY7n27nFBXixg 9461
coveriteam/parser/CoVeriLangLexer.py sha256=MQqJfCKX1atVzFDwou4FMQfAkWI-LlB1KEzNCobMR00 55226
coveriteam/parser/CoVeriLangParser.py sha256=gmIZN5ByoQzX3wCpWpzRe1tXChaJ76v5WsqOfD4LdTY 140710
coveriteam/parser/CoVeriLangVisitor.py sha256=LUkimTpdjGOahN-F9dcySmWe-KolDPqt2RqXoRNwiWc 9682
coveriteam/parser/__init__.py sha256=TcyOOpMq3csWnXl1vmvBXYbdrf8u93q3pvREE4ZWVK0 266
coveriteam/toolconfigs/algo-selector-cst-transform.py sha256=3W9LRQTRoQCXywS1SWbneDmRhTm0fZ9I9y1YvvO0Brc 1335
coveriteam/toolconfigs/algo-selector-metaval.py sha256=YakKhmYNpjwq2NEpirdky4JGT4fkVyT-UcWJdm-B9iI 1337
coveriteam/toolconfigs/classifier-cst-transform.py sha256=S7DUIZAFLfE07uH52MAAGm8XBrSHDF8Q-d9HSSinUDc 1191
coveriteam/toolconfigs/feature-encoder-cst-transform.py sha256=E3RCT3rOQK3b9hM8mvxYVJRD7IFkfAsdAuY7mr7dLJI 1239
CoVeriTeam-1.0.dist-info/LICENSE sha256=y16Ofl9KOYjhBjwULGDcLfdWBfTEZRXnduOspt-XbhQ 11325
CoVeriTeam-1.0.dist-info/METADATA sha256=5d-YMwscVc6BPqb_MPVO6qvozqIM5J8KFe8V_uwPDcs 826
CoVeriTeam-1.0.dist-info/WHEEL sha256=2wepM1nk4DS4eFpYrW1TTqPcoGNfHhhO_i5m4cOimbo 92
CoVeriTeam-1.0.dist-info/entry_points.txt sha256=uRsGfS9Z59KrdiC9pimnT1qB50KDp40ERM0cgBeYj5w 58
CoVeriTeam-1.0.dist-info/top_level.txt sha256=EQDtjZsnhB6o4PQLMPVWitUlYROsEogQQMB38AwyQ20 11
CoVeriTeam-1.0.dist-info/RECORD — —

top_level.txt

coveriteam

entry_points.txt

[console_scripts]
coveriteam = coveriteam.coveriteam:main