2023-05-18T19:30:59,344 Created temporary directory: /tmp/pip-build-tracker-gyvjd6v9
2023-05-18T19:30:59,345 Initialized build tracking at /tmp/pip-build-tracker-gyvjd6v9
2023-05-18T19:30:59,346 Created build tracker: /tmp/pip-build-tracker-gyvjd6v9
2023-05-18T19:30:59,346 Entered build tracker: /tmp/pip-build-tracker-gyvjd6v9
2023-05-18T19:30:59,346 Created temporary directory: /tmp/pip-wheel-cqzr4gde
2023-05-18T19:30:59,350 Created temporary directory: /tmp/pip-ephem-wheel-cache-cdci6n3v
2023-05-18T19:30:59,376 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-18T19:30:59,380 2 location(s) to search for versions of certora-cli-alpha-andrew-satisfy:
2023-05-18T19:30:59,380 * https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-18T19:30:59,380 * https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-18T19:30:59,380 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-18T19:30:59,381 Getting page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-18T19:30:59,382 Found index url https://pypi.org/simple/
2023-05-18T19:30:59,433 Fetched page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ as application/vnd.pypi.simple.v1+json
2023-05-18T19:30:59,437   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-18T19:30:59,437   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-18T19:30:59,438   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-18T19:30:59,438   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-18T19:30:59,439   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-18T19:30:59,439   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-18T19:30:59,440   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-18T19:30:59,440   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-18T19:30:59,441   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-18T19:30:59,441   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-18T19:30:59,441   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-18T19:30:59,442   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-18T19:30:59,442   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-18T19:30:59,443   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-18T19:30:59,443   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-18T19:30:59,443   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-18T19:30:59,444   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-18T19:30:59,444   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-18T19:30:59,445 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-18T19:30:59,445 Getting page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-18T19:30:59,446 Found index url https://www.piwheels.org/simple/
2023-05-18T19:30:59,674 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ as text/html
2023-05-18T19:30:59,677   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-18T19:30:59,677   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-18T19:30:59,678   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-18T19:30:59,678   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-18T19:30:59,678   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-18T19:30:59,678   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-18T19:30:59,678   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-18T19:30:59,679   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-18T19:30:59,679 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-18T19:30:59,679 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-18T19:30:59,697 Given no hashes to check 1 links for project 'certora-cli-alpha-andrew-satisfy': discarding no candidates
2023-05-18T19:30:59,714 Collecting certora-cli-alpha-andrew-satisfy==20230518.18.49.674347
2023-05-18T19:30:59,716   Created temporary directory: /tmp/pip-unpack-j0688l6w
2023-05-18T19:30:59,855   Downloading certora-cli-alpha-andrew-satisfy-20230518.18.49.674347.tar.gz (39.0 MB)
2023-05-18T19:31:08,797   Added certora-cli-alpha-andrew-satisfy==20230518.18.49.674347 from https://files.pythonhosted.org/packages/54/58/1f389f3ecb405ce898f6305c77597426e738c20bc958fbdbfedeab2a936d/certora-cli-alpha-andrew-satisfy-20230518.18.49.674347.tar.gz to build tracker '/tmp/pip-build-tracker-gyvjd6v9'
2023-05-18T19:31:08,799   Running setup.py (path:/tmp/pip-wheel-cqzr4gde/certora-cli-alpha-andrew-satisfy_9cc777fec9794aa9bdcc72d459fc919c/setup.py) egg_info for package certora-cli-alpha-andrew-satisfy
2023-05-18T19:31:08,800   Created temporary directory: /tmp/pip-pip-egg-info-li3dy8ki
2023-05-18T19:31:08,800   Preparing metadata (setup.py): started
2023-05-18T19:31:08,801   Running command python setup.py egg_info
2023-05-18T19:31:09,401   running egg_info
2023-05-18T19:31:09,402   creating /tmp/pip-pip-egg-info-li3dy8ki/certora_cli_alpha_andrew_satisfy.egg-info
2023-05-18T19:31:09,427   writing /tmp/pip-pip-egg-info-li3dy8ki/certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO
2023-05-18T19:31:09,429   writing dependency_links to /tmp/pip-pip-egg-info-li3dy8ki/certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt
2023-05-18T19:31:09,431   writing entry points to /tmp/pip-pip-egg-info-li3dy8ki/certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt
2023-05-18T19:31:09,432   writing requirements to /tmp/pip-pip-egg-info-li3dy8ki/certora_cli_alpha_andrew_satisfy.egg-info/requires.txt
2023-05-18T19:31:09,433   writing top-level names to /tmp/pip-pip-egg-info-li3dy8ki/certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt
2023-05-18T19:31:09,435   writing manifest file '/tmp/pip-pip-egg-info-li3dy8ki/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-18T19:31:09,520   reading manifest file '/tmp/pip-pip-egg-info-li3dy8ki/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-18T19:31:09,522   reading manifest template 'MANIFEST.in'
2023-05-18T19:31:09,532   adding license file 'LICENSE'
2023-05-18T19:31:09,537   writing manifest file '/tmp/pip-pip-egg-info-li3dy8ki/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-18T19:31:09,596   Preparing metadata (setup.py): finished with status 'done'
2023-05-18T19:31:09,601   Source in /tmp/pip-wheel-cqzr4gde/certora-cli-alpha-andrew-satisfy_9cc777fec9794aa9bdcc72d459fc919c has version 20230518.18.49.674347, which satisfies requirement certora-cli-alpha-andrew-satisfy==20230518.18.49.674347 from https://files.pythonhosted.org/packages/54/58/1f389f3ecb405ce898f6305c77597426e738c20bc958fbdbfedeab2a936d/certora-cli-alpha-andrew-satisfy-20230518.18.49.674347.tar.gz
2023-05-18T19:31:09,602   Removed certora-cli-alpha-andrew-satisfy==20230518.18.49.674347 from https://files.pythonhosted.org/packages/54/58/1f389f3ecb405ce898f6305c77597426e738c20bc958fbdbfedeab2a936d/certora-cli-alpha-andrew-satisfy-20230518.18.49.674347.tar.gz from build tracker '/tmp/pip-build-tracker-gyvjd6v9'
2023-05-18T19:31:09,608 Created temporary directory: /tmp/pip-unpack-rjxkovu5
2023-05-18T19:31:09,609 Building wheels for collected packages: certora-cli-alpha-andrew-satisfy
2023-05-18T19:31:09,613   Created temporary directory: /tmp/pip-wheel-e8ju8p0t
2023-05-18T19:31:09,613   Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): started
2023-05-18T19:31:09,614   Destination directory: /tmp/pip-wheel-e8ju8p0t
2023-05-18T19:31:09,614   Running command python setup.py bdist_wheel
2023-05-18T19:31:10,407   running bdist_wheel
2023-05-18T19:31:10,687   running build
2023-05-18T19:31:10,687   running build_py
2023-05-18T19:31:10,715   creating build
2023-05-18T19:31:10,715   creating build/lib
2023-05-18T19:31:10,716   creating build/lib/certora_jars
2023-05-18T19:31:10,717   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-18T19:31:10,719   creating build/lib/certora_cli
2023-05-18T19:31:10,720   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-18T19:31:10,722   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-18T19:31:10,723   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-18T19:31:10,725   creating build/lib/certora_cli/Shared
2023-05-18T19:31:10,726   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-18T19:31:10,729   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-18T19:31:10,731   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-18T19:31:10,733   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-18T19:31:10,736   creating build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,737   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,742   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,745   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,746   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,749   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,750   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,753   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,754   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,757   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,758   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,761   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,763   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,766   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,768   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-18T19:31:10,771   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-18T19:31:10,771   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-18T19:31:10,774   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-18T19:31:10,776   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-18T19:31:10,778   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-18T19:31:10,780   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-18T19:31:10,781   running egg_info
2023-05-18T19:31:10,839   writing certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO
2023-05-18T19:31:10,840   writing dependency_links to certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt
2023-05-18T19:31:10,842   writing entry points to certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt
2023-05-18T19:31:10,843   writing requirements to certora_cli_alpha_andrew_satisfy.egg-info/requires.txt
2023-05-18T19:31:10,844   writing top-level names to certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt
2023-05-18T19:31:10,874   reading manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-18T19:31:10,877   reading manifest template 'MANIFEST.in'
2023-05-18T19:31:10,885   adding license file 'LICENSE'
2023-05-18T19:31:10,889   writing manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-18T19:31:10,892   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-18T19:31:10,894   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-18T19:31:11,116   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-18T19:31:11,275   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-18T19:31:11,618   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-18T19:31:11,724   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-18T19:31:11,821   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-18T19:31:11,822   !!

