2023-05-14T17:43:51,146 Created temporary directory: /tmp/pip-build-tracker-8lb84dsm
2023-05-14T17:43:51,148 Initialized build tracking at /tmp/pip-build-tracker-8lb84dsm
2023-05-14T17:43:51,148 Created build tracker: /tmp/pip-build-tracker-8lb84dsm
2023-05-14T17:43:51,148 Entered build tracker: /tmp/pip-build-tracker-8lb84dsm
2023-05-14T17:43:51,148 Created temporary directory: /tmp/pip-wheel-u2_7nks7
2023-05-14T17:43:51,153 Created temporary directory: /tmp/pip-ephem-wheel-cache-v85una81
2023-05-14T17:43:51,189 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-14T17:43:51,195 2 location(s) to search for versions of certora-cli-alpha-jtoman-try-catch:
2023-05-14T17:43:51,195 * https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/
2023-05-14T17:43:51,195 * https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/
2023-05-14T17:43:51,196 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/
2023-05-14T17:43:51,196 Getting page https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/
2023-05-14T17:43:51,199 Found index url https://pypi.org/simple/
2023-05-14T17:43:51,268 Fetched page https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/ as application/vnd.pypi.simple.v1+json
2023-05-14T17:43:51,275   Found link https://files.pythonhosted.org/packages/12/ee/4cb6e7ddd5668402a1c7f602ce678e1a1a21c49ca2255c43ef9c72998753/certora-cli-alpha-jtoman-try-catch-20230510.20.59.361934.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230510.20.59.361934
2023-05-14T17:43:51,275   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/17/4f/cf225b2c8144eacb203004fa8a8cf2bc073cae76bce1ff0642a1e6cdd49c/certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,276   Found link https://files.pythonhosted.org/packages/c5/9b/f328f0deea2baa1c1c08025dc2da8c863e155235e3f44fc53c072921dc5f/certora-cli-alpha-jtoman-try-catch-20230510.22.42.113214.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230510.22.42.113214
2023-05-14T17:43:51,276   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/3b/7d/0a13173150d7f002c9c9ec34ca7c699cbd3f6d629555ce1179c587a350bd/certora_cli_alpha_jtoman_try_catch-20230510.22.42.113214-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,277   Found link https://files.pythonhosted.org/packages/f2/25/21945ada43578df2f772d0d36155a3a5a39305c14ad07159af47a5f48bd9/certora-cli-alpha-jtoman-try-catch-20230510.23.31.519293.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230510.23.31.519293
2023-05-14T17:43:51,277   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/0c/0a/2a3f4d89e638bf90f2f0c72b319af71fd011c1087a5664b40b78ff3dafd8/certora_cli_alpha_jtoman_try_catch-20230510.23.31.519293-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,277   Found link https://files.pythonhosted.org/packages/55/f1/cfe1e6e589ec57f284b8ed14feaf5b84d570ee6bb7d69fab28e73a698ecd/certora-cli-alpha-jtoman-try-catch-20230511.3.6.551125.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230511.3.6.551125
2023-05-14T17:43:51,278   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/cc/56/347b3424cd23ffbce5214649c8ceb9df25e62555a5a14f33d138599684b8/certora_cli_alpha_jtoman_try_catch-20230511.3.6.551125-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,278   Found link https://files.pythonhosted.org/packages/e5/01/0bb9d07b64f3a6abbb7329978c0a9ce25b9db391d2020743889c819831f7/certora-cli-alpha-jtoman-try-catch-20230511.7.14.551287.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230511.7.14.551287
2023-05-14T17:43:51,279   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/5a/3f/76168ec37b80c3cf4ad9d3ff6da51d1f7cb0be3f370a24fa397526995007/certora_cli_alpha_jtoman_try_catch-20230511.7.14.551287-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,279   Found link https://files.pythonhosted.org/packages/1c/3d/01ad93b6c045cba479988b5f520c49ce82bddf507a3a71457d10e4fd1d50/certora-cli-alpha-jtoman-try-catch-20230511.16.8.395223.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230511.16.8.395223
2023-05-14T17:43:51,279   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/e5/8d/482696135bee2217a8674042ed1c642acbb035b32d03d4458106d1c5bf4e/certora_cli_alpha_jtoman_try_catch-20230511.16.8.395223-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,280   Found link https://files.pythonhosted.org/packages/c4/dc/9c7f3897f02c7df928132c182097f10b0d05d221ea6afcd25e24abc2de6c/certora-cli-alpha-jtoman-try-catch-20230511.17.50.106489.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230511.17.50.106489
2023-05-14T17:43:51,280   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/bf/17/621cec230f4cf41262657dbb03ff707b1d3125274b0aa0ec9f93b93d3dfc/certora_cli_alpha_jtoman_try_catch-20230511.17.50.106489-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,281   Found link https://files.pythonhosted.org/packages/04/24/fa830ea0fc9481c2966367bdb4c9471207571671738ccc9e94957e2ea4bf/certora-cli-alpha-jtoman-try-catch-20230511.18.38.630561.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230511.18.38.630561
2023-05-14T17:43:51,281   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/19/2d/6bab1f047105aab22f223fc864fd790c23e0dd17e49cc4489aa764714cdd/certora_cli_alpha_jtoman_try_catch-20230511.18.38.630561-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,282   Found link https://files.pythonhosted.org/packages/85/2b/be45c2f685fcf18935d17d167d997acd5eb9150c33f7512533a49dc3421c/certora-cli-alpha-jtoman-try-catch-20230511.19.24.525411.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230511.19.24.525411
2023-05-14T17:43:51,282   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/ca/35/004cc8dd9da71bfb47840583d02a5d5682fda1af1603a664e08b99a94e38/certora_cli_alpha_jtoman_try_catch-20230511.19.24.525411-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,283   Found link https://files.pythonhosted.org/packages/2f/e7/e7fced32071c87a61e95a99e8920f0f486b1426cec898d8b8dffb8585c36/certora-cli-alpha-jtoman-try-catch-20230512.9.39.729450.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230512.9.39.729450
2023-05-14T17:43:51,283   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/fc/cc/bfc61c0f16b08b9f432cc6c44d10900dd85d4350f96a9454c63ecc249fea/certora_cli_alpha_jtoman_try_catch-20230512.9.39.729450-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,283   Found link https://files.pythonhosted.org/packages/44/14/da9a696b29c9df9e7045550a5343cf4545662b6b662568eb97ed1ab94834/certora-cli-alpha-jtoman-try-catch-20230512.20.44.92474.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230512.20.44.92474
2023-05-14T17:43:51,284   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/54/03/7b99337d9d2ffd0aee7240ef631f6a3b23afc4a0e06f9a2e410cd906a818/certora_cli_alpha_jtoman_try_catch-20230512.20.44.92474-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,284   Found link https://files.pythonhosted.org/packages/69/07/76204fd49cd854b7c8b5377bec68ea9bc5ee9b174f89ec57e240d64eb7b2/certora-cli-alpha-jtoman-try-catch-20230514.9.42.407.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230514.9.42.407
2023-05-14T17:43:51,285   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/ad/3b/cfdf7bcde32516d25eb4ca3670d7e0eb90a65bd72f014b0a0eb980f2b1a0/certora_cli_alpha_jtoman_try_catch-20230514.9.42.407-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,285   Found link https://files.pythonhosted.org/packages/4c/5d/9eec18f04995d5d7289d297880e2ab5098e0d6872829544573fe2ccfc143/certora-cli-alpha-jtoman-try-catch-20230514.10.50.40584.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230514.10.50.40584
2023-05-14T17:43:51,285   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/38/80/9bb6c80bf338c8c51cc43378852d48beb4a83c59ffcf363c8fb08272d717/certora_cli_alpha_jtoman_try_catch-20230514.10.50.40584-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,286   Found link https://files.pythonhosted.org/packages/33/47/9d5565fa104699de762bd594e38a0eec3127b7c8692fcb8383f38214d190/certora-cli-alpha-jtoman-try-catch-20230514.11.35.517833.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230514.11.35.517833
2023-05-14T17:43:51,286   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/98/b0/a764a0e7abdf55f19bb2f536588ece4e28f947239b9c9615a0e0332e26f3/certora_cli_alpha_jtoman_try_catch-20230514.11.35.517833-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,287 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/
2023-05-14T17:43:51,287 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/
2023-05-14T17:43:51,288 Found index url https://www.piwheels.org/simple/
2023-05-14T17:43:51,453 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/ as text/html
2023-05-14T17:43:51,457   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230511.19.24.525411-py3-none-any.whl#sha256=142890d867a4b9c6709537c6ead48a109fd8367a07d1d9074e40862de5e7e794 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,457   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230511.18.38.630561-py3-none-any.whl#sha256=68a77282907daa0614065fa8ced78114205fab51347dfc7692663a53e673c8cf (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,457   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230511.17.50.106489-py3-none-any.whl#sha256=8de8f4da3d8187126731f4c4fc8af9a5baebf6e766e82da97316a61607a68cfc (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,457   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230511.16.8.395223-py3-none-any.whl#sha256=58451e7b4067ed560dcc9fa9268624a0a3de9431435b2da7a64b43e206240111 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,458   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230511.7.14.551287-py3-none-any.whl#sha256=61eba3b2a3b3062238b75529f1b5d1aef0dccb3e34f9e47257b938f40978134c (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,458   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230511.3.6.551125-py3-none-any.whl#sha256=ebe660fa00b6d595b3ae90b79af3a7a8db11b0cf600a160b419dc33ab8afbd78 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,458   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230510.23.31.519293-py3-none-any.whl#sha256=7c0ec4f4aa2080f9390309a25b4947243beb81a4ac4baf3dbcea319b07c9a881 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,458   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230510.22.42.113214-py3-none-any.whl#sha256=5d8233b8353042c4b7b91c4f6ffc43042e74848c7abd1e93d9ac252464a7c483 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,458   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934-py3-none-any.whl#sha256=4165cf036be150757e618eace4aec689bf905e676e7df28bc983410aa2129b31 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2023-05-14T17:43:51,459 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/
2023-05-14T17:43:51,459 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/
2023-05-14T17:43:51,478 Given no hashes to check 1 links for project 'certora-cli-alpha-jtoman-try-catch': discarding no candidates
2023-05-14T17:43:51,494 Collecting certora-cli-alpha-jtoman-try-catch==20230512.9.39.729450
2023-05-14T17:43:51,496   Created temporary directory: /tmp/pip-unpack-jf1jzvm1
2023-05-14T17:43:58,218   Downloading certora-cli-alpha-jtoman-try-catch-20230512.9.39.729450.tar.gz (39.4 MB)
2023-05-14T17:45:09,325   Added certora-cli-alpha-jtoman-try-catch==20230512.9.39.729450 from https://files.pythonhosted.org/packages/2f/e7/e7fced32071c87a61e95a99e8920f0f486b1426cec898d8b8dffb8585c36/certora-cli-alpha-jtoman-try-catch-20230512.9.39.729450.tar.gz to build tracker '/tmp/pip-build-tracker-8lb84dsm'
2023-05-14T17:45:09,329   Running setup.py (path:/tmp/pip-wheel-u2_7nks7/certora-cli-alpha-jtoman-try-catch_30cbf57b39dd4242a46d28010324686d/setup.py) egg_info for package certora-cli-alpha-jtoman-try-catch
2023-05-14T17:45:09,330   Created temporary directory: /tmp/pip-pip-egg-info-yhcu_vbn
2023-05-14T17:45:09,330   Preparing metadata (setup.py): started
2023-05-14T17:45:09,331   Running command python setup.py egg_info
2023-05-14T17:45:09,996   running egg_info
2023-05-14T17:45:09,997   creating /tmp/pip-pip-egg-info-yhcu_vbn/certora_cli_alpha_jtoman_try_catch.egg-info
2023-05-14T17:45:10,023   writing /tmp/pip-pip-egg-info-yhcu_vbn/certora_cli_alpha_jtoman_try_catch.egg-info/PKG-INFO
2023-05-14T17:45:10,025   writing dependency_links to /tmp/pip-pip-egg-info-yhcu_vbn/certora_cli_alpha_jtoman_try_catch.egg-info/dependency_links.txt
2023-05-14T17:45:10,027   writing entry points to /tmp/pip-pip-egg-info-yhcu_vbn/certora_cli_alpha_jtoman_try_catch.egg-info/entry_points.txt
2023-05-14T17:45:10,029   writing requirements to /tmp/pip-pip-egg-info-yhcu_vbn/certora_cli_alpha_jtoman_try_catch.egg-info/requires.txt
2023-05-14T17:45:10,030   writing top-level names to /tmp/pip-pip-egg-info-yhcu_vbn/certora_cli_alpha_jtoman_try_catch.egg-info/top_level.txt
2023-05-14T17:45:10,032   writing manifest file '/tmp/pip-pip-egg-info-yhcu_vbn/certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt'
2023-05-14T17:45:10,116   reading manifest file '/tmp/pip-pip-egg-info-yhcu_vbn/certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt'
2023-05-14T17:45:10,118   reading manifest template 'MANIFEST.in'
2023-05-14T17:45:10,128   adding license file 'LICENSE'
2023-05-14T17:45:10,132   writing manifest file '/tmp/pip-pip-egg-info-yhcu_vbn/certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt'
2023-05-14T17:45:10,191   Preparing metadata (setup.py): finished with status 'done'
2023-05-14T17:45:10,197   Source in /tmp/pip-wheel-u2_7nks7/certora-cli-alpha-jtoman-try-catch_30cbf57b39dd4242a46d28010324686d has version 20230512.9.39.729450, which satisfies requirement certora-cli-alpha-jtoman-try-catch==20230512.9.39.729450 from https://files.pythonhosted.org/packages/2f/e7/e7fced32071c87a61e95a99e8920f0f486b1426cec898d8b8dffb8585c36/certora-cli-alpha-jtoman-try-catch-20230512.9.39.729450.tar.gz
2023-05-14T17:45:10,198   Removed certora-cli-alpha-jtoman-try-catch==20230512.9.39.729450 from https://files.pythonhosted.org/packages/2f/e7/e7fced32071c87a61e95a99e8920f0f486b1426cec898d8b8dffb8585c36/certora-cli-alpha-jtoman-try-catch-20230512.9.39.729450.tar.gz from build tracker '/tmp/pip-build-tracker-8lb84dsm'
2023-05-14T17:45:10,205 Created temporary directory: /tmp/pip-unpack-tnh8_b91
2023-05-14T17:45:10,206 Building wheels for collected packages: certora-cli-alpha-jtoman-try-catch
2023-05-14T17:45:10,210   Created temporary directory: /tmp/pip-wheel-nonybv0v
2023-05-14T17:45:10,211   Building wheel for certora-cli-alpha-jtoman-try-catch (setup.py): started
2023-05-14T17:45:10,212   Destination directory: /tmp/pip-wheel-nonybv0v
2023-05-14T17:45:10,212   Running command python setup.py bdist_wheel
2023-05-14T17:45:11,027   running bdist_wheel
2023-05-14T17:45:11,309   running build
2023-05-14T17:45:11,309   running build_py
2023-05-14T17:45:11,337   creating build
2023-05-14T17:45:11,337   creating build/lib
2023-05-14T17:45:11,338   creating build/lib/certora_cli
2023-05-14T17:45:11,339   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-14T17:45:11,341   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-14T17:45:11,343   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-14T17:45:11,346   creating build/lib/certora_jars
2023-05-14T17:45:11,347   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-14T17:45:11,349   creating build/lib/certora_cli/Shared
2023-05-14T17:45:11,350   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-14T17:45:11,351   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-14T17:45:11,355   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-14T17:45:11,357   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-14T17:45:11,361   creating build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,361   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,363   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,366   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,367   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,369   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,372   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,374   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,377   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,379   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,383   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,391   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,394   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,396   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,398   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:45:11,402   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T17:45:11,403   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T17:45:11,404   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T17:45:11,407   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T17:45:11,409   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T17:45:11,411   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T17:45:11,414   running egg_info
2023-05-14T17:45:11,474   writing certora_cli_alpha_jtoman_try_catch.egg-info/PKG-INFO
2023-05-14T17:45:11,476   writing dependency_links to certora_cli_alpha_jtoman_try_catch.egg-info/dependency_links.txt
2023-05-14T17:45:11,478   writing entry points to certora_cli_alpha_jtoman_try_catch.egg-info/entry_points.txt
2023-05-14T17:45:11,480   writing requirements to certora_cli_alpha_jtoman_try_catch.egg-info/requires.txt
2023-05-14T17:45:11,481   writing top-level names to certora_cli_alpha_jtoman_try_catch.egg-info/top_level.txt
2023-05-14T17:45:11,511   reading manifest file 'certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt'
2023-05-14T17:45:11,514   reading manifest template 'MANIFEST.in'
2023-05-14T17:45:11,523   adding license file 'LICENSE'
2023-05-14T17:45:11,528   writing manifest file 'certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt'
2023-05-14T17:45:11,531   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-14T17:45:11,533   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-14T17:45:11,767   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-14T17:45:11,954   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-14T17:45:12,147   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-14T17:45:12,268   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-14T17:45:12,394   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-14T17:45:12,394   !!

