2023-05-17T17:40:26,409 Created temporary directory: /tmp/pip-build-tracker-q582qylz
2023-05-17T17:40:26,410 Initialized build tracking at /tmp/pip-build-tracker-q582qylz
2023-05-17T17:40:26,410 Created build tracker: /tmp/pip-build-tracker-q582qylz
2023-05-17T17:40:26,410 Entered build tracker: /tmp/pip-build-tracker-q582qylz
2023-05-17T17:40:26,411 Created temporary directory: /tmp/pip-wheel-xmxkmr5f
2023-05-17T17:40:26,414 Created temporary directory: /tmp/pip-ephem-wheel-cache-ri8oyepx
2023-05-17T17:40:26,437 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-17T17:40:26,441 2 location(s) to search for versions of certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta:
2023-05-17T17:40:26,441 * https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T17:40:26,441 * https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T17:40:26,441 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T17:40:26,441 Getting page https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T17:40:26,443 Found index url https://pypi.org/simple/
2023-05-17T17:40:26,511 Fetched page https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ as application/vnd.pypi.simple.v1+json
2023-05-17T17:40:26,515   Found link https://files.pythonhosted.org/packages/ef/b1/606244b47deb3a548864700f588d79df0e8c94e05022135dd37541cc0603/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.11.16.372594.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230516.11.16.372594
2023-05-17T17:40:26,516   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/a7/75/0471841ee8bd3e9adbec64e747c99660a423f3841f1241b3e24a41be003d/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.11.16.372594-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,516   Found link https://files.pythonhosted.org/packages/c6/37/896bb22d815ac36f844bc5e20d8c2e185c5af61d4dbdc709f93827710b0a/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.12.24.794487.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230516.12.24.794487
2023-05-17T17:40:26,517   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/f4/3c/8f2d308f34d2b70756b1552043c8a50c6dc36b35caf015086e2106b643b4/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.12.24.794487-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,517   Found link https://files.pythonhosted.org/packages/e2/cc/ac428cde8647016b0f656eb5f8104b83f4e24e9b38b63d613df882b2d519/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.19.55.453602.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230516.19.55.453602
2023-05-17T17:40:26,517   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/3d/42/c59b47c67eb8eb5165bbc1e2aaa30530ebcf8d32866173139339ace83e3d/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.19.55.453602-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,518   Found link https://files.pythonhosted.org/packages/64/c7/dbc2cbf5a101d4d4c34d0fcc3c3bb8f2e9daa9e3f800782cb521f33b2f63/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.20.52.233729.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230516.20.52.233729
2023-05-17T17:40:26,518   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/29/5e/306b267c0826b916db012f09f5612971bf89b19b4735ee28a11d3f28bcac/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.20.52.233729-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,519   Found link https://files.pythonhosted.org/packages/02/9d/8ee04f8d12cc2aa73ec6f85f5693c4bdc291fa939e9a65dada367e6a033b/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.14.27.894626.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230517.14.27.894626
2023-05-17T17:40:26,519   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/c7/ea/e8decc90aca14a3d446ad50800e4420e68bf763abae6179dd5e7881b9a2c/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.14.27.894626-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,520   Found link https://files.pythonhosted.org/packages/b2/cf/68b6d497c16f9a0be842c481ade0127d3c0c93a36322213b1d582cd981c3/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.15.7.97510.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230517.15.7.97510
2023-05-17T17:40:26,520   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/66/cf/0fc85266cec63ef88c14d8e31dd95bc3d6d8ec43e07d1d408e20c272c7e7/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.15.7.97510-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,521   Found link https://files.pythonhosted.org/packages/3b/8f/47113c412103de4d7f478c86a96238f71461e2d6f139e64abd02b0cb4b45/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.15.52.190103.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230517.15.52.190103
2023-05-17T17:40:26,521   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/9e/a9/3f3cc9d012603240c11bf64304c22a0f07aabd93ca6a171f93ece23cc732/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.15.52.190103-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,522   Found link https://files.pythonhosted.org/packages/b4/cf/0207194c7af8f420dc153052381439526a149735da842d36ad23181a89c8/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.16.51.822516.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230517.16.51.822516
2023-05-17T17:40:26,522   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/0f/3b/86ecc886872a800acd695e73c6b7f03f994e355aa3b55f076a1974244ae4/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.16.51.822516-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,522 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T17:40:26,523 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T17:40:26,524 Found index url https://www.piwheels.org/simple/
2023-05-17T17:40:26,960 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ as text/html
2023-05-17T17:40:26,963   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.15.52.190103-py3-none-any.whl#sha256=6b60f775a4439d51aa478c4805daf378e4d883e4e047c0cff7c4a90ebe39df88 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,964   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.15.7.97510-py3-none-any.whl#sha256=ea9d582a31294913c2a7b60e799a5bf4d0c17c62fa84c92d33229205b74c83e1 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,964   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.14.27.894626-py3-none-any.whl#sha256=b6f8ba741e757b5ae6050657ebad6afd75562925dd85bf0f632ef7c25841dd20 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,964   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.20.52.233729-py3-none-any.whl#sha256=746518ff784ca01526550a340340449c7306296a9a6681dc7225c1d30dd19a1e (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,964   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.19.55.453602-py3-none-any.whl#sha256=1966dbd32cec75734686a99bb73b290fed9083ac36d286c4cdfaf993313cdb02 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,964   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.12.24.794487-py3-none-any.whl#sha256=1cf190cda403d94d220396cb6e199fc8b59087b024a43615c6e8d9557a5a0301 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,965   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.11.16.372594-py3-none-any.whl#sha256=eb8d4b58e340b92d6edbc4633150e95bafc1e3ed3919a73f54cf3b14da3d7541 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T17:40:26,965 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T17:40:26,965 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T17:40:26,983 Given no hashes to check 1 links for project 'certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta': discarding no candidates
2023-05-17T17:40:27,000 Collecting certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230517.16.51.822516
2023-05-17T17:40:27,002   Created temporary directory: /tmp/pip-unpack-7t4zccey
2023-05-17T17:40:27,387   Downloading certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.16.51.822516.tar.gz (39.0 MB)
2023-05-17T17:40:35,925   Added certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230517.16.51.822516 from https://files.pythonhosted.org/packages/b4/cf/0207194c7af8f420dc153052381439526a149735da842d36ad23181a89c8/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.16.51.822516.tar.gz to build tracker '/tmp/pip-build-tracker-q582qylz'
2023-05-17T17:40:35,927   Running setup.py (path:/tmp/pip-wheel-xmxkmr5f/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta_caf569436bbe4ae8a2a9972295de6c2b/setup.py) egg_info for package certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta
2023-05-17T17:40:35,928   Created temporary directory: /tmp/pip-pip-egg-info-mqydzkdh
2023-05-17T17:40:35,928   Preparing metadata (setup.py): started
2023-05-17T17:40:35,929   Running command python setup.py egg_info
2023-05-17T17:40:36,512   running egg_info
2023-05-17T17:40:36,515   creating /tmp/pip-pip-egg-info-mqydzkdh/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info
2023-05-17T17:40:36,540   writing /tmp/pip-pip-egg-info-mqydzkdh/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/PKG-INFO
2023-05-17T17:40:36,542   writing dependency_links to /tmp/pip-pip-egg-info-mqydzkdh/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/dependency_links.txt
2023-05-17T17:40:36,544   writing entry points to /tmp/pip-pip-egg-info-mqydzkdh/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/entry_points.txt
2023-05-17T17:40:36,546   writing requirements to /tmp/pip-pip-egg-info-mqydzkdh/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/requires.txt
2023-05-17T17:40:36,548   writing top-level names to /tmp/pip-pip-egg-info-mqydzkdh/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/top_level.txt
2023-05-17T17:40:36,549   writing manifest file '/tmp/pip-pip-egg-info-mqydzkdh/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T17:40:36,627   reading manifest file '/tmp/pip-pip-egg-info-mqydzkdh/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T17:40:36,629   reading manifest template 'MANIFEST.in'
2023-05-17T17:40:36,637   adding license file 'LICENSE'
2023-05-17T17:40:36,641   writing manifest file '/tmp/pip-pip-egg-info-mqydzkdh/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T17:40:36,701   Preparing metadata (setup.py): finished with status 'done'
2023-05-17T17:40:36,707   Source in /tmp/pip-wheel-xmxkmr5f/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta_caf569436bbe4ae8a2a9972295de6c2b has version 20230517.16.51.822516, which satisfies requirement certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230517.16.51.822516 from https://files.pythonhosted.org/packages/b4/cf/0207194c7af8f420dc153052381439526a149735da842d36ad23181a89c8/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.16.51.822516.tar.gz
2023-05-17T17:40:36,708   Removed certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230517.16.51.822516 from https://files.pythonhosted.org/packages/b4/cf/0207194c7af8f420dc153052381439526a149735da842d36ad23181a89c8/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.16.51.822516.tar.gz from build tracker '/tmp/pip-build-tracker-q582qylz'
2023-05-17T17:40:36,714 Created temporary directory: /tmp/pip-unpack-_w9x9gm9
2023-05-17T17:40:36,714 Building wheels for collected packages: certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta
2023-05-17T17:40:36,718   Created temporary directory: /tmp/pip-wheel-262vhmzg
2023-05-17T17:40:36,718   Building wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta (setup.py): started
2023-05-17T17:40:36,719   Destination directory: /tmp/pip-wheel-262vhmzg
2023-05-17T17:40:36,719   Running command python setup.py bdist_wheel
2023-05-17T17:40:37,505   running bdist_wheel
2023-05-17T17:40:37,782   running build
2023-05-17T17:40:37,782   running build_py
2023-05-17T17:40:37,810   creating build
2023-05-17T17:40:37,810   creating build/lib
2023-05-17T17:40:37,811   creating build/lib/certora_cli
2023-05-17T17:40:37,812   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-17T17:40:37,814   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-17T17:40:37,815   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-17T17:40:37,818   creating build/lib/certora_jars
2023-05-17T17:40:37,819   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-17T17:40:37,821   creating build/lib/certora_cli/Shared
2023-05-17T17:40:37,822   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-17T17:40:37,825   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-17T17:40:37,827   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-17T17:40:37,829   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-17T17:40:37,833   creating build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,834   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,836   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,838   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,841   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,843   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,846   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,850   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,853   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,855   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,858   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,859   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,862   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,864   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,865   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T17:40:37,867   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T17:40:37,868   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T17:40:37,870   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T17:40:37,871   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T17:40:37,873   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T17:40:37,876   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T17:40:37,878   running egg_info
2023-05-17T17:40:37,935   writing certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/PKG-INFO
2023-05-17T17:40:37,937   writing dependency_links to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/dependency_links.txt
2023-05-17T17:40:37,939   writing entry points to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/entry_points.txt
2023-05-17T17:40:37,940   writing requirements to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/requires.txt
2023-05-17T17:40:37,941   writing top-level names to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/top_level.txt
2023-05-17T17:40:37,972   reading manifest file 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T17:40:37,974   reading manifest template 'MANIFEST.in'
2023-05-17T17:40:37,983   adding license file 'LICENSE'
2023-05-17T17:40:37,987   writing manifest file 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T17:40:37,990   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-17T17:40:37,992   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-17T17:40:38,216   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-17T17:40:38,370   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-17T17:40:38,559   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-17T17:40:38,650   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-17T17:40:38,756   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-17T17:40:38,756   !!