2023-05-18T19:31:11,822           ********************************************************************************
2023-05-18T19:31:11,822           Please avoid running ``setup.py`` directly.
2023-05-18T19:31:11,822           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-18T19:31:11,822           other standards-based tools.

2023-05-18T19:31:11,823           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-18T19:31:11,823           ********************************************************************************

2023-05-18T19:31:11,823   !!
2023-05-18T19:31:11,823     self.initialize_options()
2023-05-18T19:31:11,849   installing to build/bdist.linux-armv7l/wheel
2023-05-18T19:31:11,849   running install
2023-05-18T19:31:11,874   running install_lib
2023-05-18T19:31:11,901   creating build/bdist.linux-armv7l
2023-05-18T19:31:11,902   creating build/bdist.linux-armv7l/wheel
2023-05-18T19:31:11,903   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-18T19:31:11,904   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-18T19:31:12,094   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-18T19:31:12,255   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-18T19:31:12,314   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-18T19:31:12,315   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-18T19:31:12,317   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-18T19:31:12,407   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-18T19:31:12,625   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-18T19:31:12,627   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-18T19:31:12,630   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-18T19:31:12,632   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-18T19:31:12,634   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-18T19:31:12,636   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-18T19:31:12,639   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-18T19:31:12,641   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-18T19:31:12,644   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-18T19:31:12,647   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,648   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,654   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,657   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,659   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,663   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,665   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,668   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,670   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,673   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,675   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,679   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,683   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-18T19:31:12,684   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-18T19:31:12,687   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-18T19:31:12,690   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-18T19:31:12,692   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-18T19:31:12,695   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-18T19:31:12,697   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,701   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,703   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-18T19:31:12,705   running install_egg_info
2023-05-18T19:31:12,736   Copying certora_cli_alpha_andrew_satisfy.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_andrew_satisfy-20230518.18.49.674347-py3.9.egg-info
2023-05-18T19:31:12,748   running install_scripts
2023-05-18T19:31:12,764   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-18T19:31:12,769   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_andrew_satisfy-20230518.18.49.674347.dist-info/WHEEL
2023-05-18T19:31:12,772   creating '/tmp/pip-wheel-e8ju8p0t/certora_cli_alpha_andrew_satisfy-20230518.18.49.674347-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-18T19:31:12,774   adding 'certora_cli/__init__.py'
2023-05-18T19:31:12,776   adding 'certora_cli/certoraMutate.py'
2023-05-18T19:31:12,778   adding 'certora_cli/certoraRun.py'
2023-05-18T19:31:12,781   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-18T19:31:12,803   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-18T19:31:12,811   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-18T19:31:12,813   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-18T19:31:12,815   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-18T19:31:12,820   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-18T19:31:12,823   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-18T19:31:12,825   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-18T19:31:12,831   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-18T19:31:12,833   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-18T19:31:12,835   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-18T19:31:12,837   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-18T19:31:12,840   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-18T19:31:12,844   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-18T19:31:12,847   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-18T19:31:12,849   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-18T19:31:12,851   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-18T19:31:12,856   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-18T19:31:12,858   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-18T19:31:12,861   adding 'certora_cli/Shared/__init__.py'
2023-05-18T19:31:12,864   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-18T19:31:12,867   adding 'certora_cli/Shared/certoraTester.py'
2023-05-18T19:31:12,876   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-18T19:31:12,881   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-18T19:31:14,588   adding 'certora_jars/MutationTest.jar'
2023-05-18T19:31:15,917   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-18T19:31:17,504   adding 'certora_jars/Typechecker.jar'
2023-05-18T19:31:17,587   adding 'certora_jars/__init__.py'
2023-05-18T19:31:18,326   adding 'certora_jars/gambit-linux'
2023-05-18T19:31:18,990   adding 'certora_jars/gambit-macos'
2023-05-18T19:31:19,016   adding 'certora_cli_alpha_andrew_satisfy-20230518.18.49.674347.dist-info/LICENSE'
2023-05-18T19:31:19,018   adding 'certora_cli_alpha_andrew_satisfy-20230518.18.49.674347.dist-info/METADATA'
2023-05-18T19:31:19,019   adding 'certora_cli_alpha_andrew_satisfy-20230518.18.49.674347.dist-info/WHEEL'
2023-05-18T19:31:19,020   adding 'certora_cli_alpha_andrew_satisfy-20230518.18.49.674347.dist-info/entry_points.txt'
2023-05-18T19:31:19,022   adding 'certora_cli_alpha_andrew_satisfy-20230518.18.49.674347.dist-info/top_level.txt'
2023-05-18T19:31:19,023   adding 'certora_cli_alpha_andrew_satisfy-20230518.18.49.674347.dist-info/RECORD'
2023-05-18T19:31:19,424   removing build/bdist.linux-armv7l/wheel
2023-05-18T19:31:19,543   Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): finished with status 'done'
2023-05-18T19:31:19,929   Created wheel for certora-cli-alpha-andrew-satisfy: filename=certora_cli_alpha_andrew_satisfy-20230518.18.49.674347-py3-none-any.whl size=39056728 sha256=f08ff1a212f28f983725ad6cd1d5b2a9e95a5377ad00cb7053053729a52c8ca4
2023-05-18T19:31:19,930   Stored in directory: /tmp/pip-ephem-wheel-cache-cdci6n3v/wheels/84/ff/51/2ed7e3a354964ed37503422ede4db9b9fa97b3ee9849876b83
2023-05-18T19:31:19,954 Successfully built certora-cli-alpha-andrew-satisfy
2023-05-18T19:31:20,931 Removed build tracker: '/tmp/pip-build-tracker-gyvjd6v9'