2023-05-14T13:35:09,702 Created temporary directory: /tmp/pip-build-tracker-7frp8kut 2023-05-14T13:35:09,703 Initialized build tracking at /tmp/pip-build-tracker-7frp8kut 2023-05-14T13:35:09,703 Created build tracker: /tmp/pip-build-tracker-7frp8kut 2023-05-14T13:35:09,703 Entered build tracker: /tmp/pip-build-tracker-7frp8kut 2023-05-14T13:35:09,704 Created temporary directory: /tmp/pip-wheel-15eazq9v 2023-05-14T13:35:09,708 Created temporary directory: /tmp/pip-ephem-wheel-cache-b6trbarc 2023-05-14T13:35:09,731 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T13:35:09,735 2 location(s) to search for versions of certora-cli-alpha-jtoman-try-catch: 2023-05-14T13:35:09,735 * https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T13:35:09,735 * https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T13:35:09,736 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T13:35:09,736 Getting page https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T13:35:09,738 Found index url https://pypi.org/simple/ 2023-05-14T13:35:09,789 Fetched page https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/ as application/vnd.pypi.simple.v1+json 2023-05-14T13:35:09,795 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-14T13:35:09,795 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-14T13:35:09,796 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-14T13:35:09,796 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-14T13:35:09,797 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-14T13:35:09,797 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-14T13:35:09,798 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-14T13:35:09,798 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-14T13:35:09,799 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-14T13:35:09,799 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-14T13:35:09,800 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-14T13:35:09,800 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-14T13:35:09,801 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-14T13:35:09,801 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-14T13:35:09,801 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-14T13:35:09,802 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-14T13:35:09,802 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-14T13:35:09,803 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-14T13:35:09,803 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-14T13:35:09,803 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-14T13:35:09,804 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-14T13:35:09,804 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-14T13:35:09,805 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-14T13:35:09,805 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-14T13:35:09,806 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-14T13:35:09,806 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-14T13:35:09,807 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-14T13:35:09,807 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-14T13:35:09,807 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T13:35:09,807 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T13:35:09,809 Found index url https://www.piwheels.org/simple/ 2023-05-14T13:35:09,992 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/ as text/html 2023-05-14T13:35:09,993 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T13:35:09,993 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T13:35:10,013 Given no hashes to check 1 links for project 'certora-cli-alpha-jtoman-try-catch': discarding no candidates 2023-05-14T13:35:10,030 Collecting certora-cli-alpha-jtoman-try-catch==20230510.20.59.361934 2023-05-14T13:35:10,033 Created temporary directory: /tmp/pip-unpack-14a4yt9l 2023-05-14T13:35:10,077 Downloading certora-cli-alpha-jtoman-try-catch-20230510.20.59.361934.tar.gz (39.2 MB) 2023-05-14T13:35:14,551 Added certora-cli-alpha-jtoman-try-catch==20230510.20.59.361934 from https://files.pythonhosted.org/packages/12/ee/4cb6e7ddd5668402a1c7f602ce678e1a1a21c49ca2255c43ef9c72998753/certora-cli-alpha-jtoman-try-catch-20230510.20.59.361934.tar.gz to build tracker '/tmp/pip-build-tracker-7frp8kut' 2023-05-14T13:35:14,552 Running setup.py (path:/tmp/pip-wheel-15eazq9v/certora-cli-alpha-jtoman-try-catch_1e71fd49bf11482893ba4a520247629b/setup.py) egg_info for package certora-cli-alpha-jtoman-try-catch 2023-05-14T13:35:14,553 Created temporary directory: /tmp/pip-pip-egg-info-ulrjstg6 2023-05-14T13:35:14,553 Preparing metadata (setup.py): started 2023-05-14T13:35:14,554 Running command python setup.py egg_info 2023-05-14T13:35:15,178 running egg_info 2023-05-14T13:35:15,180 creating /tmp/pip-pip-egg-info-ulrjstg6/certora_cli_alpha_jtoman_try_catch.egg-info 2023-05-14T13:35:15,206 writing /tmp/pip-pip-egg-info-ulrjstg6/certora_cli_alpha_jtoman_try_catch.egg-info/PKG-INFO 2023-05-14T13:35:15,209 writing dependency_links to /tmp/pip-pip-egg-info-ulrjstg6/certora_cli_alpha_jtoman_try_catch.egg-info/dependency_links.txt 2023-05-14T13:35:15,211 writing entry points to /tmp/pip-pip-egg-info-ulrjstg6/certora_cli_alpha_jtoman_try_catch.egg-info/entry_points.txt 2023-05-14T13:35:15,212 writing requirements to /tmp/pip-pip-egg-info-ulrjstg6/certora_cli_alpha_jtoman_try_catch.egg-info/requires.txt 2023-05-14T13:35:15,214 writing top-level names to /tmp/pip-pip-egg-info-ulrjstg6/certora_cli_alpha_jtoman_try_catch.egg-info/top_level.txt 2023-05-14T13:35:15,215 writing manifest file '/tmp/pip-pip-egg-info-ulrjstg6/certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt' 2023-05-14T13:35:15,303 reading manifest file '/tmp/pip-pip-egg-info-ulrjstg6/certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt' 2023-05-14T13:35:15,304 reading manifest template 'MANIFEST.in' 2023-05-14T13:35:15,314 adding license file 'LICENSE' 2023-05-14T13:35:15,318 writing manifest file '/tmp/pip-pip-egg-info-ulrjstg6/certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt' 2023-05-14T13:35:15,378 Preparing metadata (setup.py): finished with status 'done' 2023-05-14T13:35:15,383 Source in /tmp/pip-wheel-15eazq9v/certora-cli-alpha-jtoman-try-catch_1e71fd49bf11482893ba4a520247629b has version 20230510.20.59.361934, which satisfies requirement certora-cli-alpha-jtoman-try-catch==20230510.20.59.361934 from https://files.pythonhosted.org/packages/12/ee/4cb6e7ddd5668402a1c7f602ce678e1a1a21c49ca2255c43ef9c72998753/certora-cli-alpha-jtoman-try-catch-20230510.20.59.361934.tar.gz 2023-05-14T13:35:15,385 Removed certora-cli-alpha-jtoman-try-catch==20230510.20.59.361934 from https://files.pythonhosted.org/packages/12/ee/4cb6e7ddd5668402a1c7f602ce678e1a1a21c49ca2255c43ef9c72998753/certora-cli-alpha-jtoman-try-catch-20230510.20.59.361934.tar.gz from build tracker '/tmp/pip-build-tracker-7frp8kut' 2023-05-14T13:35:15,391 Created temporary directory: /tmp/pip-unpack-jteuv1kv 2023-05-14T13:35:15,392 Building wheels for collected packages: certora-cli-alpha-jtoman-try-catch 2023-05-14T13:35:15,396 Created temporary directory: /tmp/pip-wheel-fgkb4akg 2023-05-14T13:35:15,396 Building wheel for certora-cli-alpha-jtoman-try-catch (setup.py): started 2023-05-14T13:35:15,397 Destination directory: /tmp/pip-wheel-fgkb4akg 2023-05-14T13:35:15,398 Running command python setup.py bdist_wheel 2023-05-14T13:35:16,246 running bdist_wheel 2023-05-14T13:35:16,539 running build 2023-05-14T13:35:16,539 running build_py 2023-05-14T13:35:16,569 creating build 2023-05-14T13:35:16,569 creating build/lib 2023-05-14T13:35:16,570 creating build/lib/certora_jars 2023-05-14T13:35:16,571 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-14T13:35:16,574 creating build/lib/certora_cli 2023-05-14T13:35:16,575 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-14T13:35:16,576 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-14T13:35:16,579 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-14T13:35:16,582 creating build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,583 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,584 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,590 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,593 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,596 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,599 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,602 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,605 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,607 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,609 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,612 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,615 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,617 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,619 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:35:16,623 creating build/lib/certora_cli/Shared 2023-05-14T13:35:16,623 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-14T13:35:16,625 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-14T13:35:16,628 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-14T13:35:16,631 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-14T13:35:16,634 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:35:16,635 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:35:16,637 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:35:16,639 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:35:16,641 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:35:16,643 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:35:16,646 running egg_info 2023-05-14T13:35:16,707 writing certora_cli_alpha_jtoman_try_catch.egg-info/PKG-INFO 2023-05-14T13:35:16,709 writing dependency_links to certora_cli_alpha_jtoman_try_catch.egg-info/dependency_links.txt 2023-05-14T13:35:16,711 writing entry points to certora_cli_alpha_jtoman_try_catch.egg-info/entry_points.txt 2023-05-14T13:35:16,713 writing requirements to certora_cli_alpha_jtoman_try_catch.egg-info/requires.txt 2023-05-14T13:35:16,714 writing top-level names to certora_cli_alpha_jtoman_try_catch.egg-info/top_level.txt 2023-05-14T13:35:16,746 reading manifest file 'certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt' 2023-05-14T13:35:16,749 reading manifest template 'MANIFEST.in' 2023-05-14T13:35:16,759 adding license file 'LICENSE' 2023-05-14T13:35:16,763 writing manifest file 'certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt' 2023-05-14T13:35:16,766 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-14T13:35:16,768 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-14T13:35:16,979 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-14T13:35:17,137 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-14T13:35:17,353 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-14T13:35:17,480 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-14T13:35:17,609 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-14T13:35:17,609 !! 2023-05-14T13:35:17,610 ******************************************************************************** 2023-05-14T13:35:17,610 Please avoid running ``setup.py`` directly. 2023-05-14T13:35:17,610 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-14T13:35:17,610 other standards-based tools. 2023-05-14T13:35:17,610 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-14T13:35:17,610 ******************************************************************************** 2023-05-14T13:35:17,611 !! 2023-05-14T13:35:17,611 self.initialize_options() 2023-05-14T13:35:17,636 installing to build/bdist.linux-aarch64/wheel 2023-05-14T13:35:17,637 running install 2023-05-14T13:35:17,662 running install_lib 2023-05-14T13:35:17,689 creating build/bdist.linux-aarch64 2023-05-14T13:35:17,690 creating build/bdist.linux-aarch64/wheel 2023-05-14T13:35:17,692 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:35:17,693 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:35:17,694 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:35:17,696 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:35:17,876 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:35:18,007 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:35:18,199 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:35:18,423 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:35:18,510 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T13:35:18,511 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T13:35:18,513 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T13:35:18,515 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T13:35:18,518 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,519 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,521 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,526 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,529 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,532 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,535 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,538 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,541 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,543 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,545 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:35:18,546 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:35:18,548 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:35:18,551 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:35:18,553 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:35:18,555 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:35:18,558 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,562 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,565 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,567 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,570 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:35:18,573 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:35:18,573 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:35:18,576 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:35:18,578 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:35:18,582 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:35:18,584 running install_egg_info 2023-05-14T13:35:18,615 Copying certora_cli_alpha_jtoman_try_catch.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934-py3.9.egg-info 2023-05-14T13:35:18,627 running install_scripts 2023-05-14T13:35:18,646 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-14T13:35:18,650 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934.dist-info/WHEEL 2023-05-14T13:35:18,653 creating '/tmp/pip-wheel-fgkb4akg/certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-14T13:35:18,655 adding 'certora_cli/__init__.py' 2023-05-14T13:35:18,656 adding 'certora_cli/certoraMutate.py' 2023-05-14T13:35:18,659 adding 'certora_cli/certoraRun.py' 2023-05-14T13:35:18,661 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-14T13:35:18,682 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-14T13:35:18,689 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-14T13:35:18,692 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-14T13:35:18,693 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-14T13:35:18,698 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-14T13:35:18,701 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-14T13:35:18,703 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-14T13:35:18,708 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-14T13:35:18,710 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-14T13:35:18,712 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-14T13:35:18,714 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-14T13:35:18,717 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-14T13:35:18,720 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-14T13:35:18,723 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-14T13:35:18,725 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-14T13:35:18,726 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-14T13:35:18,730 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-14T13:35:18,732 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-14T13:35:18,734 adding 'certora_cli/Shared/__init__.py' 2023-05-14T13:35:18,736 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-14T13:35:18,738 adding 'certora_cli/Shared/certoraTester.py' 2023-05-14T13:35:18,744 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-14T13:35:18,747 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-14T13:35:20,371 adding 'certora_jars/MutationTest.jar' 2023-05-14T13:35:21,679 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-14T13:35:23,210 adding 'certora_jars/Typechecker.jar' 2023-05-14T13:35:23,293 adding 'certora_jars/__init__.py' 2023-05-14T13:35:24,142 adding 'certora_jars/gambit-linux' 2023-05-14T13:35:24,997 adding 'certora_jars/gambit-macos' 2023-05-14T13:35:25,033 adding 'certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934.dist-info/LICENSE' 2023-05-14T13:35:25,034 adding 'certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934.dist-info/METADATA' 2023-05-14T13:35:25,035 adding 'certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934.dist-info/WHEEL' 2023-05-14T13:35:25,036 adding 'certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934.dist-info/entry_points.txt' 2023-05-14T13:35:25,038 adding 'certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934.dist-info/top_level.txt' 2023-05-14T13:35:25,039 adding 'certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934.dist-info/RECORD' 2023-05-14T13:35:25,476 removing build/bdist.linux-aarch64/wheel 2023-05-14T13:35:26,146 Building wheel for certora-cli-alpha-jtoman-try-catch (setup.py): finished with status 'done' 2023-05-14T13:35:26,472 Created wheel for certora-cli-alpha-jtoman-try-catch: filename=certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934-py3-none-any.whl size=39253867 sha256=4165cf036be150757e618eace4aec689bf905e676e7df28bc983410aa2129b31 2023-05-14T13:35:26,473 Stored in directory: /tmp/pip-ephem-wheel-cache-b6trbarc/wheels/a4/ff/61/65c9759c1113ec8b618cabb335e9954265f61884c0c86f8343 2023-05-14T13:35:26,503 Successfully built certora-cli-alpha-jtoman-try-catch 2023-05-14T13:35:27,482 Removed build tracker: '/tmp/pip-build-tracker-7frp8kut'