2023-05-17T17:40:38,756           ********************************************************************************
2023-05-17T17:40:38,756           Please avoid running ``setup.py`` directly.
2023-05-17T17:40:38,756           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-17T17:40:38,757           other standards-based tools.

2023-05-17T17:40:38,757           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-17T17:40:38,757           ********************************************************************************

2023-05-17T17:40:38,757   !!
2023-05-17T17:40:38,757     self.initialize_options()
2023-05-17T17:40:38,782   installing to build/bdist.linux-armv7l/wheel
2023-05-17T17:40:38,783   running install
2023-05-17T17:40:38,808   running install_lib
2023-05-17T17:40:38,834   creating build/bdist.linux-armv7l
2023-05-17T17:40:38,834   creating build/bdist.linux-armv7l/wheel
2023-05-17T17:40:38,836   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T17:40:38,837   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T17:40:38,838   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T17:40:38,841   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T17:40:38,843   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T17:40:38,845   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T17:40:38,848   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T17:40:38,850   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T17:40:38,851   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T17:40:38,854   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,855   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,857   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T17:40:38,858   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T17:40:38,860   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T17:40:38,862   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T17:40:38,864   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T17:40:38,867   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T17:40:38,869   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,871   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,873   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,876   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,879   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,885   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,888   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,890   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,893   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,895   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,898   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,900   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,901   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T17:40:38,904   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T17:40:38,905   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T17:40:39,126   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T17:40:39,334   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T17:40:39,424   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T17:40:39,490   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T17:40:39,646   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T17:40:39,648   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T17:40:39,649   running install_egg_info
2023-05-17T17:40:39,679   Copying certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.16.51.822516-py3.9.egg-info
2023-05-17T17:40:39,690   running install_scripts
2023-05-17T17:40:39,707   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-17T17:40:39,711   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.16.51.822516.dist-info/WHEEL
2023-05-17T17:40:39,713   creating '/tmp/pip-wheel-262vhmzg/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.16.51.822516-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-17T17:40:39,716   adding 'certora_cli/__init__.py'
2023-05-17T17:40:39,717   adding 'certora_cli/certoraMutate.py'
2023-05-17T17:40:39,720   adding 'certora_cli/certoraRun.py'
2023-05-17T17:40:39,722   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-17T17:40:39,744   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-17T17:40:39,752   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-17T17:40:39,754   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-17T17:40:39,756   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-17T17:40:39,760   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-17T17:40:39,764   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-17T17:40:39,766   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-17T17:40:39,772   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-17T17:40:39,774   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-17T17:40:39,776   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-17T17:40:39,778   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-17T17:40:39,781   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-17T17:40:39,785   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-17T17:40:39,788   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-17T17:40:39,790   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-17T17:40:39,792   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-17T17:40:39,797   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-17T17:40:39,798   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-17T17:40:39,800   adding 'certora_cli/Shared/__init__.py'
2023-05-17T17:40:39,803   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-17T17:40:39,805   adding 'certora_cli/Shared/certoraTester.py'
2023-05-17T17:40:39,812   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-17T17:40:39,815   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-17T17:40:41,497   adding 'certora_jars/MutationTest.jar'
2023-05-17T17:40:42,828   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-17T17:40:44,414   adding 'certora_jars/Typechecker.jar'
2023-05-17T17:40:44,498   adding 'certora_jars/__init__.py'
2023-05-17T17:40:45,237   adding 'certora_jars/gambit-linux'
2023-05-17T17:40:45,899   adding 'certora_jars/gambit-macos'
2023-05-17T17:40:45,926   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.16.51.822516.dist-info/LICENSE'
2023-05-17T17:40:45,927   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.16.51.822516.dist-info/METADATA'
2023-05-17T17:40:45,928   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.16.51.822516.dist-info/WHEEL'
2023-05-17T17:40:45,930   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.16.51.822516.dist-info/entry_points.txt'
2023-05-17T17:40:45,931   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.16.51.822516.dist-info/top_level.txt'
2023-05-17T17:40:45,932   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.16.51.822516.dist-info/RECORD'
2023-05-17T17:40:46,328   removing build/bdist.linux-armv7l/wheel
2023-05-17T17:40:46,446   Building wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta (setup.py): finished with status 'done'
2023-05-17T17:40:46,829   Created wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: filename=certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.16.51.822516-py3-none-any.whl size=39004374 sha256=0b9a491433f5193fd2b14fff892e0dfd3dbf4cb2b01b7f7c8693cc51a4572122
2023-05-17T17:40:46,831   Stored in directory: /tmp/pip-ephem-wheel-cache-ri8oyepx/wheels/ec/11/ad/0288aa5bc126dde78806e4f472fa9515836699d789c3009b87
2023-05-17T17:40:46,854 Successfully built certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta
2023-05-17T17:40:47,784 Removed build tracker: '/tmp/pip-build-tracker-q582qylz'