2023-03-01T18:27:34,809 Created temporary directory: /tmp/pip-ephem-wheel-cache-yzu6eaz_
2023-03-01T18:27:34,811 Created temporary directory: /tmp/pip-build-tracker-pth7p08n
2023-03-01T18:27:34,812 Initialized build tracking at /tmp/pip-build-tracker-pth7p08n
2023-03-01T18:27:34,812 Created build tracker: /tmp/pip-build-tracker-pth7p08n
2023-03-01T18:27:34,812 Entered build tracker: /tmp/pip-build-tracker-pth7p08n
2023-03-01T18:27:34,813 Created temporary directory: /tmp/pip-wheel-szus7_92
2023-03-01T18:27:34,818 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2023-03-01T18:27:34,820 Created temporary directory: /tmp/pip-ephem-wheel-cache-_4_sy67l
2023-03-01T18:27:34,845 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-03-01T18:27:34,849 2 location(s) to search for versions of certora-cli-alpha-cvl-rewrite:
2023-03-01T18:27:34,849 * https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-03-01T18:27:34,849 * https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-03-01T18:27:34,849 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-03-01T18:27:34,850 Getting page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-03-01T18:27:34,852 Found index url https://pypi.org/simple
2023-03-01T18:27:34,903 Fetched page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/ as application/vnd.pypi.simple.v1+json
2023-03-01T18:27:34,909   Found link https://files.pythonhosted.org/packages/f1/01/d947c0a7bafb288ea4ec1c6d29cc67995dbb5dbdbefa51808471a0f9928a/certora-cli-alpha-CVL_rewrite-20230223.19.24.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230223.19.24
2023-03-01T18:27:34,909   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/19/49/f3f03449c5e07cdf36161d3282695d59e54d026fdc9e7dbc32a14c18f163/certora_cli_alpha_CVL_rewrite-20230223.19.24-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:34,910   Found link https://files.pythonhosted.org/packages/21/62/7cb1d54f09a10881c758d8ac8e4256fa08b478a0be7d5e462ffb8767a4e8/certora-cli-alpha-CVL_rewrite-20230223.21.30.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230223.21.30
2023-03-01T18:27:34,910   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/73/4e/b0b4f3cff94685d9f01663607c53fb280fcfaf57f6a4953518fa00e409b9/certora_cli_alpha_CVL_rewrite-20230223.21.30-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:34,910   Found link https://files.pythonhosted.org/packages/34/1a/5f9e4c4952d8d3ba4753fd402aeba87b129f4a76059a7a10ac6a4ea10343/certora-cli-alpha-CVL_rewrite-20230224.8.19.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230224.8.19
2023-03-01T18:27:34,911   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/37/27/feee053f4475cb7d512cd14438ab98cdef5cfa33733387c1680dd331c005/certora_cli_alpha_CVL_rewrite-20230224.8.19-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:34,911   Found link https://files.pythonhosted.org/packages/05/ff/7e4d79b7b5307c5d4e81f8067de5d94ccbe9c3a34a59d8c336269ed20517/certora-cli-alpha-CVL_rewrite-20230227.18.35.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230227.18.35
2023-03-01T18:27:34,912   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/de/23/a805e009f330c312fc00030222706af5c3d102e3feaf624c9b385d2ce4d2/certora_cli_alpha_CVL_rewrite-20230227.18.35-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:34,912   Found link https://files.pythonhosted.org/packages/5e/e9/664df52e25ed2f52d0be49a6f328f5b569cf62efbd464ecaaaf0e5947e96/certora-cli-alpha-CVL_rewrite-20230227.19.39.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230227.19.39
2023-03-01T18:27:34,912   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/ba/62/60ffd1fdaca8ee5d197581e8897b1b371a6c5ea285ecc35b2077c6b6aa1a/certora_cli_alpha_CVL_rewrite-20230227.19.39-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:34,913   Found link https://files.pythonhosted.org/packages/a1/32/49c11fc13a49eb14d70fb2467b631ce34f9bcf8fb2638d4e62dcf2271d78/certora-cli-alpha-CVL_rewrite-20230228.9.5.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230228.9.5
2023-03-01T18:27:34,913   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/76/34/5285f083eda8dcdc0152c440f783fdaf84fb8269ed73b31cfc6c0064724d/certora_cli_alpha_CVL_rewrite-20230228.9.5-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:34,914   Found link https://files.pythonhosted.org/packages/55/bc/67ff50923df4916d1eb66ff9995104d9be42ff8d3b6e9405432b9ce7a04d/certora-cli-alpha-CVL_rewrite-20230228.10.26.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230228.10.26
2023-03-01T18:27:34,914   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/ae/66/9443551cde8b49e8abd6ce6cbeabcf54c9b86cb70018eb1a968110410897/certora_cli_alpha_CVL_rewrite-20230228.10.26-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:34,915   Found link https://files.pythonhosted.org/packages/d4/c6/70a8d09c92678d0bb97fc98b47531b9ade02e0e390301b8e7390da9255ee/certora-cli-alpha-CVL_rewrite-20230228.18.9.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230228.18.9
2023-03-01T18:27:34,915   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/11/bd/e58ba296259d0179ac279a2d258808831963c180c6967033a2779531220b/certora_cli_alpha_CVL_rewrite-20230228.18.9-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:34,915   Found link https://files.pythonhosted.org/packages/87/bb/2f2c82fe43eed4bffb54184e1f1d2bca5371683ff6292548da6165fa4959/certora-cli-alpha-CVL_rewrite-20230228.18.50.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230228.18.50
2023-03-01T18:27:34,916   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/bf/7a/164e0b4c7e2911ca753629234abc7817f1f43f0ffb58c3519ed6f1645f61/certora_cli_alpha_CVL_rewrite-20230228.18.50-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:34,916   Found link https://files.pythonhosted.org/packages/34/65/b54c93f37121f07796d2f78520eed3ef836d2c4379a7e1c9d0bd7c489d7a/certora-cli-alpha-CVL_rewrite-20230228.22.8.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230228.22.8
2023-03-01T18:27:34,916   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/0d/02/1adb35987b45edcb2e0cf5eeea5cc4fdf81e95eb85e702d75e52c58708ed/certora_cli_alpha_CVL_rewrite-20230228.22.8-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:34,917   Found link https://files.pythonhosted.org/packages/92/2f/00e9bbb6ef6bda06e1fe0e70fa2361e5299aeebc23d5c6ad0bbdbfc3475c/certora-cli-alpha-CVL_rewrite-20230301.1.4.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230301.1.4
2023-03-01T18:27:34,917   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/19/dc/5883c19a3d61665e1c5c0401fbf5ba2c797641c7e1ff5df794b0b301b3b7/certora_cli_alpha_CVL_rewrite-20230301.1.4-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:34,918   Found link https://files.pythonhosted.org/packages/55/6a/ec3082844514e6f870ec57a150f0cfc2af450f1a927605222f8345855fed/certora-cli-alpha-CVL_rewrite-20230301.11.39.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230301.11.39
2023-03-01T18:27:34,918   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/55/8b/8882fb6394fc9f3013c489705bb6a45e64062de652c6ef0576880a874c09/certora_cli_alpha_CVL_rewrite-20230301.11.39-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:34,919 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-03-01T18:27:34,919 Getting page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-03-01T18:27:34,920 Found index url https://www.piwheels.org/simple
2023-03-01T18:27:35,125 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/ as text/html
2023-03-01T18:27:35,129   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230228.18.50-py3-none-any.whl#sha256=c18657f57251a1c7763c26310f88cdab5876e755683158efcdf45ae62f8eb12f (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:35,129   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230228.18.9-py3-none-any.whl#sha256=ff3d109b99303da83e5a7d9c8a66d06564aeb90c8c10bd7c333d8b6a586a5e95 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:35,129   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230228.10.26-py3-none-any.whl#sha256=7220eca831e2daad196702c1fc6598ce4ec0315f04ade2d3690c5eb01ebabf11 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:35,129   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230228.9.5-py3-none-any.whl#sha256=0a4ac90ca10f6e9a04b32ce6d672bb744d2f5d33ad41ce0d50c594e82b991db7 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:35,130   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230227.19.39-py3-none-any.whl#sha256=41e6edfb2100e636b7c877cf817a2a62f119d852d9f14093b15873089082a530 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:35,130   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230227.18.35-py3-none-any.whl#sha256=4f28605feff84fe1dbd66afc095f297dff66e3488342aa0e06be42af69a6f1e2 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:35,130   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230224.8.19-py3-none-any.whl#sha256=ed5e2bd1261672ef241ca32b0bfec1973aea52526f12470c86df904a77c5595c (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:35,130   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230223.21.30-py3-none-any.whl#sha256=e9350ecfca0d85bc6b7db0b632e7507a5916da4671c72f547819c688f30e3062 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:35,130   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230223.19.24-py3-none-any.whl#sha256=b82cbff0fa4de867c37c02a2bf6ecae4720eff091616571af696b861cb89b419 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-03-01T18:27:35,131 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-03-01T18:27:35,131 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-03-01T18:27:35,150 Given no hashes to check 1 links for project 'certora-cli-alpha-cvl-rewrite': discarding no candidates
2023-03-01T18:27:35,167 Collecting certora-cli-alpha-cvl-rewrite==20230228.22.8
2023-03-01T18:27:35,169   Created temporary directory: /tmp/pip-unpack-zfxrtmc1
2023-03-01T18:27:35,681   Downloading certora-cli-alpha-CVL_rewrite-20230228.22.8.tar.gz (10.9 MB)
2023-03-01T18:27:39,464   Added certora-cli-alpha-cvl-rewrite==20230228.22.8 from https://files.pythonhosted.org/packages/34/65/b54c93f37121f07796d2f78520eed3ef836d2c4379a7e1c9d0bd7c489d7a/certora-cli-alpha-CVL_rewrite-20230228.22.8.tar.gz to build tracker '/tmp/pip-build-tracker-pth7p08n'
2023-03-01T18:27:39,465   Running setup.py (path:/tmp/pip-wheel-szus7_92/certora-cli-alpha-cvl-rewrite_16aa14fec9b046498fc0bb698d9e7177/setup.py) egg_info for package certora-cli-alpha-cvl-rewrite
2023-03-01T18:27:39,466   Created temporary directory: /tmp/pip-pip-egg-info-qda94l4m
2023-03-01T18:27:39,466   Preparing metadata (setup.py): started
2023-03-01T18:27:39,467   Running command python setup.py egg_info
2023-03-01T18:27:40,059   running egg_info
2023-03-01T18:27:40,061   creating /tmp/pip-pip-egg-info-qda94l4m/certora_cli_alpha_CVL_rewrite.egg-info
2023-03-01T18:27:40,083   writing /tmp/pip-pip-egg-info-qda94l4m/certora_cli_alpha_CVL_rewrite.egg-info/PKG-INFO
2023-03-01T18:27:40,086   writing dependency_links to /tmp/pip-pip-egg-info-qda94l4m/certora_cli_alpha_CVL_rewrite.egg-info/dependency_links.txt
2023-03-01T18:27:40,088   writing entry points to /tmp/pip-pip-egg-info-qda94l4m/certora_cli_alpha_CVL_rewrite.egg-info/entry_points.txt
2023-03-01T18:27:40,089   writing requirements to /tmp/pip-pip-egg-info-qda94l4m/certora_cli_alpha_CVL_rewrite.egg-info/requires.txt
2023-03-01T18:27:40,090   writing top-level names to /tmp/pip-pip-egg-info-qda94l4m/certora_cli_alpha_CVL_rewrite.egg-info/top_level.txt
2023-03-01T18:27:40,092   writing manifest file '/tmp/pip-pip-egg-info-qda94l4m/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-03-01T18:27:40,167   reading manifest file '/tmp/pip-pip-egg-info-qda94l4m/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-03-01T18:27:40,169   reading manifest template 'MANIFEST.in'
2023-03-01T18:27:40,174   writing manifest file '/tmp/pip-pip-egg-info-qda94l4m/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-03-01T18:27:40,234   Preparing metadata (setup.py): finished with status 'done'
2023-03-01T18:27:40,240   Source in /tmp/pip-wheel-szus7_92/certora-cli-alpha-cvl-rewrite_16aa14fec9b046498fc0bb698d9e7177 has version 20230228.22.8, which satisfies requirement certora-cli-alpha-cvl-rewrite==20230228.22.8 from https://files.pythonhosted.org/packages/34/65/b54c93f37121f07796d2f78520eed3ef836d2c4379a7e1c9d0bd7c489d7a/certora-cli-alpha-CVL_rewrite-20230228.22.8.tar.gz
2023-03-01T18:27:40,241   Removed certora-cli-alpha-cvl-rewrite==20230228.22.8 from https://files.pythonhosted.org/packages/34/65/b54c93f37121f07796d2f78520eed3ef836d2c4379a7e1c9d0bd7c489d7a/certora-cli-alpha-CVL_rewrite-20230228.22.8.tar.gz from build tracker '/tmp/pip-build-tracker-pth7p08n'
2023-03-01T18:27:40,248 Created temporary directory: /tmp/pip-unpack-0sd341ec
2023-03-01T18:27:40,248 Building wheels for collected packages: certora-cli-alpha-cvl-rewrite
2023-03-01T18:27:40,253   Created temporary directory: /tmp/pip-wheel-0wzo8mau
2023-03-01T18:27:40,254   Building wheel for certora-cli-alpha-cvl-rewrite (setup.py): started
2023-03-01T18:27:40,254   Destination directory: /tmp/pip-wheel-0wzo8mau
2023-03-01T18:27:40,255   Running command python setup.py bdist_wheel
2023-03-01T18:27:41,086   running bdist_wheel
2023-03-01T18:27:41,364   running build
2023-03-01T18:27:41,365   running build_py
2023-03-01T18:27:41,390   creating build
2023-03-01T18:27:41,391   creating build/lib
2023-03-01T18:27:41,391   creating build/lib/certora_cli
2023-03-01T18:27:41,393   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-03-01T18:27:41,395   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-03-01T18:27:41,397   creating build/lib/certora_jars
2023-03-01T18:27:41,398   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-03-01T18:27:41,401   creating build/lib/certora_cli/EVMVerifier
2023-03-01T18:27:41,402   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-03-01T18:27:41,408   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-03-01T18:27:41,411   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-03-01T18:27:41,414   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-03-01T18:27:41,416   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-03-01T18:27:41,418   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-03-01T18:27:41,420   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-03-01T18:27:41,422   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-03-01T18:27:41,425   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-03-01T18:27:41,427   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-03-01T18:27:41,429   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-03-01T18:27:41,432   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-03-01T18:27:41,435   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-03-01T18:27:41,439   creating build/lib/certora_cli/Shared
2023-03-01T18:27:41,440   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-03-01T18:27:41,442   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-03-01T18:27:41,445   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-03-01T18:27:41,447   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-03-01T18:27:41,450   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-03-01T18:27:41,451   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-01T18:27:41,453   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-01T18:27:41,455   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-01T18:27:41,457   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-01T18:27:41,460   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-01T18:27:41,461   running egg_info
2023-03-01T18:27:41,515   writing certora_cli_alpha_CVL_rewrite.egg-info/PKG-INFO
2023-03-01T18:27:41,517   writing dependency_links to certora_cli_alpha_CVL_rewrite.egg-info/dependency_links.txt
2023-03-01T18:27:41,519   writing entry points to certora_cli_alpha_CVL_rewrite.egg-info/entry_points.txt
2023-03-01T18:27:41,520   writing requirements to certora_cli_alpha_CVL_rewrite.egg-info/requires.txt
2023-03-01T18:27:41,521   writing top-level names to certora_cli_alpha_CVL_rewrite.egg-info/top_level.txt
2023-03-01T18:27:41,548   reading manifest file 'certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-03-01T18:27:41,551   reading manifest template 'MANIFEST.in'
2023-03-01T18:27:41,557   writing manifest file 'certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-03-01T18:27:41,559   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-03-01T18:27:41,820   /usr/local/lib/python3.9/dist-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools.
2023-03-01T18:27:41,821     warnings.warn(
2023-03-01T18:27:41,845   installing to build/bdist.linux-armv7l/wheel
2023-03-01T18:27:41,845   running install
2023-03-01T18:27:41,871   running install_lib
2023-03-01T18:27:41,896   creating build/bdist.linux-armv7l
2023-03-01T18:27:41,897   creating build/bdist.linux-armv7l/wheel
2023-03-01T18:27:41,900   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-03-01T18:27:41,902   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-01T18:27:41,903   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-01T18:27:41,910   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-01T18:27:41,914   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-01T18:27:41,917   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-01T18:27:41,920   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-01T18:27:41,923   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-01T18:27:41,926   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-01T18:27:41,927   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-01T18:27:41,930   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-01T18:27:41,933   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-01T18:27:41,935   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-01T18:27:41,939   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-01T18:27:41,941   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-01T18:27:41,944   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-01T18:27:41,947   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-01T18:27:41,949   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-01T18:27:41,952   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-01T18:27:41,955   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-01T18:27:41,959   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-01T18:27:41,962   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-03-01T18:27:41,965   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-03-01T18:27:41,968   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-01T18:27:41,969   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-01T18:27:41,972   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-01T18:27:41,976   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-01T18:27:41,979   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-01T18:27:41,982   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-03-01T18:27:41,984   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-01T18:27:41,986   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-01T18:27:42,237   running install_egg_info
2023-03-01T18:27:42,266   Copying certora_cli_alpha_CVL_rewrite.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_CVL_rewrite-20230228.22.8-py3.9.egg-info
2023-03-01T18:27:42,280   running install_scripts
2023-03-01T18:27:42,302   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_CVL_rewrite-20230228.22.8.dist-info/WHEEL
2023-03-01T18:27:42,305   creating '/tmp/pip-wheel-0wzo8mau/certora_cli_alpha_CVL_rewrite-20230228.22.8-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-03-01T18:27:42,308   adding 'certora_cli/__init__.py'
2023-03-01T18:27:42,311   adding 'certora_cli/certoraRun.py'
2023-03-01T18:27:42,313   adding 'certora_cli/EVMVerifier/__init__.py'
2023-03-01T18:27:42,335   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-03-01T18:27:42,341   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-03-01T18:27:42,344   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-03-01T18:27:42,346   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-03-01T18:27:42,350   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-03-01T18:27:42,353   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-03-01T18:27:42,355   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-03-01T18:27:42,361   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-03-01T18:27:42,364   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-03-01T18:27:42,366   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-03-01T18:27:42,369   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-03-01T18:27:42,373   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-03-01T18:27:42,375   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-03-01T18:27:42,377   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-03-01T18:27:42,379   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-03-01T18:27:42,382   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-03-01T18:27:42,384   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-03-01T18:27:42,386   adding 'certora_cli/Shared/__init__.py'
2023-03-01T18:27:42,389   adding 'certora_cli/Shared/certoraLogging.py'
2023-03-01T18:27:42,391   adding 'certora_cli/Shared/certoraTester.py'
2023-03-01T18:27:42,397   adding 'certora_cli/Shared/certoraUtils.py'
2023-03-01T18:27:43,780   adding 'certora_jars/Typechecker.jar'
2023-03-01T18:27:43,855   adding 'certora_jars/__init__.py'
2023-03-01T18:27:43,856   adding 'certora_cli_alpha_CVL_rewrite-20230228.22.8.dist-info/METADATA'
2023-03-01T18:27:43,858   adding 'certora_cli_alpha_CVL_rewrite-20230228.22.8.dist-info/WHEEL'
2023-03-01T18:27:43,859   adding 'certora_cli_alpha_CVL_rewrite-20230228.22.8.dist-info/entry_points.txt'
2023-03-01T18:27:43,860   adding 'certora_cli_alpha_CVL_rewrite-20230228.22.8.dist-info/top_level.txt'
2023-03-01T18:27:43,862   adding 'certora_cli_alpha_CVL_rewrite-20230228.22.8.dist-info/RECORD'
2023-03-01T18:27:44,030   removing build/bdist.linux-armv7l/wheel
2023-03-01T18:27:44,134   Building wheel for certora-cli-alpha-cvl-rewrite (setup.py): finished with status 'done'
2023-03-01T18:27:44,254   Created wheel for certora-cli-alpha-cvl-rewrite: filename=certora_cli_alpha_CVL_rewrite-20230228.22.8-py3-none-any.whl size=10867283 sha256=4cfd9b4c9efba746091b7c06c257b327a458fa54c130dd5d474aa9617716e2df
2023-03-01T18:27:44,255   Stored in directory: /tmp/pip-ephem-wheel-cache-_4_sy67l/wheels/66/71/ab/5769460496ce0aa2e18d25d39283989c033484192eefc86ecd
2023-03-01T18:27:44,273 Successfully built certora-cli-alpha-cvl-rewrite
2023-03-01T18:27:44,598 Removed build tracker: '/tmp/pip-build-tracker-pth7p08n'