2023-05-19T11:17:43,921 Created temporary directory: /tmp/pip-build-tracker-2qdluzra 2023-05-19T11:17:43,922 Initialized build tracking at /tmp/pip-build-tracker-2qdluzra 2023-05-19T11:17:43,923 Created build tracker: /tmp/pip-build-tracker-2qdluzra 2023-05-19T11:17:43,923 Entered build tracker: /tmp/pip-build-tracker-2qdluzra 2023-05-19T11:17:43,923 Created temporary directory: /tmp/pip-wheel-brpfy5fc 2023-05-19T11:17:43,927 Created temporary directory: /tmp/pip-ephem-wheel-cache-d9ocxx5p 2023-05-19T11:17:43,950 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-19T11:17:43,953 2 location(s) to search for versions of certora-cli-alpha-andrew-satisfy: 2023-05-19T11:17:43,953 * https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-19T11:17:43,953 * https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-19T11:17:43,954 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-19T11:17:43,954 Getting page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-19T11:17:43,956 Found index url https://pypi.org/simple/ 2023-05-19T11:17:44,017 Fetched page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ as application/vnd.pypi.simple.v1+json 2023-05-19T11:17:44,022 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-19T11:17:44,023 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-19T11:17:44,023 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-19T11:17:44,023 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-19T11:17:44,024 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-19T11:17:44,024 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-19T11:17:44,025 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-19T11:17:44,025 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-19T11:17:44,026 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-19T11:17:44,026 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-19T11:17:44,027 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-19T11:17:44,027 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-19T11:17:44,027 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-19T11:17:44,028 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-19T11:17:44,028 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-19T11:17:44,029 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-19T11:17:44,029 Found link https://files.pythonhosted.org/packages/54/58/1f389f3ecb405ce898f6305c77597426e738c20bc958fbdbfedeab2a936d/certora-cli-alpha-andrew-satisfy-20230518.18.49.674347.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8), version: 20230518.18.49.674347 2023-05-19T11:17:44,030 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/64/f1/2379ffc21c3af5e2ce4b6fcf7266beb886e4a58baa9ac629678319e53d3d/certora_cli_alpha_andrew_satisfy-20230518.18.49.674347-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8) 2023-05-19T11:17:44,030 Found link https://files.pythonhosted.org/packages/ae/81/556233dbd5606ad1395a5019df425ca7f54a092888d85ab13f806473d791/certora-cli-alpha-andrew-satisfy-20230519.10.34.755092.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8), version: 20230519.10.34.755092 2023-05-19T11:17:44,030 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/be/fa/bc502abffa147fb82b70cacf804839ae8ccaac5114fc54efc4a0d43f6eb0/certora_cli_alpha_andrew_satisfy-20230519.10.34.755092-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8) 2023-05-19T11:17:44,031 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-19T11:17:44,031 Getting page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-19T11:17:44,032 Found index url https://www.piwheels.org/simple/ 2023-05-19T11:17:44,190 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ as text/html 2023-05-19T11:17:44,194 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-20230518.18.49.674347-py3-none-any.whl#sha256=f08ff1a212f28f983725ad6cd1d5b2a9e95a5377ad00cb7053053729a52c8ca4 (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8) 2023-05-19T11:17:44,194 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-20230517.11.21.232315-py3-none-any.whl#sha256=57876b09c2d521a62b4675cedaea85b0a19f6621396ca5bdc2e7b91017002223 (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-19T11:17:44,195 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-20230517.10.42.869699-py3-none-any.whl#sha256=fc37258ed77966591288233906783f8451bccebd7e64d121d891af83e408b61c (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-19T11:17:44,195 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-19T11:17:44,195 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-19T11:17:44,195 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-19T11:17:44,195 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-19T11:17:44,196 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-19T11:17:44,196 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-19T11:17:44,196 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-19T11:17:44,196 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-19T11:17:44,214 Given no hashes to check 1 links for project 'certora-cli-alpha-andrew-satisfy': discarding no candidates 2023-05-19T11:17:44,231 Collecting certora-cli-alpha-andrew-satisfy==20230519.10.34.755092 2023-05-19T11:17:44,233 Created temporary directory: /tmp/pip-unpack-u8ws1nr9 2023-05-19T11:17:44,364 Downloading certora-cli-alpha-andrew-satisfy-20230519.10.34.755092.tar.gz (39.0 MB) 2023-05-19T11:17:53,956 Added certora-cli-alpha-andrew-satisfy==20230519.10.34.755092 from https://files.pythonhosted.org/packages/ae/81/556233dbd5606ad1395a5019df425ca7f54a092888d85ab13f806473d791/certora-cli-alpha-andrew-satisfy-20230519.10.34.755092.tar.gz to build tracker '/tmp/pip-build-tracker-2qdluzra' 2023-05-19T11:17:53,958 Running setup.py (path:/tmp/pip-wheel-brpfy5fc/certora-cli-alpha-andrew-satisfy_84252bfcebe04f2684ad4bdafe6a7102/setup.py) egg_info for package certora-cli-alpha-andrew-satisfy 2023-05-19T11:17:53,959 Created temporary directory: /tmp/pip-pip-egg-info-o3e2zx2k 2023-05-19T11:17:53,959 Preparing metadata (setup.py): started 2023-05-19T11:17:53,960 Running command python setup.py egg_info 2023-05-19T11:17:54,539 running egg_info 2023-05-19T11:17:54,540 creating /tmp/pip-pip-egg-info-o3e2zx2k/certora_cli_alpha_andrew_satisfy.egg-info 2023-05-19T11:17:54,565 writing /tmp/pip-pip-egg-info-o3e2zx2k/certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO 2023-05-19T11:17:54,567 writing dependency_links to /tmp/pip-pip-egg-info-o3e2zx2k/certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt 2023-05-19T11:17:54,569 writing entry points to /tmp/pip-pip-egg-info-o3e2zx2k/certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt 2023-05-19T11:17:54,570 writing requirements to /tmp/pip-pip-egg-info-o3e2zx2k/certora_cli_alpha_andrew_satisfy.egg-info/requires.txt 2023-05-19T11:17:54,571 writing top-level names to /tmp/pip-pip-egg-info-o3e2zx2k/certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt 2023-05-19T11:17:54,572 writing manifest file '/tmp/pip-pip-egg-info-o3e2zx2k/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-19T11:17:54,652 reading manifest file '/tmp/pip-pip-egg-info-o3e2zx2k/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-19T11:17:54,654 reading manifest template 'MANIFEST.in' 2023-05-19T11:17:54,662 adding license file 'LICENSE' 2023-05-19T11:17:54,666 writing manifest file '/tmp/pip-pip-egg-info-o3e2zx2k/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-19T11:17:54,725 Preparing metadata (setup.py): finished with status 'done' 2023-05-19T11:17:54,730 Source in /tmp/pip-wheel-brpfy5fc/certora-cli-alpha-andrew-satisfy_84252bfcebe04f2684ad4bdafe6a7102 has version 20230519.10.34.755092, which satisfies requirement certora-cli-alpha-andrew-satisfy==20230519.10.34.755092 from https://files.pythonhosted.org/packages/ae/81/556233dbd5606ad1395a5019df425ca7f54a092888d85ab13f806473d791/certora-cli-alpha-andrew-satisfy-20230519.10.34.755092.tar.gz 2023-05-19T11:17:54,731 Removed certora-cli-alpha-andrew-satisfy==20230519.10.34.755092 from https://files.pythonhosted.org/packages/ae/81/556233dbd5606ad1395a5019df425ca7f54a092888d85ab13f806473d791/certora-cli-alpha-andrew-satisfy-20230519.10.34.755092.tar.gz from build tracker '/tmp/pip-build-tracker-2qdluzra' 2023-05-19T11:17:54,738 Created temporary directory: /tmp/pip-unpack-fn_bzv0s 2023-05-19T11:17:54,738 Building wheels for collected packages: certora-cli-alpha-andrew-satisfy 2023-05-19T11:17:54,742 Created temporary directory: /tmp/pip-wheel-a_huanyx 2023-05-19T11:17:54,743 Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): started 2023-05-19T11:17:54,744 Destination directory: /tmp/pip-wheel-a_huanyx 2023-05-19T11:17:54,744 Running command python setup.py bdist_wheel 2023-05-19T11:17:55,545 running bdist_wheel 2023-05-19T11:17:55,828 running build 2023-05-19T11:17:55,828 running build_py 2023-05-19T11:17:55,856 creating build 2023-05-19T11:17:55,857 creating build/lib 2023-05-19T11:17:55,857 creating build/lib/certora_cli 2023-05-19T11:17:55,859 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-19T11:17:55,861 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-19T11:17:55,862 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-19T11:17:55,865 creating build/lib/certora_jars 2023-05-19T11:17:55,865 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-19T11:17:55,868 creating build/lib/certora_cli/Shared 2023-05-19T11:17:55,869 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-19T11:17:55,871 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-19T11:17:55,873 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-19T11:17:55,875 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-19T11:17:55,879 creating build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,880 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,882 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,883 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,886 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,888 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,891 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,896 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,898 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,901 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,904 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,906 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,908 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,910 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,912 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:17:55,914 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T11:17:55,915 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T11:17:55,917 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T11:17:55,919 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T11:17:55,921 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T11:17:55,923 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T11:17:55,925 running egg_info 2023-05-19T11:17:55,984 writing certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO 2023-05-19T11:17:55,986 writing dependency_links to certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt 2023-05-19T11:17:55,988 writing entry points to certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt 2023-05-19T11:17:55,989 writing requirements to certora_cli_alpha_andrew_satisfy.egg-info/requires.txt 2023-05-19T11:17:55,991 writing top-level names to certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt 2023-05-19T11:17:56,023 reading manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-19T11:17:56,026 reading manifest template 'MANIFEST.in' 2023-05-19T11:17:56,035 adding license file 'LICENSE' 2023-05-19T11:17:56,039 writing manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-19T11:17:56,042 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-19T11:17:56,045 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-19T11:17:56,262 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-19T11:17:56,433 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-19T11:17:56,661 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-19T11:17:56,768 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-19T11:17:56,886 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-19T11:17:56,886 !! 2023-05-19T11:17:56,886 ******************************************************************************** 2023-05-19T11:17:56,887 Please avoid running ``setup.py`` directly. 2023-05-19T11:17:56,887 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-19T11:17:56,887 other standards-based tools. 2023-05-19T11:17:56,887 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-19T11:17:56,887 ******************************************************************************** 2023-05-19T11:17:56,888 !! 2023-05-19T11:17:56,888 self.initialize_options() 2023-05-19T11:17:56,912 installing to build/bdist.linux-armv7l/wheel 2023-05-19T11:17:56,912 running install 2023-05-19T11:17:56,937 running install_lib 2023-05-19T11:17:56,964 creating build/bdist.linux-armv7l 2023-05-19T11:17:56,964 creating build/bdist.linux-armv7l/wheel 2023-05-19T11:17:56,966 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-19T11:17:56,968 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T11:17:56,969 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T11:17:56,971 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T11:17:56,973 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T11:17:56,975 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T11:17:56,978 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-19T11:17:56,980 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-19T11:17:56,982 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-19T11:17:56,985 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:56,985 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:56,988 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T11:17:56,989 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T11:17:56,991 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T11:17:56,993 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T11:17:56,995 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T11:17:56,998 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T11:17:57,000 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:57,002 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:57,005 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:57,007 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:57,010 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:57,015 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:57,018 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:57,021 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:57,024 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:57,027 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:57,030 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:57,032 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:57,034 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:17:57,037 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:17:57,038 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:17:57,282 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:17:57,475 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:17:57,571 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:17:57,631 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:17:57,783 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:17:57,785 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:17:57,787 running install_egg_info 2023-05-19T11:17:57,816 Copying certora_cli_alpha_andrew_satisfy.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_andrew_satisfy-20230519.10.34.755092-py3.9.egg-info 2023-05-19T11:17:57,827 running install_scripts 2023-05-19T11:17:57,844 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-19T11:17:57,848 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_andrew_satisfy-20230519.10.34.755092.dist-info/WHEEL 2023-05-19T11:17:57,851 creating '/tmp/pip-wheel-a_huanyx/certora_cli_alpha_andrew_satisfy-20230519.10.34.755092-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-19T11:17:57,853 adding 'certora_cli/__init__.py' 2023-05-19T11:17:57,855 adding 'certora_cli/certoraMutate.py' 2023-05-19T11:17:57,857 adding 'certora_cli/certoraRun.py' 2023-05-19T11:17:57,859 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-19T11:17:57,881 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-19T11:17:57,888 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-19T11:17:57,890 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-19T11:17:57,891 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-19T11:17:57,896 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-19T11:17:57,899 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-19T11:17:57,901 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-19T11:17:57,906 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-19T11:17:57,908 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-19T11:17:57,910 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-19T11:17:57,911 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-19T11:17:57,914 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-19T11:17:57,918 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-19T11:17:57,920 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-19T11:17:57,922 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-19T11:17:57,923 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-19T11:17:57,928 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-19T11:17:57,929 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-19T11:17:57,931 adding 'certora_cli/Shared/__init__.py' 2023-05-19T11:17:57,934 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-19T11:17:57,936 adding 'certora_cli/Shared/certoraTester.py' 2023-05-19T11:17:57,946 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-19T11:17:57,950 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-19T11:17:59,650 adding 'certora_jars/MutationTest.jar' 2023-05-19T11:18:00,974 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-19T11:18:02,553 adding 'certora_jars/Typechecker.jar' 2023-05-19T11:18:02,636 adding 'certora_jars/__init__.py' 2023-05-19T11:18:03,372 adding 'certora_jars/gambit-linux' 2023-05-19T11:18:04,032 adding 'certora_jars/gambit-macos' 2023-05-19T11:18:04,058 adding 'certora_cli_alpha_andrew_satisfy-20230519.10.34.755092.dist-info/LICENSE' 2023-05-19T11:18:04,059 adding 'certora_cli_alpha_andrew_satisfy-20230519.10.34.755092.dist-info/METADATA' 2023-05-19T11:18:04,060 adding 'certora_cli_alpha_andrew_satisfy-20230519.10.34.755092.dist-info/WHEEL' 2023-05-19T11:18:04,061 adding 'certora_cli_alpha_andrew_satisfy-20230519.10.34.755092.dist-info/entry_points.txt' 2023-05-19T11:18:04,062 adding 'certora_cli_alpha_andrew_satisfy-20230519.10.34.755092.dist-info/top_level.txt' 2023-05-19T11:18:04,063 adding 'certora_cli_alpha_andrew_satisfy-20230519.10.34.755092.dist-info/RECORD' 2023-05-19T11:18:04,490 removing build/bdist.linux-armv7l/wheel 2023-05-19T11:18:04,610 Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): finished with status 'done' 2023-05-19T11:18:05,000 Created wheel for certora-cli-alpha-andrew-satisfy: filename=certora_cli_alpha_andrew_satisfy-20230519.10.34.755092-py3-none-any.whl size=39058062 sha256=087ef9ebedffe70f8d762bfbbf19e8ac956d759b10a337b06b072cb77f91e274 2023-05-19T11:18:05,001 Stored in directory: /tmp/pip-ephem-wheel-cache-d9ocxx5p/wheels/9f/ea/95/08a2ac89959e64e6579add3d90c9fdbf68981945cf37e9336c 2023-05-19T11:18:05,024 Successfully built certora-cli-alpha-andrew-satisfy 2023-05-19T11:18:05,922 Removed build tracker: '/tmp/pip-build-tracker-2qdluzra'