2024-10-04T20:50:28,963 Created temporary directory: /tmp/pip-build-tracker-teq5xju3 2024-10-04T20:50:28,964 Initialized build tracking at /tmp/pip-build-tracker-teq5xju3 2024-10-04T20:50:28,964 Created build tracker: /tmp/pip-build-tracker-teq5xju3 2024-10-04T20:50:28,965 Entered build tracker: /tmp/pip-build-tracker-teq5xju3 2024-10-04T20:50:28,965 Created temporary directory: /tmp/pip-wheel-l1tcdjb7 2024-10-04T20:50:28,969 Created temporary directory: /tmp/pip-ephem-wheel-cache-j1rlv31c 2024-10-04T20:50:29,015 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-10-04T20:50:29,018 2 location(s) to search for versions of certora-cli-beta-mirror: 2024-10-04T20:50:29,018 * https://pypi.org/simple/certora-cli-beta-mirror/ 2024-10-04T20:50:29,018 * https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-10-04T20:50:29,019 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-beta-mirror/ 2024-10-04T20:50:29,020 Getting page https://pypi.org/simple/certora-cli-beta-mirror/ 2024-10-04T20:50:29,021 Found index url https://pypi.org/simple/ 2024-10-04T20:50:29,241 Fetched page https://pypi.org/simple/certora-cli-beta-mirror/ as application/vnd.pypi.simple.v1+json 2024-10-04T20:50:29,244 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-04T20:50:29,245 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-04T20:50:29,245 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-04T20:50:29,246 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-04T20:50:29,247 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-04T20:50:29,248 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-04T20:50:29,249 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-04T20:50:29,250 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-04T20:50:29,250 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-04T20:50:29,251 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-04T20:50:29,252 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-04T20:50:29,252 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-04T20:50:29,253 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-10-04T20:50:29,254 Getting page https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-10-04T20:50:29,255 Found index url https://www.piwheels.org/simple/ 2024-10-04T20:50:29,423 Fetched page https://www.piwheels.org/simple/certora-cli-beta-mirror/ as text/html 2024-10-04T20:50:29,425 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-04T20:50:29,426 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-04T20:50:29,426 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-10-04T20:50:29,427 Skipping link: not a file: https://pypi.org/simple/certora-cli-beta-mirror/ 2024-10-04T20:50:29,446 Given no hashes to check 1 links for project 'certora-cli-beta-mirror': discarding no candidates 2024-10-04T20:50:29,448 Collecting certora-cli-beta-mirror==7.17.2 2024-10-04T20:50:29,450 Created temporary directory: /tmp/pip-unpack-62l7sige 2024-10-04T20:50:29,674 Downloading certora_cli_beta_mirror-7.17.2.tar.gz (15.3 MB) 2024-10-04T20:50:33,222 Added certora-cli-beta-mirror==7.17.2 from https://files.pythonhosted.org/packages/e0/d3/c71bbf1f5c35d7673495e00a0921496f352c13c4af31b7fca71b82f18bbc/certora_cli_beta_mirror-7.17.2.tar.gz to build tracker '/tmp/pip-build-tracker-teq5xju3' 2024-10-04T20:50:33,224 Running setup.py (path:/tmp/pip-wheel-l1tcdjb7/certora-cli-beta-mirror_bd44ef3986d74786bd2d80a84de51305/setup.py) egg_info for package certora-cli-beta-mirror 2024-10-04T20:50:33,225 Created temporary directory: /tmp/pip-pip-egg-info-xf_it47a 2024-10-04T20:50:33,225 Preparing metadata (setup.py): started 2024-10-04T20:50:33,227 Running command python setup.py egg_info 2024-10-04T20:50:34,291 running egg_info 2024-10-04T20:50:34,293 creating /tmp/pip-pip-egg-info-xf_it47a/certora_cli_beta_mirror.egg-info 2024-10-04T20:50:34,320 writing /tmp/pip-pip-egg-info-xf_it47a/certora_cli_beta_mirror.egg-info/PKG-INFO 2024-10-04T20:50:34,323 writing dependency_links to /tmp/pip-pip-egg-info-xf_it47a/certora_cli_beta_mirror.egg-info/dependency_links.txt 2024-10-04T20:50:34,325 writing entry points to /tmp/pip-pip-egg-info-xf_it47a/certora_cli_beta_mirror.egg-info/entry_points.txt 2024-10-04T20:50:34,326 writing requirements to /tmp/pip-pip-egg-info-xf_it47a/certora_cli_beta_mirror.egg-info/requires.txt 2024-10-04T20:50:34,327 writing top-level names to /tmp/pip-pip-egg-info-xf_it47a/certora_cli_beta_mirror.egg-info/top_level.txt 2024-10-04T20:50:34,329 writing manifest file '/tmp/pip-pip-egg-info-xf_it47a/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-10-04T20:50:34,426 reading manifest file '/tmp/pip-pip-egg-info-xf_it47a/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-10-04T20:50:34,428 reading manifest template 'MANIFEST.in' 2024-10-04T20:50:34,432 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-10-04T20:50:34,499 adding license file 'LICENSE' 2024-10-04T20:50:34,503 writing manifest file '/tmp/pip-pip-egg-info-xf_it47a/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-10-04T20:50:34,613 Preparing metadata (setup.py): finished with status 'done' 2024-10-04T20:50:34,617 Source in /tmp/pip-wheel-l1tcdjb7/certora-cli-beta-mirror_bd44ef3986d74786bd2d80a84de51305 has version 7.17.2, which satisfies requirement certora-cli-beta-mirror==7.17.2 from https://files.pythonhosted.org/packages/e0/d3/c71bbf1f5c35d7673495e00a0921496f352c13c4af31b7fca71b82f18bbc/certora_cli_beta_mirror-7.17.2.tar.gz 2024-10-04T20:50:34,618 Removed certora-cli-beta-mirror==7.17.2 from https://files.pythonhosted.org/packages/e0/d3/c71bbf1f5c35d7673495e00a0921496f352c13c4af31b7fca71b82f18bbc/certora_cli_beta_mirror-7.17.2.tar.gz from build tracker '/tmp/pip-build-tracker-teq5xju3' 2024-10-04T20:50:34,625 Created temporary directory: /tmp/pip-unpack-lkw5njd_ 2024-10-04T20:50:34,626 Created temporary directory: /tmp/pip-unpack-kj2a7fyr 2024-10-04T20:50:34,626 Building wheels for collected packages: certora-cli-beta-mirror 2024-10-04T20:50:34,630 Created temporary directory: /tmp/pip-wheel-ou9fh_d9 2024-10-04T20:50:34,631 Building wheel for certora-cli-beta-mirror (setup.py): started 2024-10-04T20:50:34,632 Destination directory: /tmp/pip-wheel-ou9fh_d9 2024-10-04T20:50:34,632 Running command python setup.py bdist_wheel 2024-10-04T20:50:35,665 running bdist_wheel 2024-10-04T20:50:35,802 running build 2024-10-04T20:50:35,802 running build_py 2024-10-04T20:50:35,835 creating build/lib/certora_bins 2024-10-04T20:50:35,837 copying certora_bins/__init__.py -> build/lib/certora_bins 2024-10-04T20:50:35,840 creating build/lib/certora_jars 2024-10-04T20:50:35,841 copying certora_jars/__init__.py -> build/lib/certora_jars 2024-10-04T20:50:35,843 creating build/lib/certora_cli 2024-10-04T20:50:35,844 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2024-10-04T20:50:35,846 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2024-10-04T20:50:35,848 copying certora_cli/__init__.py -> build/lib/certora_cli 2024-10-04T20:50:35,850 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2024-10-04T20:50:35,853 creating build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,854 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,857 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,858 copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,861 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,863 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,866 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,869 copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,872 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,874 copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,877 copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,879 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,884 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,887 copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,890 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,894 copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,896 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,899 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,901 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2024-10-04T20:50:35,903 creating build/lib/certora_cli/EquivalenceCheck 2024-10-04T20:50:35,904 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2024-10-04T20:50:35,907 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2024-10-04T20:50:35,909 creating build/lib/certora_cli/Shared 2024-10-04T20:50:35,910 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2024-10-04T20:50:35,912 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2024-10-04T20:50:35,915 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2024-10-04T20:50:35,918 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2024-10-04T20:50:35,920 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2024-10-04T20:50:35,922 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2024-10-04T20:50:35,925 creating build/lib/certora_cli/Mutate 2024-10-04T20:50:35,926 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2024-10-04T20:50:35,929 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2024-10-04T20:50:35,930 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2024-10-04T20:50:35,934 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2024-10-04T20:50:35,936 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2024-10-04T20:50:35,938 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2024-10-04T20:50:35,940 creating build/lib/certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:35,942 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:35,943 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:35,945 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:35,948 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:35,951 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:35,953 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:35,955 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:35,957 running egg_info 2024-10-04T20:50:35,985 writing certora_cli_beta_mirror.egg-info/PKG-INFO 2024-10-04T20:50:35,988 writing dependency_links to certora_cli_beta_mirror.egg-info/dependency_links.txt 2024-10-04T20:50:35,990 writing entry points to certora_cli_beta_mirror.egg-info/entry_points.txt 2024-10-04T20:50:35,991 writing requirements to certora_cli_beta_mirror.egg-info/requires.txt 2024-10-04T20:50:35,992 writing top-level names to certora_cli_beta_mirror.egg-info/top_level.txt 2024-10-04T20:50:36,028 reading manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-10-04T20:50:36,036 reading manifest template 'MANIFEST.in' 2024-10-04T20:50:36,040 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-10-04T20:50:36,105 adding license file 'LICENSE' 2024-10-04T20:50:36,110 writing manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-10-04T20:50:36,116 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2024-10-04T20:50:36,118 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2024-10-04T20:50:36,357 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2024-10-04T20:50:36,359 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-10-04T20:50:36,361 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-10-04T20:50:36,363 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2024-10-04T20:50:36,365 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-10-04T20:50:36,367 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2024-10-04T20:50:36,399 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-10-04T20:50:36,400 !! 2024-10-04T20:50:36,401 ******************************************************************************** 2024-10-04T20:50:36,401 Please avoid running ``setup.py`` directly. 2024-10-04T20:50:36,402 Instead, use pypa/build, pypa/installer or other 2024-10-04T20:50:36,402 standards-based tools. 2024-10-04T20:50:36,403 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-10-04T20:50:36,404 ******************************************************************************** 2024-10-04T20:50:36,405 !! 2024-10-04T20:50:36,405 self.initialize_options() 2024-10-04T20:50:36,429 installing to build/bdist.linux-armv7l/wheel 2024-10-04T20:50:36,430 running install 2024-10-04T20:50:36,454 running install_lib 2024-10-04T20:50:36,481 creating build/bdist.linux-armv7l/wheel 2024-10-04T20:50:36,483 creating build/bdist.linux-armv7l/wheel/certora_bins 2024-10-04T20:50:36,484 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2024-10-04T20:50:36,486 creating build/bdist.linux-armv7l/wheel/certora_jars 2024-10-04T20:50:36,487 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-10-04T20:50:36,489 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-10-04T20:50:36,739 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-10-04T20:50:36,741 creating build/bdist.linux-armv7l/wheel/certora_cli 2024-10-04T20:50:36,743 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-10-04T20:50:36,745 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:36,747 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:36,749 copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:36,751 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:36,754 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:36,757 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:36,761 copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:36,981 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:36,983 copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:36,987 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:36,988 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:36,990 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:36,992 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:36,994 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:36,998 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:37,000 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:37,002 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-10-04T20:50:37,004 copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:37,006 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:37,011 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:37,013 copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:37,015 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:37,018 copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:37,021 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:37,023 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:37,026 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-10-04T20:50:37,028 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-10-04T20:50:37,030 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-10-04T20:50:37,033 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-10-04T20:50:37,035 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-04T20:50:37,040 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-04T20:50:37,042 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-04T20:50:37,044 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-04T20:50:37,046 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-04T20:50:37,048 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-04T20:50:37,050 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-04T20:50:37,052 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-10-04T20:50:37,055 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-10-04T20:50:37,057 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-10-04T20:50:37,059 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-10-04T20:50:37,062 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-10-04T20:50:37,065 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-10-04T20:50:37,067 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-10-04T20:50:37,069 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-10-04T20:50:37,072 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-10-04T20:50:37,073 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-10-04T20:50:37,074 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-10-04T20:50:37,077 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-10-04T20:50:37,079 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-10-04T20:50:37,082 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-10-04T20:50:37,084 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-10-04T20:50:37,086 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-10-04T20:50:37,088 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-10-04T20:50:37,090 running install_egg_info 2024-10-04T20:50:37,124 Copying certora_cli_beta_mirror.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_beta_mirror-7.17.2-py3.11.egg-info 2024-10-04T20:50:37,135 running install_scripts 2024-10-04T20:50:37,151 creating build/bdist.linux-armv7l/wheel/certora_cli_beta_mirror-7.17.2.dist-info/WHEEL 2024-10-04T20:50:37,154 creating '/tmp/pip-wheel-ou9fh_d9/certora_cli_beta_mirror-7.17.2-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-10-04T20:50:37,155 adding 'certora_bins/__init__.py' 2024-10-04T20:50:37,157 adding 'certora_cli/__init__.py' 2024-10-04T20:50:37,159 adding 'certora_cli/certoraEqCheck.py' 2024-10-04T20:50:37,160 adding 'certora_cli/certoraMutate.py' 2024-10-04T20:50:37,162 adding 'certora_cli/certoraRun.py' 2024-10-04T20:50:37,164 adding 'certora_cli/EVMVerifier/__init__.py' 2024-10-04T20:50:37,188 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2024-10-04T20:50:37,191 adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py' 2024-10-04T20:50:37,197 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2024-10-04T20:50:37,199 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2024-10-04T20:50:37,200 adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py' 2024-10-04T20:50:37,202 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2024-10-04T20:50:37,205 adding 'certora_cli/EVMVerifier/certoraContext.py' 2024-10-04T20:50:37,209 adding 'certora_cli/EVMVerifier/certoraContextAttributes.py' 2024-10-04T20:50:37,211 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2024-10-04T20:50:37,216 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2024-10-04T20:50:37,217 adding 'certora_cli/EVMVerifier/certoraContractFuncs.py' 2024-10-04T20:50:37,219 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2024-10-04T20:50:37,220 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2024-10-04T20:50:37,222 adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py' 2024-10-04T20:50:37,223 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2024-10-04T20:50:37,226 adding 'certora_cli/EVMVerifier/certoraType.py' 2024-10-04T20:50:37,228 adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py' 2024-10-04T20:50:37,230 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2024-10-04T20:50:37,232 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2024-10-04T20:50:37,233 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2024-10-04T20:50:37,234 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py' 2024-10-04T20:50:37,242 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2024-10-04T20:50:37,243 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py' 2024-10-04T20:50:37,244 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2024-10-04T20:50:37,246 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2024-10-04T20:50:37,247 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2024-10-04T20:50:37,248 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2024-10-04T20:50:37,250 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2024-10-04T20:50:37,251 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2024-10-04T20:50:37,252 adding 'certora_cli/EquivalenceCheck/__init__.py' 2024-10-04T20:50:37,255 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2024-10-04T20:50:37,256 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2024-10-04T20:50:37,258 adding 'certora_cli/Mutate/__init__.py' 2024-10-04T20:50:37,267 adding 'certora_cli/Mutate/mutateApp.py' 2024-10-04T20:50:37,269 adding 'certora_cli/Mutate/mutateAttributes.py' 2024-10-04T20:50:37,270 adding 'certora_cli/Mutate/mutateConstants.py' 2024-10-04T20:50:37,272 adding 'certora_cli/Mutate/mutateUtil.py' 2024-10-04T20:50:37,273 adding 'certora_cli/Mutate/mutateValidate.py' 2024-10-04T20:50:37,276 adding 'certora_cli/Shared/ExpectedComparator.py' 2024-10-04T20:50:37,278 adding 'certora_cli/Shared/__init__.py' 2024-10-04T20:50:37,279 adding 'certora_cli/Shared/certoraAttrUtil.py' 2024-10-04T20:50:37,281 adding 'certora_cli/Shared/certoraLogging.py' 2024-10-04T20:50:37,288 adding 'certora_cli/Shared/certoraUtils.py' 2024-10-04T20:50:37,293 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2024-10-04T20:50:37,296 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2024-10-04T20:50:39,149 adding 'certora_jars/Typechecker.jar' 2024-10-04T20:50:39,251 adding 'certora_jars/__init__.py' 2024-10-04T20:50:39,252 adding 'certora_cli_beta_mirror-7.17.2.dist-info/LICENSE' 2024-10-04T20:50:39,253 adding 'certora_cli_beta_mirror-7.17.2.dist-info/METADATA' 2024-10-04T20:50:39,254 adding 'certora_cli_beta_mirror-7.17.2.dist-info/WHEEL' 2024-10-04T20:50:39,255 adding 'certora_cli_beta_mirror-7.17.2.dist-info/entry_points.txt' 2024-10-04T20:50:39,256 adding 'certora_cli_beta_mirror-7.17.2.dist-info/top_level.txt' 2024-10-04T20:50:39,257 adding 'certora_cli_beta_mirror-7.17.2.dist-info/RECORD' 2024-10-04T20:50:39,427 removing build/bdist.linux-armv7l/wheel 2024-10-04T20:50:39,560 Building wheel for certora-cli-beta-mirror (setup.py): finished with status 'done' 2024-10-04T20:50:39,714 Created wheel for certora-cli-beta-mirror: filename=certora_cli_beta_mirror-7.17.2-py3-none-any.whl size=15278053 sha256=3b8f73ac7166dadd40015cc5d19ba6b315a077d724c497f68d9a3d677a155771 2024-10-04T20:50:39,715 Stored in directory: /tmp/pip-ephem-wheel-cache-j1rlv31c/wheels/89/47/21/343b6791694694fcaaddf756fb21ae26324b08fc8fb7bc7417 2024-10-04T20:50:39,731 Successfully built certora-cli-beta-mirror 2024-10-04T20:50:40,097 Removed build tracker: '/tmp/pip-build-tracker-teq5xju3'