2023-05-17T13:48:27,235 Created temporary directory: /tmp/pip-build-tracker-xw3brwt2 2023-05-17T13:48:27,236 Initialized build tracking at /tmp/pip-build-tracker-xw3brwt2 2023-05-17T13:48:27,236 Created build tracker: /tmp/pip-build-tracker-xw3brwt2 2023-05-17T13:48:27,236 Entered build tracker: /tmp/pip-build-tracker-xw3brwt2 2023-05-17T13:48:27,237 Created temporary directory: /tmp/pip-wheel-z3cefdzn 2023-05-17T13:48:27,240 Created temporary directory: /tmp/pip-ephem-wheel-cache-z8o7ba3q 2023-05-17T13:48:27,263 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-17T13:48:27,266 2 location(s) to search for versions of certora-cli-alpha-andrew-satisfy: 2023-05-17T13:48:27,266 * https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T13:48:27,266 * https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T13:48:27,267 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T13:48:27,267 Getting page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T13:48:27,269 Found index url https://pypi.org/simple/ 2023-05-17T13:48:27,317 Fetched page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ as application/vnd.pypi.simple.v1+json 2023-05-17T13:48:27,322 Found link https://files.pythonhosted.org/packages/d3/a1/c091b6a641ece1d7aa00ba8c5146a2526fa9be0eb510d26e44759ec9f7dc/certora-cli-alpha-andrew-satisfy-20230515.14.17.18468.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230515.14.17.18468 2023-05-17T13:48:27,322 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/f8/b0/aecd2a04480aef66dc0805ea21aaf7d1cadea43c554197cae893642b12b8/certora_cli_alpha_andrew_satisfy-20230515.14.17.18468-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T13:48:27,323 Found link https://files.pythonhosted.org/packages/a2/d3/5d51fee247e4aed92089f612aad981a5a28f3ea1236cd8b4a46877b219d5/certora-cli-alpha-andrew-satisfy-20230515.15.37.121924.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230515.15.37.121924 2023-05-17T13:48:27,323 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/3c/ae/e7607d963661c1f42be2d97c356093f90ac3ce88e2d062d799bbde0e5840/certora_cli_alpha_andrew_satisfy-20230515.15.37.121924-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T13:48:27,323 Found link https://files.pythonhosted.org/packages/37/11/db2f2a8cf00caa30d0cccf583ef648c4803cf6cdb93528f644629c056d9e/certora-cli-alpha-andrew-satisfy-20230515.16.38.921195.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230515.16.38.921195 2023-05-17T13:48:27,324 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/20/a6/ce94cdf8270600d9bbf91d942dc237280c7c1c7b33d6a187713a102f727b/certora_cli_alpha_andrew_satisfy-20230515.16.38.921195-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T13:48:27,324 Found link https://files.pythonhosted.org/packages/42/2c/5eb74b071063a5d398f606f4662f7c8b05cce5d245f0fe3e1a76186a9c43/certora-cli-alpha-andrew-satisfy-20230515.17.39.398525.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230515.17.39.398525 2023-05-17T13:48:27,325 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/5b/68/56effe5a98e085576a4aba501e0ec2afe27a391d37462726bc4e19028940/certora_cli_alpha_andrew_satisfy-20230515.17.39.398525-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T13:48:27,325 Found link https://files.pythonhosted.org/packages/76/08/e713e05b8a33824764341ea884a052d062dc1900f5c6a56e21e71f7a63a0/certora-cli-alpha-andrew-satisfy-20230515.21.0.49738.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230515.21.0.49738 2023-05-17T13:48:27,325 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/31/18/1719b3bee8f43fd3482f4744e32672573f9a7c25131e998cdd6b18eac3d3/certora_cli_alpha_andrew_satisfy-20230515.21.0.49738-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T13:48:27,326 Found link https://files.pythonhosted.org/packages/13/a0/3a5db13233e63de21723e3ee13952249624c52dbe70390365947f637580b/certora-cli-alpha-andrew-satisfy-20230516.8.26.706308.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230516.8.26.706308 2023-05-17T13:48:27,326 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/d3/93/fee0079e4214660f98a66218fd9aaf2b8e61c54e52811cb7884a938066b2/certora_cli_alpha_andrew_satisfy-20230516.8.26.706308-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T13:48:27,327 Found link https://files.pythonhosted.org/packages/56/00/2d5a147a2b4f290a7b6e0ac0b5015212914555b0c666f009d1e521833b76/certora-cli-alpha-andrew-satisfy-20230517.10.42.869699.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230517.10.42.869699 2023-05-17T13:48:27,327 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/7f/33/8ed6775e426d7c861c9cc3d6350db0c90b513dc48ecc9b04c8f4df4242ad/certora_cli_alpha_andrew_satisfy-20230517.10.42.869699-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T13:48:27,328 Found link https://files.pythonhosted.org/packages/3d/db/df1be80cabc789da7dc3b46e085f261cbc003c638988207ce79bcbf30c9a/certora-cli-alpha-andrew-satisfy-20230517.11.21.232315.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230517.11.21.232315 2023-05-17T13:48:27,328 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/87/68/1d23f68771036ecac0b32bc7dec6a11141e94837cfd0967a0ee9d9acea7b/certora_cli_alpha_andrew_satisfy-20230517.11.21.232315-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T13:48:27,328 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T13:48:27,329 Getting page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T13:48:27,330 Found index url https://www.piwheels.org/simple/ 2023-05-17T13:48:27,526 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ as text/html 2023-05-17T13:48:27,529 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/certora_cli_alpha_andrew_satisfy-20230516.8.26.706308-py3-none-any.whl#sha256=a8bf08e80797fbb352ac4877f279f8c8822c1d15d6db109773403393b7d5b1e1 (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T13:48:27,529 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/certora_cli_alpha_andrew_satisfy-20230515.21.0.49738-py3-none-any.whl#sha256=92eaaf30572bbc9ecfdab35bbe8e2fdaebd121d709947c4d610dc10831daa468 (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T13:48:27,530 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/certora_cli_alpha_andrew_satisfy-20230515.17.39.398525-py3-none-any.whl#sha256=72832f3d9d351c8a40275fd1254468b9c48ac3392e59d632260eeb4ace731b2a (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T13:48:27,530 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/certora_cli_alpha_andrew_satisfy-20230515.16.38.921195-py3-none-any.whl#sha256=9320b3a42bc7c96e404fa6486b83a2a79b9dc4b64ae1056b2e6384dbf266ed5b (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T13:48:27,530 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/certora_cli_alpha_andrew_satisfy-20230515.15.37.121924-py3-none-any.whl#sha256=ea20bdbf6f9b42fb39efdb72fa41ec6c457fdb76fdbadc9ffe62a45b383836e9 (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T13:48:27,530 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/certora_cli_alpha_andrew_satisfy-20230515.14.17.18468-py3-none-any.whl#sha256=11080c728343466d0949b06ddae3970c42138947b9d5a005f53c9c2c98661fae (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T13:48:27,530 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T13:48:27,531 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T13:48:27,549 Given no hashes to check 1 links for project 'certora-cli-alpha-andrew-satisfy': discarding no candidates 2023-05-17T13:48:27,565 Collecting certora-cli-alpha-andrew-satisfy==20230517.10.42.869699 2023-05-17T13:48:27,568 Created temporary directory: /tmp/pip-unpack-akusla_z 2023-05-17T13:48:27,958 Downloading certora-cli-alpha-andrew-satisfy-20230517.10.42.869699.tar.gz (39.0 MB) 2023-05-17T13:48:37,137 Added certora-cli-alpha-andrew-satisfy==20230517.10.42.869699 from https://files.pythonhosted.org/packages/56/00/2d5a147a2b4f290a7b6e0ac0b5015212914555b0c666f009d1e521833b76/certora-cli-alpha-andrew-satisfy-20230517.10.42.869699.tar.gz to build tracker '/tmp/pip-build-tracker-xw3brwt2' 2023-05-17T13:48:37,139 Running setup.py (path:/tmp/pip-wheel-z3cefdzn/certora-cli-alpha-andrew-satisfy_dbb791e42aff417685101a534c877ec5/setup.py) egg_info for package certora-cli-alpha-andrew-satisfy 2023-05-17T13:48:37,140 Created temporary directory: /tmp/pip-pip-egg-info-2wb39wfo 2023-05-17T13:48:37,140 Preparing metadata (setup.py): started 2023-05-17T13:48:37,141 Running command python setup.py egg_info 2023-05-17T13:48:37,723 running egg_info 2023-05-17T13:48:37,724 creating /tmp/pip-pip-egg-info-2wb39wfo/certora_cli_alpha_andrew_satisfy.egg-info 2023-05-17T13:48:37,749 writing /tmp/pip-pip-egg-info-2wb39wfo/certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO 2023-05-17T13:48:37,751 writing dependency_links to /tmp/pip-pip-egg-info-2wb39wfo/certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt 2023-05-17T13:48:37,753 writing entry points to /tmp/pip-pip-egg-info-2wb39wfo/certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt 2023-05-17T13:48:37,754 writing requirements to /tmp/pip-pip-egg-info-2wb39wfo/certora_cli_alpha_andrew_satisfy.egg-info/requires.txt 2023-05-17T13:48:37,756 writing top-level names to /tmp/pip-pip-egg-info-2wb39wfo/certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt 2023-05-17T13:48:37,757 writing manifest file '/tmp/pip-pip-egg-info-2wb39wfo/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-17T13:48:37,837 reading manifest file '/tmp/pip-pip-egg-info-2wb39wfo/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-17T13:48:37,839 reading manifest template 'MANIFEST.in' 2023-05-17T13:48:37,848 adding license file 'LICENSE' 2023-05-17T13:48:37,851 writing manifest file '/tmp/pip-pip-egg-info-2wb39wfo/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-17T13:48:37,911 Preparing metadata (setup.py): finished with status 'done' 2023-05-17T13:48:37,916 Source in /tmp/pip-wheel-z3cefdzn/certora-cli-alpha-andrew-satisfy_dbb791e42aff417685101a534c877ec5 has version 20230517.10.42.869699, which satisfies requirement certora-cli-alpha-andrew-satisfy==20230517.10.42.869699 from https://files.pythonhosted.org/packages/56/00/2d5a147a2b4f290a7b6e0ac0b5015212914555b0c666f009d1e521833b76/certora-cli-alpha-andrew-satisfy-20230517.10.42.869699.tar.gz 2023-05-17T13:48:37,917 Removed certora-cli-alpha-andrew-satisfy==20230517.10.42.869699 from https://files.pythonhosted.org/packages/56/00/2d5a147a2b4f290a7b6e0ac0b5015212914555b0c666f009d1e521833b76/certora-cli-alpha-andrew-satisfy-20230517.10.42.869699.tar.gz from build tracker '/tmp/pip-build-tracker-xw3brwt2' 2023-05-17T13:48:37,924 Created temporary directory: /tmp/pip-unpack-pyt75o4v 2023-05-17T13:48:37,925 Building wheels for collected packages: certora-cli-alpha-andrew-satisfy 2023-05-17T13:48:37,928 Created temporary directory: /tmp/pip-wheel-9uvcy793 2023-05-17T13:48:37,929 Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): started 2023-05-17T13:48:37,930 Destination directory: /tmp/pip-wheel-9uvcy793 2023-05-17T13:48:37,930 Running command python setup.py bdist_wheel 2023-05-17T13:48:38,731 running bdist_wheel 2023-05-17T13:48:39,011 running build 2023-05-17T13:48:39,012 running build_py 2023-05-17T13:48:39,039 creating build 2023-05-17T13:48:39,040 creating build/lib 2023-05-17T13:48:39,041 creating build/lib/certora_cli 2023-05-17T13:48:39,042 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-17T13:48:39,044 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-17T13:48:39,045 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-17T13:48:39,048 creating build/lib/certora_jars 2023-05-17T13:48:39,049 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-17T13:48:39,051 creating build/lib/certora_cli/Shared 2023-05-17T13:48:39,052 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-17T13:48:39,055 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-17T13:48:39,057 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-17T13:48:39,059 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-17T13:48:39,063 creating build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,064 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,066 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,068 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,071 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,073 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,077 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,084 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,087 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,090 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,093 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,095 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,098 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,100 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,102 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T13:48:39,105 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T13:48:39,106 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T13:48:39,108 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T13:48:39,109 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T13:48:39,111 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T13:48:39,115 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T13:48:39,117 running egg_info 2023-05-17T13:48:39,177 writing certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO 2023-05-17T13:48:39,179 writing dependency_links to certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt 2023-05-17T13:48:39,181 writing entry points to certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt 2023-05-17T13:48:39,183 writing requirements to certora_cli_alpha_andrew_satisfy.egg-info/requires.txt 2023-05-17T13:48:39,184 writing top-level names to certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt 2023-05-17T13:48:39,216 reading manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-17T13:48:39,218 reading manifest template 'MANIFEST.in' 2023-05-17T13:48:39,227 adding license file 'LICENSE' 2023-05-17T13:48:39,231 writing manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-17T13:48:39,234 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-17T13:48:39,236 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-17T13:48:39,473 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-17T13:48:39,628 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-17T13:48:39,818 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-17T13:48:39,904 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-17T13:48:39,996 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-17T13:48:39,996 !! 2023-05-17T13:48:39,996 ******************************************************************************** 2023-05-17T13:48:39,997 Please avoid running ``setup.py`` directly. 2023-05-17T13:48:39,997 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-17T13:48:39,997 other standards-based tools. 2023-05-17T13:48:39,997 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-17T13:48:39,997 ******************************************************************************** 2023-05-17T13:48:39,997 !! 2023-05-17T13:48:39,997 self.initialize_options() 2023-05-17T13:48:40,023 installing to build/bdist.linux-armv7l/wheel 2023-05-17T13:48:40,023 running install 2023-05-17T13:48:40,049 running install_lib 2023-05-17T13:48:40,074 creating build/bdist.linux-armv7l 2023-05-17T13:48:40,075 creating build/bdist.linux-armv7l/wheel 2023-05-17T13:48:40,077 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T13:48:40,079 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T13:48:40,080 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T13:48:40,083 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T13:48:40,086 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T13:48:40,088 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T13:48:40,091 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T13:48:40,093 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T13:48:40,095 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T13:48:40,098 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,099 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,102 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T13:48:40,102 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T13:48:40,104 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T13:48:40,106 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T13:48:40,108 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T13:48:40,111 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T13:48:40,113 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,115 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,118 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,120 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,123 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,127 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,130 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,132 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,135 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,138 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,141 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,142 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,144 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T13:48:40,147 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T13:48:40,147 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T13:48:40,479 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T13:48:40,678 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T13:48:40,789 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T13:48:40,863 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T13:48:41,028 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T13:48:41,030 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T13:48:41,032 running install_egg_info 2023-05-17T13:48:41,060 Copying certora_cli_alpha_andrew_satisfy.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_andrew_satisfy-20230517.10.42.869699-py3.9.egg-info 2023-05-17T13:48:41,072 running install_scripts 2023-05-17T13:48:41,089 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-17T13:48:41,093 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_andrew_satisfy-20230517.10.42.869699.dist-info/WHEEL 2023-05-17T13:48:41,096 creating '/tmp/pip-wheel-9uvcy793/certora_cli_alpha_andrew_satisfy-20230517.10.42.869699-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-17T13:48:41,098 adding 'certora_cli/__init__.py' 2023-05-17T13:48:41,100 adding 'certora_cli/certoraMutate.py' 2023-05-17T13:48:41,102 adding 'certora_cli/certoraRun.py' 2023-05-17T13:48:41,105 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-17T13:48:41,127 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-17T13:48:41,134 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-17T13:48:41,136 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-17T13:48:41,138 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-17T13:48:41,143 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-17T13:48:41,147 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-17T13:48:41,148 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-17T13:48:41,154 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-17T13:48:41,156 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-17T13:48:41,159 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-17T13:48:41,160 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-17T13:48:41,164 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-17T13:48:41,167 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-17T13:48:41,170 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-17T13:48:41,172 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-17T13:48:41,174 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-17T13:48:41,178 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-17T13:48:41,180 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-17T13:48:41,182 adding 'certora_cli/Shared/__init__.py' 2023-05-17T13:48:41,184 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-17T13:48:41,187 adding 'certora_cli/Shared/certoraTester.py' 2023-05-17T13:48:41,193 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-17T13:48:41,197 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-17T13:48:42,877 adding 'certora_jars/MutationTest.jar' 2023-05-17T13:48:44,207 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-17T13:48:45,797 adding 'certora_jars/Typechecker.jar' 2023-05-17T13:48:45,880 adding 'certora_jars/__init__.py' 2023-05-17T13:48:46,615 adding 'certora_jars/gambit-linux' 2023-05-17T13:48:47,277 adding 'certora_jars/gambit-macos' 2023-05-17T13:48:47,303 adding 'certora_cli_alpha_andrew_satisfy-20230517.10.42.869699.dist-info/LICENSE' 2023-05-17T13:48:47,305 adding 'certora_cli_alpha_andrew_satisfy-20230517.10.42.869699.dist-info/METADATA' 2023-05-17T13:48:47,306 adding 'certora_cli_alpha_andrew_satisfy-20230517.10.42.869699.dist-info/WHEEL' 2023-05-17T13:48:47,307 adding 'certora_cli_alpha_andrew_satisfy-20230517.10.42.869699.dist-info/entry_points.txt' 2023-05-17T13:48:47,309 adding 'certora_cli_alpha_andrew_satisfy-20230517.10.42.869699.dist-info/top_level.txt' 2023-05-17T13:48:47,310 adding 'certora_cli_alpha_andrew_satisfy-20230517.10.42.869699.dist-info/RECORD' 2023-05-17T13:48:47,774 removing build/bdist.linux-armv7l/wheel 2023-05-17T13:48:47,894 Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): finished with status 'done' 2023-05-17T13:48:48,285 Created wheel for certora-cli-alpha-andrew-satisfy: filename=certora_cli_alpha_andrew_satisfy-20230517.10.42.869699-py3-none-any.whl size=39047622 sha256=fc37258ed77966591288233906783f8451bccebd7e64d121d891af83e408b61c 2023-05-17T13:48:48,286 Stored in directory: /tmp/pip-ephem-wheel-cache-z8o7ba3q/wheels/e5/67/d4/a1cf07f0e07a13302bcd1e8a49f82b7b182b20d32e5e813ebf 2023-05-17T13:48:48,309 Successfully built certora-cli-alpha-andrew-satisfy 2023-05-17T13:48:49,257 Removed build tracker: '/tmp/pip-build-tracker-xw3brwt2'