2023-05-14T17:45:12,395           ********************************************************************************
2023-05-14T17:45:12,395           Please avoid running ``setup.py`` directly.
2023-05-14T17:45:12,395           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-14T17:45:12,395           other standards-based tools.

2023-05-14T17:45:12,395           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-14T17:45:12,396           ********************************************************************************

2023-05-14T17:45:12,396   !!
2023-05-14T17:45:12,396     self.initialize_options()
2023-05-14T17:45:12,420   installing to build/bdist.linux-aarch64/wheel
2023-05-14T17:45:12,420   running install
2023-05-14T17:45:12,446   running install_lib
2023-05-14T17:45:12,472   creating build/bdist.linux-aarch64
2023-05-14T17:45:12,473   creating build/bdist.linux-aarch64/wheel
2023-05-14T17:45:12,474   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T17:45:12,476   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T17:45:12,477   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T17:45:12,479   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T17:45:12,482   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T17:45:12,485   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T17:45:12,488   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,489   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,491   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,493   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,495   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,497   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T17:45:12,498   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T17:45:12,500   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T17:45:12,502   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T17:45:12,504   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T17:45:12,506   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T17:45:12,509   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,512   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,515   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,518   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,520   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,523   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,529   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,532   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,534   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,536   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:45:12,539   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T17:45:12,541   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T17:45:12,543   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T17:45:12,546   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:45:12,547   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:45:12,548   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:45:12,763   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:45:12,766   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:45:12,921   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:45:13,008   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:45:13,117   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:45:13,341   running install_egg_info
2023-05-14T17:45:13,372   Copying certora_cli_alpha_jtoman_try_catch.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_jtoman_try_catch-20230512.9.39.729450-py3.9.egg-info
2023-05-14T17:45:13,384   running install_scripts
2023-05-14T17:45:13,401   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-14T17:45:13,405   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_jtoman_try_catch-20230512.9.39.729450.dist-info/WHEEL
2023-05-14T17:45:13,408   creating '/tmp/pip-wheel-nonybv0v/certora_cli_alpha_jtoman_try_catch-20230512.9.39.729450-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-14T17:45:13,410   adding 'certora_cli/__init__.py'
2023-05-14T17:45:13,412   adding 'certora_cli/certoraMutate.py'
2023-05-14T17:45:13,414   adding 'certora_cli/certoraRun.py'
2023-05-14T17:45:13,416   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-14T17:45:13,437   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-14T17:45:13,444   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-14T17:45:13,447   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-14T17:45:13,448   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-14T17:45:13,453   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-14T17:45:13,456   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-14T17:45:13,458   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-14T17:45:13,463   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-14T17:45:13,465   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-14T17:45:13,467   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-14T17:45:13,469   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-14T17:45:13,472   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-14T17:45:13,475   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-14T17:45:13,478   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-14T17:45:13,480   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-14T17:45:13,481   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-14T17:45:13,485   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-14T17:45:13,487   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-14T17:45:13,489   adding 'certora_cli/Shared/__init__.py'
2023-05-14T17:45:13,491   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-14T17:45:13,493   adding 'certora_cli/Shared/certoraTester.py'
2023-05-14T17:45:13,500   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-14T17:45:13,503   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-14T17:45:15,139   adding 'certora_jars/MutationTest.jar'
2023-05-14T17:45:16,447   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-14T17:45:17,993   adding 'certora_jars/Typechecker.jar'
2023-05-14T17:45:18,077   adding 'certora_jars/__init__.py'
2023-05-14T17:45:18,931   adding 'certora_jars/gambit-linux'
2023-05-14T17:45:19,788   adding 'certora_jars/gambit-macos'
2023-05-14T17:45:19,824   adding 'certora_cli_alpha_jtoman_try_catch-20230512.9.39.729450.dist-info/LICENSE'
2023-05-14T17:45:19,826   adding 'certora_cli_alpha_jtoman_try_catch-20230512.9.39.729450.dist-info/METADATA'
2023-05-14T17:45:19,827   adding 'certora_cli_alpha_jtoman_try_catch-20230512.9.39.729450.dist-info/WHEEL'
2023-05-14T17:45:19,828   adding 'certora_cli_alpha_jtoman_try_catch-20230512.9.39.729450.dist-info/entry_points.txt'
2023-05-14T17:45:19,829   adding 'certora_cli_alpha_jtoman_try_catch-20230512.9.39.729450.dist-info/top_level.txt'
2023-05-14T17:45:19,830   adding 'certora_cli_alpha_jtoman_try_catch-20230512.9.39.729450.dist-info/RECORD'
2023-05-14T17:45:20,282   removing build/bdist.linux-aarch64/wheel
2023-05-14T17:45:20,407   Building wheel for certora-cli-alpha-jtoman-try-catch (setup.py): finished with status 'done'
2023-05-14T17:45:20,736   Created wheel for certora-cli-alpha-jtoman-try-catch: filename=certora_cli_alpha_jtoman_try_catch-20230512.9.39.729450-py3-none-any.whl size=39468934 sha256=7d9dff5b9e3c59b90fa78f33a55e0314e82f70c3acedaf8a76560a59db8e0955
2023-05-14T17:45:20,737   Stored in directory: /tmp/pip-ephem-wheel-cache-v85una81/wheels/46/48/25/b46ee85974919fe3cf09c2b7a203513ec398075c80160e384c
2023-05-14T17:45:20,767 Successfully built certora-cli-alpha-jtoman-try-catch
2023-05-14T17:45:21,915 Removed build tracker: '/tmp/pip-build-tracker-8lb84dsm'