2024-10-15T21:17:19,689 Created temporary directory: /tmp/pip-build-tracker-l6r0aml7 2024-10-15T21:17:19,690 Initialized build tracking at /tmp/pip-build-tracker-l6r0aml7 2024-10-15T21:17:19,691 Created build tracker: /tmp/pip-build-tracker-l6r0aml7 2024-10-15T21:17:19,691 Entered build tracker: /tmp/pip-build-tracker-l6r0aml7 2024-10-15T21:17:19,692 Created temporary directory: /tmp/pip-wheel-11v9od63 2024-10-15T21:17:19,696 Created temporary directory: /tmp/pip-ephem-wheel-cache-jsw3bu9i 2024-10-15T21:17:19,738 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-10-15T21:17:19,741 2 location(s) to search for versions of certora-cli-beta-mirror: 2024-10-15T21:17:19,741 * https://pypi.org/simple/certora-cli-beta-mirror/ 2024-10-15T21:17:19,741 * https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-10-15T21:17:19,742 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-beta-mirror/ 2024-10-15T21:17:19,742 Getting page https://pypi.org/simple/certora-cli-beta-mirror/ 2024-10-15T21:17:19,744 Found index url https://pypi.org/simple/ 2024-10-15T21:17:19,964 Fetched page https://pypi.org/simple/certora-cli-beta-mirror/ as application/vnd.pypi.simple.v1+json 2024-10-15T21:17:19,969 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/23/89/ccc42a28cb59cbe15a30f037756c18ffb3ea5d8c676beffb102e78ca9aca/certora_cli_beta_mirror-7.17.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,969 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/94/64/a5452ca1c5b031c60ad59619d06a5b08f2a63aee1fe612a5a2ed3731aa24/certora_cli_beta_mirror-7.17.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,970 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/97/f7/943dd777549175d73a3e36a4c3c5322a17c3f6450e025d89f22cc2391d9e/certora_cli_beta_mirror-7.17.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,971 Found link https://files.pythonhosted.org/packages/78/7b/565eb89fa95f53318cfffdfaf3c30fa425edcab7f5c3ff4132afa5d1498e/certora_cli_beta_mirror-7.17.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.0 2024-10-15T21:17:19,971 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a6/50/a2ec88e48ea527dc6ef78484a6569542247bed9c6480c877fa92fd28c0a9/certora_cli_beta_mirror-7.17.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,972 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/92/f7/da44e1276b2bf0310e7178ce74078973c9a93a5a21a856591404b2576318/certora_cli_beta_mirror-7.17.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,973 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c2/47/5c875198abbe3bfd099f970f36b5e827db2a6ed46b81daf7d0cc4e5e6f22/certora_cli_beta_mirror-7.17.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,974 Found link https://files.pythonhosted.org/packages/1c/36/889047d565e07e872e8a3c9ded451b34f077fe164f26ef2ca34b370322bb/certora_cli_beta_mirror-7.17.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.1 2024-10-15T21:17:19,975 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bd/42/ed7a252b516cd24dd958052ae4f8bee8e5650a8048617e6f9fa5fa5d3933/certora_cli_beta_mirror-7.17.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,975 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/57/5a/cb27c4050a2ec26f9a903ae8698a09fa13441dc0b5a757558a1fb5810603/certora_cli_beta_mirror-7.17.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,976 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/83/fb/df32c065d881c7126eb5a908dbeac0eb950ada7d41313f8596e40e22a6c4/certora_cli_beta_mirror-7.17.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,977 Found link https://files.pythonhosted.org/packages/e0/d3/c71bbf1f5c35d7673495e00a0921496f352c13c4af31b7fca71b82f18bbc/certora_cli_beta_mirror-7.17.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.2 2024-10-15T21:17:19,977 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/7e/06/e51d2f1a35da3bfd056cbd47dc1148ed71a4511b7fac2866860f70351bae/certora_cli_beta_mirror-7.18.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,978 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/29/6d/816b30a79c16791d550e7a476653cd16708c3230d880ba6eeed80627d5af/certora_cli_beta_mirror-7.18.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,978 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/27/73/f6896058ab65932f1e21d69e2f3cc8b2fc35a9b4ffae9edeb57a814ed1f4/certora_cli_beta_mirror-7.18.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,979 Found link https://files.pythonhosted.org/packages/61/67/500481a15ea47b2fca79f0711eb601685a33a3b11b85df4cf4806a4e6284/certora_cli_beta_mirror-7.18.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.0 2024-10-15T21:17:19,980 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ec/0e/7dd4b1ef9ee998336ba8e6ec485b3f8ea2ed1f88368a85a7d5c5c0864811/certora_cli_beta_mirror-7.18.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,981 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/fc/03/0c5c2ef1e1d8495ed1be330a6889d42ff1a30297ae8769096a1fcde87a6a/certora_cli_beta_mirror-7.18.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,981 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/84/56/bb057e2ec19e619a885ad344ce7d993dfcbd96bc455873e4de96ab48676c/certora_cli_beta_mirror-7.18.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:19,982 Found link https://files.pythonhosted.org/packages/9a/3d/9c21579a44707f6211fbbe0d57f8939f73a83d3b5cf57731446f84c4c803/certora_cli_beta_mirror-7.18.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.1 2024-10-15T21:17:19,983 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-10-15T21:17:19,984 Getting page https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-10-15T21:17:19,985 Found index url https://www.piwheels.org/simple/ 2024-10-15T21:17:20,152 Fetched page https://www.piwheels.org/simple/certora-cli-beta-mirror/ as text/html 2024-10-15T21:17:20,155 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.0-py3-none-any.whl#sha256=e7a42a97fd7829ed5211fc7e1d3e5ed06f3474c0980834d12a288c80587d1bec (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:20,156 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.2-py3-none-any.whl#sha256=3b8f73ac7166dadd40015cc5d19ba6b315a077d724c497f68d9a3d677a155771 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:20,157 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.1-py3-none-any.whl#sha256=9618614b09f8a1a9045adf4ef400aeebfc0a15058524dbb0ee24b90111ea721a (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:20,157 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.0-py3-none-any.whl#sha256=ebd400b65bef47785c001f8de433eee7b13617950ccc62883223c788cf28d6ff (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-10-15T21:17:20,157 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-10-15T21:17:20,158 Skipping link: not a file: https://pypi.org/simple/certora-cli-beta-mirror/ 2024-10-15T21:17:20,176 Given no hashes to check 1 links for project 'certora-cli-beta-mirror': discarding no candidates 2024-10-15T21:17:20,177 Collecting certora-cli-beta-mirror==7.18.1 2024-10-15T21:17:20,180 Created temporary directory: /tmp/pip-unpack-r5vv29tl 2024-10-15T21:17:20,427 Downloading certora_cli_beta_mirror-7.18.1.tar.gz (15.3 MB) 2024-10-15T21:17:23,475 Added certora-cli-beta-mirror==7.18.1 from https://files.pythonhosted.org/packages/9a/3d/9c21579a44707f6211fbbe0d57f8939f73a83d3b5cf57731446f84c4c803/certora_cli_beta_mirror-7.18.1.tar.gz to build tracker '/tmp/pip-build-tracker-l6r0aml7' 2024-10-15T21:17:23,477 Running setup.py (path:/tmp/pip-wheel-11v9od63/certora-cli-beta-mirror_4341875efcf04823af5ac13354ef87ae/setup.py) egg_info for package certora-cli-beta-mirror 2024-10-15T21:17:23,477 Created temporary directory: /tmp/pip-pip-egg-info-btf0iec4 2024-10-15T21:17:23,478 Preparing metadata (setup.py): started 2024-10-15T21:17:23,479 Running command python setup.py egg_info 2024-10-15T21:17:24,542 running egg_info 2024-10-15T21:17:24,544 creating /tmp/pip-pip-egg-info-btf0iec4/certora_cli_beta_mirror.egg-info 2024-10-15T21:17:24,572 writing /tmp/pip-pip-egg-info-btf0iec4/certora_cli_beta_mirror.egg-info/PKG-INFO 2024-10-15T21:17:24,575 writing dependency_links to /tmp/pip-pip-egg-info-btf0iec4/certora_cli_beta_mirror.egg-info/dependency_links.txt 2024-10-15T21:17:24,577 writing entry points to /tmp/pip-pip-egg-info-btf0iec4/certora_cli_beta_mirror.egg-info/entry_points.txt 2024-10-15T21:17:24,578 writing requirements to /tmp/pip-pip-egg-info-btf0iec4/certora_cli_beta_mirror.egg-info/requires.txt 2024-10-15T21:17:24,580 writing top-level names to /tmp/pip-pip-egg-info-btf0iec4/certora_cli_beta_mirror.egg-info/top_level.txt 2024-10-15T21:17:24,581 writing manifest file '/tmp/pip-pip-egg-info-btf0iec4/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-10-15T21:17:24,920 reading manifest file '/tmp/pip-pip-egg-info-btf0iec4/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-10-15T21:17:24,922 reading manifest template 'MANIFEST.in' 2024-10-15T21:17:24,929 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-10-15T21:17:25,010 adding license file 'LICENSE' 2024-10-15T21:17:25,014 writing manifest file '/tmp/pip-pip-egg-info-btf0iec4/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-10-15T21:17:25,125 Preparing metadata (setup.py): finished with status 'done' 2024-10-15T21:17:25,129 Source in /tmp/pip-wheel-11v9od63/certora-cli-beta-mirror_4341875efcf04823af5ac13354ef87ae has version 7.18.1, which satisfies requirement certora-cli-beta-mirror==7.18.1 from https://files.pythonhosted.org/packages/9a/3d/9c21579a44707f6211fbbe0d57f8939f73a83d3b5cf57731446f84c4c803/certora_cli_beta_mirror-7.18.1.tar.gz 2024-10-15T21:17:25,130 Removed certora-cli-beta-mirror==7.18.1 from https://files.pythonhosted.org/packages/9a/3d/9c21579a44707f6211fbbe0d57f8939f73a83d3b5cf57731446f84c4c803/certora_cli_beta_mirror-7.18.1.tar.gz from build tracker '/tmp/pip-build-tracker-l6r0aml7' 2024-10-15T21:17:25,136 Created temporary directory: /tmp/pip-unpack-8nmal72t 2024-10-15T21:17:25,137 Created temporary directory: /tmp/pip-unpack-g0yalg3p 2024-10-15T21:17:25,138 Building wheels for collected packages: certora-cli-beta-mirror 2024-10-15T21:17:25,143 Created temporary directory: /tmp/pip-wheel-woaxzah2 2024-10-15T21:17:25,143 Building wheel for certora-cli-beta-mirror (setup.py): started 2024-10-15T21:17:25,144 Destination directory: /tmp/pip-wheel-woaxzah2 2024-10-15T21:17:25,145 Running command python setup.py bdist_wheel 2024-10-15T21:17:26,393 running bdist_wheel 2024-10-15T21:17:26,527 running build 2024-10-15T21:17:26,527 running build_py 2024-10-15T21:17:26,560 creating build/lib/certora_cli 2024-10-15T21:17:26,562 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2024-10-15T21:17:26,564 copying certora_cli/__init__.py -> build/lib/certora_cli 2024-10-15T21:17:26,566 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2024-10-15T21:17:26,568 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2024-10-15T21:17:26,570 creating build/lib/certora_bins 2024-10-15T21:17:26,572 copying certora_bins/__init__.py -> build/lib/certora_bins 2024-10-15T21:17:26,574 creating build/lib/certora_jars 2024-10-15T21:17:26,575 copying certora_jars/__init__.py -> build/lib/certora_jars 2024-10-15T21:17:26,577 creating build/lib/certora_cli/Mutate 2024-10-15T21:17:26,578 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2024-10-15T21:17:26,581 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2024-10-15T21:17:26,582 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2024-10-15T21:17:26,585 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2024-10-15T21:17:26,587 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2024-10-15T21:17:26,590 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2024-10-15T21:17:26,595 creating build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,596 copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,598 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,601 copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,603 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,609 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,611 copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,613 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,616 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,619 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,621 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,623 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,625 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,628 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,631 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,633 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,634 copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,637 copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,639 copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier 2024-10-15T21:17:26,642 creating build/lib/certora_cli/Shared 2024-10-15T21:17:26,643 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2024-10-15T21:17:26,645 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2024-10-15T21:17:26,647 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2024-10-15T21:17:26,649 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2024-10-15T21:17:26,652 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2024-10-15T21:17:26,655 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2024-10-15T21:17:26,658 creating build/lib/certora_cli/EquivalenceCheck 2024-10-15T21:17:26,659 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2024-10-15T21:17:26,661 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2024-10-15T21:17:26,664 creating build/lib/certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:26,665 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:26,667 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:26,669 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:26,672 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:26,674 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:26,678 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:26,681 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:26,683 running egg_info 2024-10-15T21:17:26,710 writing certora_cli_beta_mirror.egg-info/PKG-INFO 2024-10-15T21:17:26,713 writing dependency_links to certora_cli_beta_mirror.egg-info/dependency_links.txt 2024-10-15T21:17:26,715 writing entry points to certora_cli_beta_mirror.egg-info/entry_points.txt 2024-10-15T21:17:26,716 writing requirements to certora_cli_beta_mirror.egg-info/requires.txt 2024-10-15T21:17:26,717 writing top-level names to certora_cli_beta_mirror.egg-info/top_level.txt 2024-10-15T21:17:26,753 reading manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-10-15T21:17:26,761 reading manifest template 'MANIFEST.in' 2024-10-15T21:17:26,766 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-10-15T21:17:26,832 adding license file 'LICENSE' 2024-10-15T21:17:26,837 writing manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-10-15T21:17:26,843 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2024-10-15T21:17:26,845 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2024-10-15T21:17:27,079 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2024-10-15T21:17:27,082 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-10-15T21:17:27,084 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-10-15T21:17:27,086 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2024-10-15T21:17:27,088 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-10-15T21:17:27,091 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2024-10-15T21:17:27,123 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-10-15T21:17:27,124 !! 2024-10-15T21:17:27,125 ******************************************************************************** 2024-10-15T21:17:27,125 Please avoid running ``setup.py`` directly. 2024-10-15T21:17:27,126 Instead, use pypa/build, pypa/installer or other 2024-10-15T21:17:27,126 standards-based tools. 2024-10-15T21:17:27,127 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-10-15T21:17:27,128 ******************************************************************************** 2024-10-15T21:17:27,129 !! 2024-10-15T21:17:27,129 self.initialize_options() 2024-10-15T21:17:27,150 installing to build/bdist.linux-armv7l/wheel 2024-10-15T21:17:27,150 running install 2024-10-15T21:17:27,175 running install_lib 2024-10-15T21:17:27,202 creating build/bdist.linux-armv7l/wheel 2024-10-15T21:17:27,204 creating build/bdist.linux-armv7l/wheel/certora_cli 2024-10-15T21:17:27,206 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-10-15T21:17:27,207 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-10-15T21:17:27,209 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-10-15T21:17:27,211 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-10-15T21:17:27,213 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-10-15T21:17:27,214 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-10-15T21:17:27,217 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-10-15T21:17:27,222 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-10-15T21:17:27,223 copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,225 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,227 copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,230 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,235 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,237 copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,239 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,242 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,245 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,246 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,248 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,251 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,254 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,257 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,260 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,261 copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,265 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:27,266 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:27,268 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:27,270 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:27,272 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:27,274 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:27,276 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:27,279 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-10-15T21:17:27,281 copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,283 copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-15T21:17:27,285 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-10-15T21:17:27,287 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-10-15T21:17:27,288 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-10-15T21:17:27,290 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-10-15T21:17:27,291 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-10-15T21:17:27,294 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-10-15T21:17:27,296 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-10-15T21:17:27,298 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-10-15T21:17:27,300 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-10-15T21:17:27,303 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-10-15T21:17:27,307 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-10-15T21:17:27,308 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-15T21:17:27,310 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-15T21:17:27,311 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-15T21:17:27,313 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-15T21:17:27,315 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-15T21:17:27,316 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-15T21:17:27,319 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-15T21:17:27,320 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-15T21:17:27,322 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-10-15T21:17:27,325 creating build/bdist.linux-armv7l/wheel/certora_bins 2024-10-15T21:17:27,326 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2024-10-15T21:17:27,328 creating build/bdist.linux-armv7l/wheel/certora_jars 2024-10-15T21:17:27,329 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-10-15T21:17:27,330 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-10-15T21:17:27,638 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-10-15T21:17:27,640 running install_egg_info 2024-10-15T21:17:27,673 Copying certora_cli_beta_mirror.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_beta_mirror-7.18.1-py3.11.egg-info 2024-10-15T21:17:27,687 running install_scripts 2024-10-15T21:17:27,703 creating build/bdist.linux-armv7l/wheel/certora_cli_beta_mirror-7.18.1.dist-info/WHEEL 2024-10-15T21:17:27,706 creating '/tmp/pip-wheel-woaxzah2/certora_cli_beta_mirror-7.18.1-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-10-15T21:17:27,708 adding 'certora_bins/__init__.py' 2024-10-15T21:17:27,710 adding 'certora_cli/__init__.py' 2024-10-15T21:17:27,711 adding 'certora_cli/certoraEqCheck.py' 2024-10-15T21:17:27,712 adding 'certora_cli/certoraMutate.py' 2024-10-15T21:17:27,715 adding 'certora_cli/certoraRun.py' 2024-10-15T21:17:27,717 adding 'certora_cli/EVMVerifier/__init__.py' 2024-10-15T21:17:27,740 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2024-10-15T21:17:27,743 adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py' 2024-10-15T21:17:27,749 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2024-10-15T21:17:27,751 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2024-10-15T21:17:27,753 adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py' 2024-10-15T21:17:27,755 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2024-10-15T21:17:27,759 adding 'certora_cli/EVMVerifier/certoraContext.py' 2024-10-15T21:17:27,764 adding 'certora_cli/EVMVerifier/certoraContextAttributes.py' 2024-10-15T21:17:27,766 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2024-10-15T21:17:27,770 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2024-10-15T21:17:27,772 adding 'certora_cli/EVMVerifier/certoraContractFuncs.py' 2024-10-15T21:17:27,774 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2024-10-15T21:17:27,776 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2024-10-15T21:17:27,786 adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py' 2024-10-15T21:17:27,788 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2024-10-15T21:17:27,791 adding 'certora_cli/EVMVerifier/certoraType.py' 2024-10-15T21:17:27,794 adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py' 2024-10-15T21:17:27,797 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2024-10-15T21:17:27,800 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2024-10-15T21:17:27,802 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2024-10-15T21:17:27,804 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py' 2024-10-15T21:17:27,812 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2024-10-15T21:17:27,814 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py' 2024-10-15T21:17:27,815 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2024-10-15T21:17:27,816 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2024-10-15T21:17:27,818 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2024-10-15T21:17:27,819 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2024-10-15T21:17:27,820 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2024-10-15T21:17:27,822 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2024-10-15T21:17:27,823 adding 'certora_cli/EquivalenceCheck/__init__.py' 2024-10-15T21:17:27,826 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2024-10-15T21:17:28,040 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2024-10-15T21:17:28,042 adding 'certora_cli/Mutate/__init__.py' 2024-10-15T21:17:28,051 adding 'certora_cli/Mutate/mutateApp.py' 2024-10-15T21:17:28,053 adding 'certora_cli/Mutate/mutateAttributes.py' 2024-10-15T21:17:28,054 adding 'certora_cli/Mutate/mutateConstants.py' 2024-10-15T21:17:28,055 adding 'certora_cli/Mutate/mutateUtil.py' 2024-10-15T21:17:28,057 adding 'certora_cli/Mutate/mutateValidate.py' 2024-10-15T21:17:28,060 adding 'certora_cli/Shared/ExpectedComparator.py' 2024-10-15T21:17:28,061 adding 'certora_cli/Shared/__init__.py' 2024-10-15T21:17:28,063 adding 'certora_cli/Shared/certoraAttrUtil.py' 2024-10-15T21:17:28,064 adding 'certora_cli/Shared/certoraLogging.py' 2024-10-15T21:17:28,071 adding 'certora_cli/Shared/certoraUtils.py' 2024-10-15T21:17:28,076 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2024-10-15T21:17:28,079 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2024-10-15T21:17:29,980 adding 'certora_jars/Typechecker.jar' 2024-10-15T21:17:30,083 adding 'certora_jars/__init__.py' 2024-10-15T21:17:30,084 adding 'certora_cli_beta_mirror-7.18.1.dist-info/LICENSE' 2024-10-15T21:17:30,085 adding 'certora_cli_beta_mirror-7.18.1.dist-info/METADATA' 2024-10-15T21:17:30,086 adding 'certora_cli_beta_mirror-7.18.1.dist-info/WHEEL' 2024-10-15T21:17:30,087 adding 'certora_cli_beta_mirror-7.18.1.dist-info/entry_points.txt' 2024-10-15T21:17:30,088 adding 'certora_cli_beta_mirror-7.18.1.dist-info/top_level.txt' 2024-10-15T21:17:30,090 adding 'certora_cli_beta_mirror-7.18.1.dist-info/RECORD' 2024-10-15T21:17:30,257 removing build/bdist.linux-armv7l/wheel 2024-10-15T21:17:30,393 Building wheel for certora-cli-beta-mirror (setup.py): finished with status 'done' 2024-10-15T21:17:30,546 Created wheel for certora-cli-beta-mirror: filename=certora_cli_beta_mirror-7.18.1-py3-none-any.whl size=15317442 sha256=46d0114cb857d8b7549c72785815db662370f09ecb136c654fb87cf53b69350e 2024-10-15T21:17:30,548 Stored in directory: /tmp/pip-ephem-wheel-cache-jsw3bu9i/wheels/10/a3/dc/1f032780272e9d94c901e9d735c5a49265e733bd458e43f6cc 2024-10-15T21:17:30,566 Successfully built certora-cli-beta-mirror 2024-10-15T21:17:30,960 Removed build tracker: '/tmp/pip-build-tracker-l6r0aml7'