2023-05-13T22:33:42,261 Created temporary directory: /tmp/pip-build-tracker-tec28efa
2023-05-13T22:33:42,262 Initialized build tracking at /tmp/pip-build-tracker-tec28efa
2023-05-13T22:33:42,262 Created build tracker: /tmp/pip-build-tracker-tec28efa
2023-05-13T22:33:42,262 Entered build tracker: /tmp/pip-build-tracker-tec28efa
2023-05-13T22:33:42,263 Created temporary directory: /tmp/pip-wheel-kimk0cy3
2023-05-13T22:33:42,267 Created temporary directory: /tmp/pip-ephem-wheel-cache-ac_0rdxe
2023-05-13T22:33:42,291 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-13T22:33:42,295 2 location(s) to search for versions of certora-cli-alpha-oz-docker-json5:
2023-05-13T22:33:42,295 * https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:33:42,295 * https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:33:42,296 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:33:42,296 Getting page https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:33:42,298 Found index url https://pypi.org/simple/
2023-05-13T22:33:42,353 Fetched page https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/ as application/vnd.pypi.simple.v1+json
2023-05-13T22:33:42,359   Found link https://files.pythonhosted.org/packages/16/f7/8309c6a7a049961380cdca419fe03ef0ccfcc1077421a0442de7d418d9cb/certora-cli-alpha-oz-docker-json5-20230503.11.53.297815.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230503.11.53.297815
2023-05-13T22:33:42,359   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/5e/4f/f034fe6a6daa589ad11614538cd3c3fad06ae2d2c3422449c4751dca4b0f/certora_cli_alpha_oz_docker_json5-20230503.11.53.297815-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:33:42,360   Found link https://files.pythonhosted.org/packages/79/26/d51a2b1e418053427e21f511a66b09a88bec611ffb68adaede7dbd12151d/certora-cli-alpha-oz-docker-json5-20230504.8.42.61246.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.8.42.61246
2023-05-13T22:33:42,360   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/4c/87/d671be7a676ead2667d6249686c643148cf6f3a9733d9f69e863dc2d38e1/certora_cli_alpha_oz_docker_json5-20230504.8.42.61246-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:33:42,361   Found link https://files.pythonhosted.org/packages/e0/05/c567e7b2c9594fe0689462037131e9ffba5f5786a75a5a8086dcc2392b50/certora-cli-alpha-oz-docker-json5-20230504.10.8.680838.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.10.8.680838
2023-05-13T22:33:42,361   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/6d/1c/84929d11cb86f4391e240de597331e3a946d47b19158b1c37bc4fe0e8886/certora_cli_alpha_oz_docker_json5-20230504.10.8.680838-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:33:42,362   Found link https://files.pythonhosted.org/packages/c0/c9/9378ccc304f5c91aaa9c49d3c90d7f80777751db865d1bc5d647f486f95c/certora-cli-alpha-oz-docker-json5-20230504.10.57.548446.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.10.57.548446
2023-05-13T22:33:42,362   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/22/2c/7883e756932389b670074170467d506d7e405ef59abad4aa17f90467000f/certora_cli_alpha_oz_docker_json5-20230504.10.57.548446-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:33:42,362   Found link https://files.pythonhosted.org/packages/77/6a/088a0f5f24c05dbed89c0995e11abb95536e38b4403b65d6ef99b54d4d1e/certora-cli-alpha-oz-docker-json5-20230504.11.46.529156.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.11.46.529156
2023-05-13T22:33:42,363   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/43/e2/021d4d8d2f55a6ffbaa6df971c7e573760500b56cb0d49b90ebb2b0270f0/certora_cli_alpha_oz_docker_json5-20230504.11.46.529156-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:33:42,363   Found link https://files.pythonhosted.org/packages/80/b4/a7143f92e20898ae08eec60063577b2e7e384f4eb540fc78334ad739555a/certora-cli-alpha-oz-docker-json5-20230504.12.39.10016.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.12.39.10016
2023-05-13T22:33:42,364   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/fd/42/df417521f7927dfc6c5164ead8ccfbad3f9dcdac9e18981d93eef914501d/certora_cli_alpha_oz_docker_json5-20230504.12.39.10016-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:33:42,364   Found link https://files.pythonhosted.org/packages/72/b2/55bf26d48411afa131e2ddca80103abc0b59a6a0303672fdced32b70ecb5/certora-cli-alpha-oz-docker-json5-20230504.13.30.350201.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.13.30.350201
2023-05-13T22:33:42,364   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/03/34/a60f0bef0423e021a5d721e04159412a00b51fc95ca4d44e26c2beadfc3f/certora_cli_alpha_oz_docker_json5-20230504.13.30.350201-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:33:42,365   Found link https://files.pythonhosted.org/packages/16/cf/37bc672ef108f436f84df1d1ac29ea0f393b2364e033516d1bcf286b1432/certora-cli-alpha-oz-docker-json5-20230504.14.2.24180.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.14.2.24180
2023-05-13T22:33:42,365   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/a2/c2/b5781ec7d33034418ff8e7d63f41b5480134aecd17e1e562ebbf776061dc/certora_cli_alpha_oz_docker_json5-20230504.14.2.24180-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:33:42,366   Found link https://files.pythonhosted.org/packages/95/d3/dde2b233596d467dfd42d78ad4547a1e09ec189e869db3e6f2e96740f2c1/certora-cli-alpha-oz-docker-json5-20230504.14.38.980559.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.14.38.980559
2023-05-13T22:33:42,366   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/46/27/82b27eb047972d7f8f7ce1eee68fda400285ef83144e1fe076f122bba38d/certora_cli_alpha_oz_docker_json5-20230504.14.38.980559-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:33:42,367   Found link https://files.pythonhosted.org/packages/a9/0d/5801e70b3530b7b7ee6b600db09873879f08e91474686b371ad6b82f1382/certora-cli-alpha-oz-docker-json5-20230504.15.35.189632.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.15.35.189632
2023-05-13T22:33:42,367   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/f7/ca/0904db16f207c5a5455e6e2de9fa881613d8bba692fcb06ad87f68b24da6/certora_cli_alpha_oz_docker_json5-20230504.15.35.189632-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:33:42,367   Found link https://files.pythonhosted.org/packages/5a/dd/97be69d644055320e41789931abcab630887bc8a4c2f9d3115b5a7714042/certora-cli-alpha-oz-docker-json5-20230504.17.20.90759.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.17.20.90759
2023-05-13T22:33:42,368   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/bb/b1/47b3f98942f837d424a1daa0d09be4ec0bfbaf97cd3e4b1e0f9b85c31eec/certora_cli_alpha_oz_docker_json5-20230504.17.20.90759-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:33:42,368   Found link https://files.pythonhosted.org/packages/df/a0/c355cd9f85b684b2ca6f3eaf6cd34784ca6443ff092bcde017d3ab8bb3e0/certora-cli-alpha-oz-docker-json5-20230504.17.58.502739.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.17.58.502739
2023-05-13T22:33:42,369   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/ef/26/59f419fb013c762eb44ca9813e894d5bd2eb2619187ea0cf1500d9356ee8/certora_cli_alpha_oz_docker_json5-20230504.17.58.502739-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:33:42,369   Found link https://files.pythonhosted.org/packages/d2/94/f5451c717a69d60505f7d6938b1a99706a42937cd9b08048f5264579102b/certora-cli-alpha-oz-docker-json5-20230504.18.44.719551.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.18.44.719551
2023-05-13T22:33:42,369   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/ee/2d/b2e16d679c43e9d851feb0f7dd06ae76aeb67404b4fc1c2502a3c4443b9f/certora_cli_alpha_oz_docker_json5-20230504.18.44.719551-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:33:42,370 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:33:42,370 Getting page https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:33:42,371 Found index url https://www.piwheels.org/simple/
2023-05-13T22:33:42,525 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/ as text/html
2023-05-13T22:33:42,526   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230503.11.53.297815-py3-none-any.whl#sha256=20630892d0fe1bae5b4a0c1a4c328c4a446fd00a894d7775112bcf35b8be8d99 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:33:42,526 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:33:42,526 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:33:42,546 Given no hashes to check 1 links for project 'certora-cli-alpha-oz-docker-json5': discarding no candidates
2023-05-13T22:33:42,564 Collecting certora-cli-alpha-oz-docker-json5==20230504.8.42.61246
2023-05-13T22:33:42,566   Created temporary directory: /tmp/pip-unpack-z9ggin65
2023-05-13T22:33:42,698   Downloading certora-cli-alpha-oz-docker-json5-20230504.8.42.61246.tar.gz (38.4 MB)
2023-05-13T22:33:52,955   Added certora-cli-alpha-oz-docker-json5==20230504.8.42.61246 from https://files.pythonhosted.org/packages/79/26/d51a2b1e418053427e21f511a66b09a88bec611ffb68adaede7dbd12151d/certora-cli-alpha-oz-docker-json5-20230504.8.42.61246.tar.gz to build tracker '/tmp/pip-build-tracker-tec28efa'
2023-05-13T22:33:52,957   Running setup.py (path:/tmp/pip-wheel-kimk0cy3/certora-cli-alpha-oz-docker-json5_1902c4fec6134623add55d2c000967ff/setup.py) egg_info for package certora-cli-alpha-oz-docker-json5
2023-05-13T22:33:52,958   Created temporary directory: /tmp/pip-pip-egg-info-pyyx4lc8
2023-05-13T22:33:52,958   Preparing metadata (setup.py): started
2023-05-13T22:33:52,959   Running command python setup.py egg_info
2023-05-13T22:33:53,581   /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230504.8.42.061246' to '20230504.8.42.61246'
2023-05-13T22:33:53,581     self.metadata.version = self._normalize_version(
2023-05-13T22:33:53,628   running egg_info
2023-05-13T22:33:53,630   creating /tmp/pip-pip-egg-info-pyyx4lc8/certora_cli_alpha_oz_docker_json5.egg-info
2023-05-13T22:33:53,655   writing /tmp/pip-pip-egg-info-pyyx4lc8/certora_cli_alpha_oz_docker_json5.egg-info/PKG-INFO
2023-05-13T22:33:53,658   writing dependency_links to /tmp/pip-pip-egg-info-pyyx4lc8/certora_cli_alpha_oz_docker_json5.egg-info/dependency_links.txt
2023-05-13T22:33:53,660   writing entry points to /tmp/pip-pip-egg-info-pyyx4lc8/certora_cli_alpha_oz_docker_json5.egg-info/entry_points.txt
2023-05-13T22:33:53,661   writing requirements to /tmp/pip-pip-egg-info-pyyx4lc8/certora_cli_alpha_oz_docker_json5.egg-info/requires.txt
2023-05-13T22:33:53,662   writing top-level names to /tmp/pip-pip-egg-info-pyyx4lc8/certora_cli_alpha_oz_docker_json5.egg-info/top_level.txt
2023-05-13T22:33:53,664   writing manifest file '/tmp/pip-pip-egg-info-pyyx4lc8/certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt'
2023-05-13T22:33:53,748   reading manifest file '/tmp/pip-pip-egg-info-pyyx4lc8/certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt'
2023-05-13T22:33:53,750   reading manifest template 'MANIFEST.in'
2023-05-13T22:33:53,759   adding license file 'LICENSE'
2023-05-13T22:33:53,763   writing manifest file '/tmp/pip-pip-egg-info-pyyx4lc8/certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt'
2023-05-13T22:33:53,823   Preparing metadata (setup.py): finished with status 'done'
2023-05-13T22:33:53,828   Source in /tmp/pip-wheel-kimk0cy3/certora-cli-alpha-oz-docker-json5_1902c4fec6134623add55d2c000967ff has version 20230504.8.42.61246, which satisfies requirement certora-cli-alpha-oz-docker-json5==20230504.8.42.61246 from https://files.pythonhosted.org/packages/79/26/d51a2b1e418053427e21f511a66b09a88bec611ffb68adaede7dbd12151d/certora-cli-alpha-oz-docker-json5-20230504.8.42.61246.tar.gz
2023-05-13T22:33:53,829   Removed certora-cli-alpha-oz-docker-json5==20230504.8.42.61246 from https://files.pythonhosted.org/packages/79/26/d51a2b1e418053427e21f511a66b09a88bec611ffb68adaede7dbd12151d/certora-cli-alpha-oz-docker-json5-20230504.8.42.61246.tar.gz from build tracker '/tmp/pip-build-tracker-tec28efa'
2023-05-13T22:33:53,836 Created temporary directory: /tmp/pip-unpack-zkya7s5p
2023-05-13T22:33:53,836 Building wheels for collected packages: certora-cli-alpha-oz-docker-json5
2023-05-13T22:33:53,841   Created temporary directory: /tmp/pip-wheel-xjhiip6n
2023-05-13T22:33:53,841   Building wheel for certora-cli-alpha-oz-docker-json5 (setup.py): started
2023-05-13T22:33:53,842   Destination directory: /tmp/pip-wheel-xjhiip6n
2023-05-13T22:33:53,842   Running command python setup.py bdist_wheel
2023-05-13T22:33:54,411   /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230504.8.42.061246' to '20230504.8.42.61246'
2023-05-13T22:33:54,412     self.metadata.version = self._normalize_version(
2023-05-13T22:33:54,672   running bdist_wheel
2023-05-13T22:33:54,964   running build
2023-05-13T22:33:54,964   running build_py
2023-05-13T22:33:54,993   creating build
2023-05-13T22:33:54,994   creating build/lib
2023-05-13T22:33:55,016   creating build/lib/certora_jars
2023-05-13T22:33:55,018   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-13T22:33:55,020   creating build/lib/certora_cli
2023-05-13T22:33:55,021   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-13T22:33:55,022   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-13T22:33:55,025   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-13T22:33:55,028   creating build/lib/certora_cli/EVMVerifier
2023-05-13T22:33:55,029   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T22:33:55,030   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T22:33:55,037   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T22:33:55,039   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T22:33:55,042   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T22:33:55,046   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T22:33:55,048   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T22:33:55,051   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T22:33:55,053   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T22:33:55,056   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T22:33:55,059   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T22:33:55,061   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T22:33:55,063   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T22:33:55,066   creating build/lib/certora_cli/Shared
2023-05-13T22:33:55,067   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-13T22:33:55,069   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-13T22:33:55,071   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-13T22:33:55,074   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-13T22:33:55,077   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T22:33:55,078   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T22:33:55,080   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T22:33:55,082   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T22:33:55,084   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T22:33:55,086   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T22:33:55,089   running egg_info
2023-05-13T22:33:55,150   writing certora_cli_alpha_oz_docker_json5.egg-info/PKG-INFO
2023-05-13T22:33:55,151   writing dependency_links to certora_cli_alpha_oz_docker_json5.egg-info/dependency_links.txt
2023-05-13T22:33:55,154   writing entry points to certora_cli_alpha_oz_docker_json5.egg-info/entry_points.txt
2023-05-13T22:33:55,155   writing requirements to certora_cli_alpha_oz_docker_json5.egg-info/requires.txt
2023-05-13T22:33:55,156   writing top-level names to certora_cli_alpha_oz_docker_json5.egg-info/top_level.txt
2023-05-13T22:33:55,186   reading manifest file 'certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt'
2023-05-13T22:33:55,189   reading manifest template 'MANIFEST.in'
2023-05-13T22:33:55,198   adding license file 'LICENSE'
2023-05-13T22:33:55,202   writing manifest file 'certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt'
2023-05-13T22:33:55,206   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-13T22:33:55,208   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-13T22:33:55,466   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-13T22:33:55,634   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-13T22:33:55,853   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-13T22:33:56,004   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-13T22:33:56,129   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-13T22:33:56,129   !!

2023-05-13T22:33:56,129           ********************************************************************************
2023-05-13T22:33:56,129           Please avoid running ``setup.py`` directly.
2023-05-13T22:33:56,130           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-13T22:33:56,130           other standards-based tools.

2023-05-13T22:33:56,130           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-13T22:33:56,130           ********************************************************************************

2023-05-13T22:33:56,130   !!
2023-05-13T22:33:56,130     self.initialize_options()
2023-05-13T22:33:56,157   installing to build/bdist.linux-aarch64/wheel
2023-05-13T22:33:56,157   running install
2023-05-13T22:33:56,183   running install_lib
2023-05-13T22:33:56,209   creating build/bdist.linux-aarch64
2023-05-13T22:33:56,210   creating build/bdist.linux-aarch64/wheel
2023-05-13T22:33:56,211   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T22:33:56,212   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T22:33:56,214   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T22:33:56,216   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T22:33:56,405   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T22:33:56,514   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T22:33:56,708   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T22:33:56,933   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T22:33:57,023   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T22:33:57,024   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T22:33:57,025   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T22:33:57,028   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T22:33:57,030   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T22:33:57,031   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T22:33:57,033   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T22:33:57,039   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T22:33:57,041   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T22:33:57,045   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T22:33:57,048   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T22:33:57,051   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T22:33:57,055   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T22:33:57,058   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T22:33:57,059   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T22:33:57,061   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T22:33:57,064   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T22:33:57,066   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T22:33:57,069   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T22:33:57,072   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T22:33:57,076   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T22:33:57,079   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T22:33:57,082   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T22:33:57,085   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T22:33:57,088   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T22:33:57,089   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T22:33:57,092   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T22:33:57,095   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T22:33:57,098   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T22:33:57,101   running install_egg_info
2023-05-13T22:33:57,132   Copying certora_cli_alpha_oz_docker_json5.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_oz_docker_json5-20230504.8.42.61246-py3.9.egg-info
2023-05-13T22:33:57,144   running install_scripts
2023-05-13T22:33:57,162   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-13T22:33:57,167   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_oz_docker_json5-20230504.8.42.61246.dist-info/WHEEL
2023-05-13T22:33:57,170   creating '/tmp/pip-wheel-xjhiip6n/certora_cli_alpha_oz_docker_json5-20230504.8.42.61246-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-13T22:33:57,173   adding 'certora_cli/__init__.py'
2023-05-13T22:33:57,174   adding 'certora_cli/certoraMutate.py'
2023-05-13T22:33:57,177   adding 'certora_cli/certoraRun.py'
2023-05-13T22:33:57,179   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-13T22:33:57,201   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-13T22:33:57,208   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-13T22:33:57,211   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-13T22:33:57,213   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-13T22:33:57,218   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-13T22:33:57,222   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-13T22:33:57,224   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-13T22:33:57,230   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-13T22:33:57,233   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-13T22:33:57,234   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-13T22:33:57,238   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-13T22:33:57,242   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-13T22:33:57,244   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-13T22:33:57,247   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-13T22:33:57,249   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-13T22:33:57,253   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-13T22:33:57,255   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-13T22:33:57,257   adding 'certora_cli/Shared/__init__.py'
2023-05-13T22:33:57,260   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-13T22:33:57,262   adding 'certora_cli/Shared/certoraTester.py'
2023-05-13T22:33:57,269   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-13T22:33:57,272   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-13T22:33:58,849   adding 'certora_jars/MutationTest.jar'
2023-05-13T22:34:00,155   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-13T22:34:01,641   adding 'certora_jars/Typechecker.jar'
2023-05-13T22:34:01,721   adding 'certora_jars/__init__.py'
2023-05-13T22:34:02,574   adding 'certora_jars/gambit-linux'
2023-05-13T22:34:03,430   adding 'certora_jars/gambit-macos'
2023-05-13T22:34:03,466   adding 'certora_cli_alpha_oz_docker_json5-20230504.8.42.61246.dist-info/LICENSE'
2023-05-13T22:34:03,468   adding 'certora_cli_alpha_oz_docker_json5-20230504.8.42.61246.dist-info/METADATA'
2023-05-13T22:34:03,470   adding 'certora_cli_alpha_oz_docker_json5-20230504.8.42.61246.dist-info/WHEEL'
2023-05-13T22:34:03,471   adding 'certora_cli_alpha_oz_docker_json5-20230504.8.42.61246.dist-info/entry_points.txt'
2023-05-13T22:34:03,473   adding 'certora_cli_alpha_oz_docker_json5-20230504.8.42.61246.dist-info/top_level.txt'
2023-05-13T22:34:03,475   adding 'certora_cli_alpha_oz_docker_json5-20230504.8.42.61246.dist-info/RECORD'
2023-05-13T22:34:03,938   removing build/bdist.linux-aarch64/wheel
2023-05-13T22:34:04,066   Building wheel for certora-cli-alpha-oz-docker-json5 (setup.py): finished with status 'done'
2023-05-13T22:34:04,383   Created wheel for certora-cli-alpha-oz-docker-json5: filename=certora_cli_alpha_oz_docker_json5-20230504.8.42.61246-py3-none-any.whl size=38456309 sha256=a0ffee80e216876564ddb98cc739d3232075cd7d1977e6b430291ae0c12cb663
2023-05-13T22:34:04,384   Stored in directory: /tmp/pip-ephem-wheel-cache-ac_0rdxe/wheels/6b/f9/19/e61b02db1118e2e0cca6f2a13dcab5ed24411431f8d9ebf0d4
2023-05-13T22:34:04,413 Successfully built certora-cli-alpha-oz-docker-json5
2023-05-13T22:34:05,427 Removed build tracker: '/tmp/pip-build-tracker-tec28efa'