2023-07-30T12:34:24,169 Created temporary directory: /tmp/pip-build-tracker-vut71e69 2023-07-30T12:34:24,170 Initialized build tracking at /tmp/pip-build-tracker-vut71e69 2023-07-30T12:34:24,170 Created build tracker: /tmp/pip-build-tracker-vut71e69 2023-07-30T12:34:24,170 Entered build tracker: /tmp/pip-build-tracker-vut71e69 2023-07-30T12:34:24,171 Created temporary directory: /tmp/pip-wheel-pv90_bpv 2023-07-30T12:34:24,174 Created temporary directory: /tmp/pip-ephem-wheel-cache-67dq_x33 2023-07-30T12:34:24,198 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-07-30T12:34:24,202 2 location(s) to search for versions of certora-cli-alpha-nast-mutation-test: 2023-07-30T12:34:24,202 * https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-30T12:34:24,202 * https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-30T12:34:24,202 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-30T12:34:24,203 Getting page https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-30T12:34:24,204 Found index url https://pypi.org/simple/ 2023-07-30T12:34:24,258 Fetched page https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ as application/vnd.pypi.simple.v1+json 2023-07-30T12:34:24,265 Found link https://files.pythonhosted.org/packages/17/d5/3d6c46f4f9a33de2eccf5260cdb7e3b5c348efadf944c9b3dcbb4f1f7a34/certora-cli-alpha-nast-mutation-test-20230719.15.53.919804.tar.gz (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8), version: 20230719.15.53.919804 2023-07-30T12:34:24,265 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/6e/3a/de2a411fcb8d80c9d58ebfd4b1086d9338ed7ab85b8555ce2111cd9d02e5/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,266 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/00/40/00cd4b9113821e438cbf9e857246ff5d20fbbfe2cfcb7d8a97acada01cf9/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,266 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/82/0a/0b949589e4ec267ab2c19831067a826231fec0ad087bd3812a0dc448288d/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,266 Found link https://files.pythonhosted.org/packages/85/c7/9c1f08c47e8f0d8f89065c9df0db0b9ee53ba940028e70a9d37492135b25/certora-cli-alpha-nast-mutation-test-20230725.8.57.697813.tar.gz (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8), version: 20230725.8.57.697813 2023-07-30T12:34:24,267 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/ab/ec/4f20eb41be56a49409f9f6e7950db1b997166986ef1961954b20dbd92128/certora_cli_alpha_nast_mutation_test-20230725.8.57.697813-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,267 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/cb/91/0dd3cbc8e1bded0e5eaf8eb515845c371890406540c3752d4f91acfd8106/certora_cli_alpha_nast_mutation_test-20230725.8.57.697813-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,267 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/b1/b7/955bbbf53284d70676a2076d0e4b6394aa5a6bbcc0be0caf113d36aca018/certora_cli_alpha_nast_mutation_test-20230725.8.57.697813-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,268 Found link https://files.pythonhosted.org/packages/8f/cd/b0832e31ffb3dd2baad36f7c5f75ef94b97e069ea7987752f319826ca472/certora-cli-alpha-nast-mutation-test-20230725.10.14.255449.tar.gz (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8), version: 20230725.10.14.255449 2023-07-30T12:34:24,268 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/e3/15/71e825b829e1eca735df6e0fa46b47fb23b16e19314e42557c9d63dcfcb7/certora_cli_alpha_nast_mutation_test-20230725.10.14.255449-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,268 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/79/83/ccb95b5db2ee9b170fd8c2258673a038197d87fd9243a8680f0f2b3cb8a2/certora_cli_alpha_nast_mutation_test-20230725.10.14.255449-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,268 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/cb/75/c9924bc252a27201db8a300ab72282f5791c627d520b4b222b7ce73f329a/certora_cli_alpha_nast_mutation_test-20230725.10.14.255449-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,269 Found link https://files.pythonhosted.org/packages/c1/1b/d8ce66715e062af9e3ceb35ec828b27dd07682f8789ea9eaa9fc8d11c39a/certora-cli-alpha-nast-mutation-test-20230726.12.6.653823.tar.gz (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8), version: 20230726.12.6.653823 2023-07-30T12:34:24,269 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/86/00/fd5fce88287e404daf0ec1b386c6d8d596c965702f39b710ec50ccc7e5ab/certora_cli_alpha_nast_mutation_test-20230726.12.6.653823-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,269 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/d2/40/63f3399a9390fb7bda373dae4051a1c5813354a11a0879e0dfcbedd36830/certora_cli_alpha_nast_mutation_test-20230726.12.6.653823-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,270 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/29/7b/7485b0ac2242c57fe2018a0b83ec7a2478e67761673887fa5eafb4c6a427/certora_cli_alpha_nast_mutation_test-20230726.12.6.653823-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,270 Found link https://files.pythonhosted.org/packages/90/cc/ffed2ef2e12f4e1927833ac116e1b34e8946a4590df7fc6c5e28a1597910/certora-cli-alpha-nast-mutation-test-20230726.12.59.957713.tar.gz (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8), version: 20230726.12.59.957713 2023-07-30T12:34:24,270 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/e5/1e/be112b9e42d4b1b1ca0f359e2a4b398ed0fc70e65484344209715f401006/certora_cli_alpha_nast_mutation_test-20230726.12.59.957713-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,271 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/61/e8/9958bb91def6835d080a32a9275bbfa6c551a29ed57fb05af07fec5cc57c/certora_cli_alpha_nast_mutation_test-20230726.12.59.957713-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,271 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/0d/c1/890092f0bdc47cfa49f7ff9d90210fac2903a8af89ba342e30441f0f4dbd/certora_cli_alpha_nast_mutation_test-20230726.12.59.957713-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,272 Found link https://files.pythonhosted.org/packages/07/48/bd2edf8d7724b75bbed5bec247859c58dd1ccb371ae39100b257561fd7d3/certora-cli-alpha-nast-mutation-test-20230727.11.6.740980.tar.gz (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8), version: 20230727.11.6.740980 2023-07-30T12:34:24,272 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/aa/66/d457984863f737f39f22d605c58e009427410903a1833602a4116a74f9c2/certora_cli_alpha_nast_mutation_test-20230727.11.6.740980-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,272 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/8b/9a/d4e93378c002ffec7b53ed39b02b97fb4bf43734fab8e2cec17cff501885/certora_cli_alpha_nast_mutation_test-20230727.11.6.740980-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,272 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/6f/34/c6a5c7a2cc42e9a5d134c06f21db7c8834ab89dc799fbee17d63e5da3704/certora_cli_alpha_nast_mutation_test-20230727.11.6.740980-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,273 Found link https://files.pythonhosted.org/packages/ae/c2/81affbe398284415aae3a826dba7a550b8ee0df802f2404823300d4d1b80/certora-cli-alpha-nast-mutation-test-20230730.11.58.939301.tar.gz (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8), version: 20230730.11.58.939301 2023-07-30T12:34:24,273 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/63/a5/62d98252ae0381f6c113afa2ca8a463b75ec2b8619cb6c6ddb1a07327129/certora_cli_alpha_nast_mutation_test-20230730.11.58.939301-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,273 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/1e/47/0b1c9646ddc2186781ea36b2c2a7907e626af1cdf0560b09e1ec4b0e3b8a/certora_cli_alpha_nast_mutation_test-20230730.11.58.939301-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,273 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/02/ab/7700a8501fea7835deae1c6ebc0ed1b1e644dd6996cca6df5bed8f9b4e03/certora_cli_alpha_nast_mutation_test-20230730.11.58.939301-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,274 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-30T12:34:24,274 Getting page https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-30T12:34:24,275 Found index url https://www.piwheels.org/simple/ 2023-07-30T12:34:24,430 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ as text/html 2023-07-30T12:34:24,433 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/certora_cli_alpha_nast_mutation_test-20230727.11.6.740980-py3-none-any.whl#sha256=bcd511acf0889c00fd00771c237a6bbca68a6abe7734947976cf652463b007b2 (from https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,433 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/certora_cli_alpha_nast_mutation_test-20230726.12.59.957713-py3-none-any.whl#sha256=cd66874fcb549e5cb74917302f50920d9469f16fa258b75d6651d21ad107df17 (from https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,433 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/certora_cli_alpha_nast_mutation_test-20230726.12.6.653823-py3-none-any.whl#sha256=e5b5ed319f8bda4c143ebb183d38f7742abd5967ee67173a3b84df286038f700 (from https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,433 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/certora_cli_alpha_nast_mutation_test-20230725.10.14.255449-py3-none-any.whl#sha256=7082718fa8b0bfc9fe82032186b7e2e27d441f60485639ca81a86905f9044014 (from https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,434 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/certora_cli_alpha_nast_mutation_test-20230725.8.57.697813-py3-none-any.whl#sha256=30de614c49904bb0f740b6ffaacf4a8e5ffe6fb0f5a131ce3b755b21090d2c39 (from https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,434 Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3-none-any.whl#sha256=13c33b992f79f8ecb3a879c16a91982e13e4cbb3b700a61a1cf5189f75f8bdb6 (from https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8) 2023-07-30T12:34:24,434 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-30T12:34:24,434 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-30T12:34:24,452 Given no hashes to check 1 links for project 'certora-cli-alpha-nast-mutation-test': discarding no candidates 2023-07-30T12:34:24,470 Collecting certora-cli-alpha-nast-mutation-test==20230730.11.58.939301 2023-07-30T12:34:24,472 Created temporary directory: /tmp/pip-unpack-i_tkep9h 2023-07-30T12:34:24,597 Downloading certora-cli-alpha-nast-mutation-test-20230730.11.58.939301.tar.gz (37.7 MB) 2023-07-30T12:34:33,878 Added certora-cli-alpha-nast-mutation-test==20230730.11.58.939301 from https://files.pythonhosted.org/packages/ae/c2/81affbe398284415aae3a826dba7a550b8ee0df802f2404823300d4d1b80/certora-cli-alpha-nast-mutation-test-20230730.11.58.939301.tar.gz to build tracker '/tmp/pip-build-tracker-vut71e69' 2023-07-30T12:34:33,880 Running setup.py (path:/tmp/pip-wheel-pv90_bpv/certora-cli-alpha-nast-mutation-test_3a87273d0c0b409cbaaf1dde6c10b188/setup.py) egg_info for package certora-cli-alpha-nast-mutation-test 2023-07-30T12:34:33,881 Created temporary directory: /tmp/pip-pip-egg-info-o7xykixl 2023-07-30T12:34:33,881 Preparing metadata (setup.py): started 2023-07-30T12:34:33,882 Running command python setup.py egg_info 2023-07-30T12:34:34,502 running egg_info 2023-07-30T12:34:34,503 creating /tmp/pip-pip-egg-info-o7xykixl/certora_cli_alpha_nast_mutation_test.egg-info 2023-07-30T12:34:34,531 writing /tmp/pip-pip-egg-info-o7xykixl/certora_cli_alpha_nast_mutation_test.egg-info/PKG-INFO 2023-07-30T12:34:34,533 writing dependency_links to /tmp/pip-pip-egg-info-o7xykixl/certora_cli_alpha_nast_mutation_test.egg-info/dependency_links.txt 2023-07-30T12:34:34,535 writing entry points to /tmp/pip-pip-egg-info-o7xykixl/certora_cli_alpha_nast_mutation_test.egg-info/entry_points.txt 2023-07-30T12:34:34,537 writing requirements to /tmp/pip-pip-egg-info-o7xykixl/certora_cli_alpha_nast_mutation_test.egg-info/requires.txt 2023-07-30T12:34:34,538 writing top-level names to /tmp/pip-pip-egg-info-o7xykixl/certora_cli_alpha_nast_mutation_test.egg-info/top_level.txt 2023-07-30T12:34:34,539 writing manifest file '/tmp/pip-pip-egg-info-o7xykixl/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-30T12:34:34,630 reading manifest file '/tmp/pip-pip-egg-info-o7xykixl/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-30T12:34:34,632 reading manifest template 'MANIFEST.in' 2023-07-30T12:34:34,638 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-07-30T12:34:34,689 adding license file 'LICENSE' 2023-07-30T12:34:34,692 writing manifest file '/tmp/pip-pip-egg-info-o7xykixl/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-30T12:34:34,757 Preparing metadata (setup.py): finished with status 'done' 2023-07-30T12:34:34,762 Source in /tmp/pip-wheel-pv90_bpv/certora-cli-alpha-nast-mutation-test_3a87273d0c0b409cbaaf1dde6c10b188 has version 20230730.11.58.939301, which satisfies requirement certora-cli-alpha-nast-mutation-test==20230730.11.58.939301 from https://files.pythonhosted.org/packages/ae/c2/81affbe398284415aae3a826dba7a550b8ee0df802f2404823300d4d1b80/certora-cli-alpha-nast-mutation-test-20230730.11.58.939301.tar.gz 2023-07-30T12:34:34,763 Removed certora-cli-alpha-nast-mutation-test==20230730.11.58.939301 from https://files.pythonhosted.org/packages/ae/c2/81affbe398284415aae3a826dba7a550b8ee0df802f2404823300d4d1b80/certora-cli-alpha-nast-mutation-test-20230730.11.58.939301.tar.gz from build tracker '/tmp/pip-build-tracker-vut71e69' 2023-07-30T12:34:34,769 Created temporary directory: /tmp/pip-unpack-7z4qcz2o 2023-07-30T12:34:34,770 Building wheels for collected packages: certora-cli-alpha-nast-mutation-test 2023-07-30T12:34:34,774 Created temporary directory: /tmp/pip-wheel-_4e3iuj_ 2023-07-30T12:34:34,774 Building wheel for certora-cli-alpha-nast-mutation-test (setup.py): started 2023-07-30T12:34:34,775 Destination directory: /tmp/pip-wheel-_4e3iuj_ 2023-07-30T12:34:34,775 Running command python setup.py bdist_wheel 2023-07-30T12:34:35,420 running bdist_wheel 2023-07-30T12:34:35,707 running build 2023-07-30T12:34:35,707 running build_py 2023-07-30T12:34:35,737 creating build 2023-07-30T12:34:35,738 creating build/lib 2023-07-30T12:34:35,738 creating build/lib/certora_jars 2023-07-30T12:34:35,739 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-07-30T12:34:35,741 creating build/lib/certora_bins 2023-07-30T12:34:35,742 copying certora_bins/__init__.py -> build/lib/certora_bins 2023-07-30T12:34:35,744 creating build/lib/certora_cli 2023-07-30T12:34:35,745 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-07-30T12:34:35,747 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-07-30T12:34:35,749 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-07-30T12:34:35,752 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2023-07-30T12:34:35,754 creating build/lib/certora_cli/Shared 2023-07-30T12:34:35,756 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-07-30T12:34:35,759 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-07-30T12:34:35,761 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-07-30T12:34:35,764 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-07-30T12:34:35,767 creating build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,768 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,771 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,774 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,776 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,779 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,781 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,784 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,786 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,789 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,794 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,797 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,799 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,801 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,803 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-07-30T12:34:35,807 creating build/lib/certora_cli/EquivalenceCheck 2023-07-30T12:34:35,808 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2023-07-30T12:34:35,810 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2023-07-30T12:34:35,812 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-07-30T12:34:35,813 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-30T12:34:35,815 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-30T12:34:35,817 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-30T12:34:35,819 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-30T12:34:35,821 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-30T12:34:35,825 running egg_info 2023-07-30T12:34:35,887 writing certora_cli_alpha_nast_mutation_test.egg-info/PKG-INFO 2023-07-30T12:34:35,889 writing dependency_links to certora_cli_alpha_nast_mutation_test.egg-info/dependency_links.txt 2023-07-30T12:34:35,891 writing entry points to certora_cli_alpha_nast_mutation_test.egg-info/entry_points.txt 2023-07-30T12:34:35,892 writing requirements to certora_cli_alpha_nast_mutation_test.egg-info/requires.txt 2023-07-30T12:34:35,893 writing top-level names to certora_cli_alpha_nast_mutation_test.egg-info/top_level.txt 2023-07-30T12:34:35,926 reading manifest file 'certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-30T12:34:35,929 reading manifest template 'MANIFEST.in' 2023-07-30T12:34:35,934 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-07-30T12:34:35,977 adding license file 'LICENSE' 2023-07-30T12:34:35,982 writing manifest file 'certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-30T12:34:35,985 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-07-30T12:34:35,987 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-07-30T12:34:36,211 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-07-30T12:34:36,380 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-07-30T12:34:36,582 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2023-07-30T12:34:36,585 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-30T12:34:36,587 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2023-07-30T12:34:36,589 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-30T12:34:36,591 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-30T12:34:36,626 /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-07-30T12:34:36,626 !! 2023-07-30T12:34:36,626 ******************************************************************************** 2023-07-30T12:34:36,626 Please avoid running ``setup.py`` directly. 2023-07-30T12:34:36,627 Instead, use pypa/build, pypa/installer, pypa/build or 2023-07-30T12:34:36,627 other standards-based tools. 2023-07-30T12:34:36,627 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-07-30T12:34:36,627 ******************************************************************************** 2023-07-30T12:34:36,627 !! 2023-07-30T12:34:36,627 self.initialize_options() 2023-07-30T12:34:36,655 installing to build/bdist.linux-armv7l/wheel 2023-07-30T12:34:36,655 running install 2023-07-30T12:34:36,680 running install_lib 2023-07-30T12:34:36,708 creating build/bdist.linux-armv7l 2023-07-30T12:34:36,709 creating build/bdist.linux-armv7l/wheel 2023-07-30T12:34:36,710 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-07-30T12:34:36,712 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-30T12:34:36,885 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-30T12:34:37,134 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-30T12:34:37,136 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-30T12:34:37,348 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-30T12:34:37,350 creating build/bdist.linux-armv7l/wheel/certora_bins 2023-07-30T12:34:37,351 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/certora_bins 2023-07-30T12:34:37,354 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-07-30T12:34:37,355 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-30T12:34:37,356 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-30T12:34:37,360 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-30T12:34:37,361 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-30T12:34:37,364 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-30T12:34:37,367 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-30T12:34:37,369 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-30T12:34:37,372 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,373 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,376 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,379 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-30T12:34:37,381 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-30T12:34:37,383 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-30T12:34:37,386 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-30T12:34:37,388 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-30T12:34:37,390 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-30T12:34:37,394 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,396 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,399 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,401 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,405 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,407 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,411 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,416 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,419 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,421 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,424 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,427 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-30T12:34:37,430 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-30T12:34:37,433 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-30T12:34:37,436 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-30T12:34:37,437 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-30T12:34:37,439 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-30T12:34:37,441 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-30T12:34:37,443 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-30T12:34:37,446 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-30T12:34:37,448 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-30T12:34:37,450 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-30T12:34:37,452 running install_egg_info 2023-07-30T12:34:37,484 Copying certora_cli_alpha_nast_mutation_test.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_nast_mutation_test-20230730.11.58.939301-py3.9.egg-info 2023-07-30T12:34:37,496 running install_scripts 2023-07-30T12:34:37,513 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_nast_mutation_test-20230730.11.58.939301.dist-info/WHEEL 2023-07-30T12:34:37,516 creating '/tmp/pip-wheel-_4e3iuj_/certora_cli_alpha_nast_mutation_test-20230730.11.58.939301-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-07-30T12:34:37,519 adding 'certora_bins/__init__.py' 2023-07-30T12:34:37,521 adding 'certora_cli/__init__.py' 2023-07-30T12:34:37,522 adding 'certora_cli/certoraEqCheck.py' 2023-07-30T12:34:37,528 adding 'certora_cli/certoraMutate.py' 2023-07-30T12:34:37,531 adding 'certora_cli/certoraRun.py' 2023-07-30T12:34:37,534 adding 'certora_cli/EVMVerifier/__init__.py' 2023-07-30T12:34:37,557 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-07-30T12:34:37,565 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-07-30T12:34:37,567 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-07-30T12:34:37,569 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-07-30T12:34:37,574 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-07-30T12:34:37,578 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-07-30T12:34:37,580 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-07-30T12:34:37,586 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-07-30T12:34:37,588 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-07-30T12:34:37,590 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-07-30T12:34:37,592 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-07-30T12:34:37,595 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-07-30T12:34:37,599 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-07-30T12:34:37,601 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-07-30T12:34:37,603 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-07-30T12:34:37,605 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-07-30T12:34:37,610 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-07-30T12:34:37,612 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-07-30T12:34:37,614 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2023-07-30T12:34:37,615 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2023-07-30T12:34:37,617 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2023-07-30T12:34:37,618 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2023-07-30T12:34:37,620 adding 'certora_cli/EquivalenceCheck/__init__.py' 2023-07-30T12:34:37,623 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2023-07-30T12:34:37,624 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2023-07-30T12:34:37,626 adding 'certora_cli/Shared/__init__.py' 2023-07-30T12:34:37,629 adding 'certora_cli/Shared/certoraLogging.py' 2023-07-30T12:34:37,631 adding 'certora_cli/Shared/certoraTester.py' 2023-07-30T12:34:37,638 adding 'certora_cli/Shared/certoraUtils.py' 2023-07-30T12:34:37,641 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-07-30T12:34:39,445 adding 'certora_jars/MutationTest.jar' 2023-07-30T12:34:40,785 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-07-30T12:34:42,492 adding 'certora_jars/Typechecker.jar' 2023-07-30T12:34:42,582 adding 'certora_jars/__init__.py' 2023-07-30T12:34:42,583 adding 'certora_cli_alpha_nast_mutation_test-20230730.11.58.939301.dist-info/LICENSE' 2023-07-30T12:34:42,584 adding 'certora_cli_alpha_nast_mutation_test-20230730.11.58.939301.dist-info/METADATA' 2023-07-30T12:34:42,586 adding 'certora_cli_alpha_nast_mutation_test-20230730.11.58.939301.dist-info/WHEEL' 2023-07-30T12:34:42,587 adding 'certora_cli_alpha_nast_mutation_test-20230730.11.58.939301.dist-info/entry_points.txt' 2023-07-30T12:34:42,588 adding 'certora_cli_alpha_nast_mutation_test-20230730.11.58.939301.dist-info/top_level.txt' 2023-07-30T12:34:42,590 adding 'certora_cli_alpha_nast_mutation_test-20230730.11.58.939301.dist-info/RECORD' 2023-07-30T12:34:42,994 removing build/bdist.linux-armv7l/wheel 2023-07-30T12:34:43,107 Building wheel for certora-cli-alpha-nast-mutation-test (setup.py): finished with status 'done' 2023-07-30T12:34:43,480 Created wheel for certora-cli-alpha-nast-mutation-test: filename=certora_cli_alpha_nast_mutation_test-20230730.11.58.939301-py3-none-any.whl size=37712969 sha256=2469db9e2b25d8c59396d075baf81b178ab7b756d6044fc717e2c728e7c87d6b 2023-07-30T12:34:43,481 Stored in directory: /tmp/pip-ephem-wheel-cache-67dq_x33/wheels/62/b0/5e/6ad05c1ce98566949c794b9d3e6771a0f3e51e113e8aa6051a 2023-07-30T12:34:43,505 Successfully built certora-cli-alpha-nast-mutation-test 2023-07-30T12:34:44,406 Removed build tracker: '/tmp/pip-build-tracker-vut71e69'