2023-09-05T09:07:19,325 Created temporary directory: /tmp/pip-build-tracker-k0x5mw9o
2023-09-05T09:07:19,326 Initialized build tracking at /tmp/pip-build-tracker-k0x5mw9o
2023-09-05T09:07:19,327 Created build tracker: /tmp/pip-build-tracker-k0x5mw9o
2023-09-05T09:07:19,327 Entered build tracker: /tmp/pip-build-tracker-k0x5mw9o
2023-09-05T09:07:19,327 Created temporary directory: /tmp/pip-wheel-1norurl1
2023-09-05T09:07:19,331 Created temporary directory: /tmp/pip-ephem-wheel-cache-dngh66p4
2023-09-05T09:07:19,354 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-09-05T09:07:19,358 2 location(s) to search for versions of certora-cli-alpha-nast-mutation-test:
2023-09-05T09:07:19,358 * https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/
2023-09-05T09:07:19,358 * https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/
2023-09-05T09:07:19,358 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/
2023-09-05T09:07:19,359 Getting page https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/
2023-09-05T09:07:19,360 Found index url https://pypi.org/simple/
2023-09-05T09:07:19,410 Fetched page https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ as application/vnd.pypi.simple.v1+json
2023-09-05T09:07:19,418   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-09-05T09:07:19,418   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-09-05T09:07:19,419   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-09-05T09:07:19,419   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-09-05T09:07:19,420   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-09-05T09:07:19,420   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-09-05T09:07:19,420   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-09-05T09:07:19,420   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-09-05T09:07:19,421   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-09-05T09:07:19,421   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-09-05T09:07:19,421   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-09-05T09:07:19,422   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-09-05T09:07:19,422   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-09-05T09:07:19,422   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-09-05T09:07:19,423   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-09-05T09:07:19,423   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-09-05T09:07:19,423   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-09-05T09:07:19,424   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-09-05T09:07:19,424   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-09-05T09:07:19,424   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-09-05T09:07:19,425   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-09-05T09:07:19,425   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-09-05T09:07:19,425   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-09-05T09:07:19,425   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-09-05T09:07:19,426   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-09-05T09:07:19,426   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-09-05T09:07:19,426   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-09-05T09:07:19,427   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-09-05T09:07:19,427   Found link https://files.pythonhosted.org/packages/5d/c4/f821300426965d8b376ef724a38599d76ad91cd5106a7924f23accfc152e/certora-cli-alpha-nast-mutation-test-20230802.8.32.199860.tar.gz (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8), version: 20230802.8.32.199860
2023-09-05T09:07:19,427   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/57/fb/5738a6607bc919e47538494f7c0e26418286f22a481989bc0675474d3fa0/certora_cli_alpha_nast_mutation_test-20230802.8.32.199860-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-09-05T09:07:19,428   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/31/a1/9f0ecfcac9a7b52cc77b37bed86f2fa1d4cbc2515e5ba1a095779c38402f/certora_cli_alpha_nast_mutation_test-20230802.8.32.199860-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-09-05T09:07:19,428   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/e0/41/bb52df748955ed11cdb79ec6f0d18b534ac61cf85641d9a0f9b32d5b451e/certora_cli_alpha_nast_mutation_test-20230802.8.32.199860-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-09-05T09:07:19,428   Found link https://files.pythonhosted.org/packages/48/06/130070e29b2244633c6b6c6769808a186dd92da8f3e9b40203c0795a7c5c/certora-cli-alpha-nast-mutation-test-20230905.8.3.707745.tar.gz (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8), version: 20230905.8.3.707745
2023-09-05T09:07:19,429   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/1a/57/1b2aaf6b5ac70bb218a7668cc878d9249b03233583866584728d8434945c/certora_cli_alpha_nast_mutation_test-20230905.8.3.707745-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-09-05T09:07:19,429   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/e9/2d/2a413f86616750ba8db6c9670f33ce70fe212a7fef7eb381f098f4a2bdc9/certora_cli_alpha_nast_mutation_test-20230905.8.3.707745-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-09-05T09:07:19,429   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/3d/5e/dcd547606a7788209bda466032c3206d808a423be3784e50f353bfc1b91c/certora_cli_alpha_nast_mutation_test-20230905.8.3.707745-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-09-05T09:07:19,429 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/
2023-09-05T09:07:19,430 Getting page https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/
2023-09-05T09:07:19,431 Found index url https://www.piwheels.org/simple/
2023-09-05T09:07:19,593 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ as text/html
2023-09-05T09:07:19,596   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-20230802.8.32.199860-py3-none-any.whl#sha256=f06e4860ca231e1402b3d9655484d09e0fc23dfb596d60e05827c1641a428d50 (from https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-09-05T09:07:19,596   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-20230730.11.58.939301-py3-none-any.whl#sha256=2469db9e2b25d8c59396d075baf81b178ab7b756d6044fc717e2c728e7c87d6b (from https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-09-05T09:07:19,597   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-09-05T09:07:19,597   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-09-05T09:07:19,597   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-09-05T09:07:19,597   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-09-05T09:07:19,597   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-09-05T09:07:19,598   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-09-05T09:07:19,598 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/
2023-09-05T09:07:19,598 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/
2023-09-05T09:07:19,617 Given no hashes to check 1 links for project 'certora-cli-alpha-nast-mutation-test': discarding no candidates
2023-09-05T09:07:19,633 Collecting certora-cli-alpha-nast-mutation-test==20230905.8.3.707745
2023-09-05T09:07:19,635   Created temporary directory: /tmp/pip-unpack-v3hl5tir
2023-09-05T09:07:19,968   Downloading certora-cli-alpha-nast-mutation-test-20230905.8.3.707745.tar.gz (38.4 MB)
2023-09-05T09:07:26,948   Added certora-cli-alpha-nast-mutation-test==20230905.8.3.707745 from https://files.pythonhosted.org/packages/48/06/130070e29b2244633c6b6c6769808a186dd92da8f3e9b40203c0795a7c5c/certora-cli-alpha-nast-mutation-test-20230905.8.3.707745.tar.gz to build tracker '/tmp/pip-build-tracker-k0x5mw9o'
2023-09-05T09:07:26,950   Running setup.py (path:/tmp/pip-wheel-1norurl1/certora-cli-alpha-nast-mutation-test_1c9333c12dce4c0cbdb11f46cd867992/setup.py) egg_info for package certora-cli-alpha-nast-mutation-test
2023-09-05T09:07:26,950   Created temporary directory: /tmp/pip-pip-egg-info-vzcxsu3j
2023-09-05T09:07:26,951   Preparing metadata (setup.py): started
2023-09-05T09:07:26,952   Running command python setup.py egg_info
2023-09-05T09:07:27,552   running egg_info
2023-09-05T09:07:27,553   creating /tmp/pip-pip-egg-info-vzcxsu3j/certora_cli_alpha_nast_mutation_test.egg-info
2023-09-05T09:07:27,581   writing /tmp/pip-pip-egg-info-vzcxsu3j/certora_cli_alpha_nast_mutation_test.egg-info/PKG-INFO
2023-09-05T09:07:27,583   writing dependency_links to /tmp/pip-pip-egg-info-vzcxsu3j/certora_cli_alpha_nast_mutation_test.egg-info/dependency_links.txt
2023-09-05T09:07:27,585   writing entry points to /tmp/pip-pip-egg-info-vzcxsu3j/certora_cli_alpha_nast_mutation_test.egg-info/entry_points.txt
2023-09-05T09:07:27,587   writing requirements to /tmp/pip-pip-egg-info-vzcxsu3j/certora_cli_alpha_nast_mutation_test.egg-info/requires.txt
2023-09-05T09:07:27,587   writing top-level names to /tmp/pip-pip-egg-info-vzcxsu3j/certora_cli_alpha_nast_mutation_test.egg-info/top_level.txt
2023-09-05T09:07:27,589   writing manifest file '/tmp/pip-pip-egg-info-vzcxsu3j/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-09-05T09:07:27,674   reading manifest file '/tmp/pip-pip-egg-info-vzcxsu3j/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-09-05T09:07:27,675   reading manifest template 'MANIFEST.in'
2023-09-05T09:07:27,681   warning: no files found matching 'gambit' under directory 'certora_bins'
2023-09-05T09:07:27,725   adding license file 'LICENSE'
2023-09-05T09:07:27,729   writing manifest file '/tmp/pip-pip-egg-info-vzcxsu3j/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-09-05T09:07:27,789   Preparing metadata (setup.py): finished with status 'done'
2023-09-05T09:07:27,794   Source in /tmp/pip-wheel-1norurl1/certora-cli-alpha-nast-mutation-test_1c9333c12dce4c0cbdb11f46cd867992 has version 20230905.8.3.707745, which satisfies requirement certora-cli-alpha-nast-mutation-test==20230905.8.3.707745 from https://files.pythonhosted.org/packages/48/06/130070e29b2244633c6b6c6769808a186dd92da8f3e9b40203c0795a7c5c/certora-cli-alpha-nast-mutation-test-20230905.8.3.707745.tar.gz
2023-09-05T09:07:27,795   Removed certora-cli-alpha-nast-mutation-test==20230905.8.3.707745 from https://files.pythonhosted.org/packages/48/06/130070e29b2244633c6b6c6769808a186dd92da8f3e9b40203c0795a7c5c/certora-cli-alpha-nast-mutation-test-20230905.8.3.707745.tar.gz from build tracker '/tmp/pip-build-tracker-k0x5mw9o'
2023-09-05T09:07:27,801 Created temporary directory: /tmp/pip-unpack-6rbx_pl9
2023-09-05T09:07:27,802 Building wheels for collected packages: certora-cli-alpha-nast-mutation-test
2023-09-05T09:07:27,806   Created temporary directory: /tmp/pip-wheel-wjg_l1rj
2023-09-05T09:07:27,806   Building wheel for certora-cli-alpha-nast-mutation-test (setup.py): started
2023-09-05T09:07:27,807   Destination directory: /tmp/pip-wheel-wjg_l1rj
2023-09-05T09:07:27,807   Running command python setup.py bdist_wheel
2023-09-05T09:07:28,441   running bdist_wheel
2023-09-05T09:07:28,715   running build
2023-09-05T09:07:28,716   running build_py
2023-09-05T09:07:28,745   creating build
2023-09-05T09:07:28,745   creating build/lib
2023-09-05T09:07:28,746   creating build/lib/certora_jars
2023-09-05T09:07:28,747   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-09-05T09:07:28,749   creating build/lib/certora_bins
2023-09-05T09:07:28,749   copying certora_bins/__init__.py -> build/lib/certora_bins
2023-09-05T09:07:28,751   creating build/lib/certora_cli
2023-09-05T09:07:28,752   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-09-05T09:07:28,754   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-09-05T09:07:28,756   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-09-05T09:07:28,759   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2023-09-05T09:07:28,761   creating build/lib/certora_cli/Shared
2023-09-05T09:07:28,762   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-09-05T09:07:28,765   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-09-05T09:07:28,767   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-09-05T09:07:28,769   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-09-05T09:07:28,772   creating build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,772   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,774   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,777   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,779   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,781   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,783   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,786   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,787   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,790   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,796   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,799   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,800   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,803   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,805   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-09-05T09:07:28,809   creating build/lib/certora_cli/EquivalenceCheck
2023-09-05T09:07:28,809   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2023-09-05T09:07:28,812   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2023-09-05T09:07:28,814   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-09-05T09:07:28,815   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-09-05T09:07:28,817   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-09-05T09:07:28,819   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-09-05T09:07:28,821   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-09-05T09:07:28,824   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-09-05T09:07:28,826   running egg_info
2023-09-05T09:07:28,888   writing certora_cli_alpha_nast_mutation_test.egg-info/PKG-INFO
2023-09-05T09:07:28,890   writing dependency_links to certora_cli_alpha_nast_mutation_test.egg-info/dependency_links.txt
2023-09-05T09:07:28,892   writing entry points to certora_cli_alpha_nast_mutation_test.egg-info/entry_points.txt
2023-09-05T09:07:28,893   writing requirements to certora_cli_alpha_nast_mutation_test.egg-info/requires.txt
2023-09-05T09:07:28,895   writing top-level names to certora_cli_alpha_nast_mutation_test.egg-info/top_level.txt
2023-09-05T09:07:28,927   reading manifest file 'certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-09-05T09:07:28,930   reading manifest template 'MANIFEST.in'
2023-09-05T09:07:28,935   warning: no files found matching 'gambit' under directory 'certora_bins'
2023-09-05T09:07:28,980   adding license file 'LICENSE'
2023-09-05T09:07:28,985   writing manifest file 'certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-09-05T09:07:28,988   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-09-05T09:07:28,990   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-09-05T09:07:29,219   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-09-05T09:07:29,384   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-09-05T09:07:29,600   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2023-09-05T09:07:29,602   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2023-09-05T09:07:29,604   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2023-09-05T09:07:29,606   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2023-09-05T09:07:29,608   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2023-09-05T09:07:29,643   /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-09-05T09:07:29,643   !!

2023-09-05T09:07:29,644           ********************************************************************************
2023-09-05T09:07:29,644           Please avoid running ``setup.py`` directly.
2023-09-05T09:07:29,644           Instead, use pypa/build, pypa/installer, pypa/build or
2023-09-05T09:07:29,644           other standards-based tools.

2023-09-05T09:07:29,645           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-09-05T09:07:29,645           ********************************************************************************

2023-09-05T09:07:29,645   !!
2023-09-05T09:07:29,645     self.initialize_options()
2023-09-05T09:07:29,671   installing to build/bdist.linux-armv7l/wheel
2023-09-05T09:07:29,671   running install
2023-09-05T09:07:29,695   running install_lib
2023-09-05T09:07:29,723   creating build/bdist.linux-armv7l
2023-09-05T09:07:29,723   creating build/bdist.linux-armv7l/wheel
2023-09-05T09:07:29,725   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-09-05T09:07:29,726   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-09-05T09:07:29,886   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-09-05T09:07:30,121   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-09-05T09:07:30,123   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-09-05T09:07:30,334   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-09-05T09:07:30,337   creating build/bdist.linux-armv7l/wheel/certora_bins
2023-09-05T09:07:30,338   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/certora_bins
2023-09-05T09:07:30,340   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-09-05T09:07:30,341   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-09-05T09:07:30,343   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-09-05T09:07:30,346   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-09-05T09:07:30,347   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-09-05T09:07:30,351   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-09-05T09:07:30,353   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-09-05T09:07:30,356   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-09-05T09:07:30,359   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,360   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,362   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,366   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-09-05T09:07:30,367   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-09-05T09:07:30,369   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-09-05T09:07:30,371   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-09-05T09:07:30,373   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-09-05T09:07:30,376   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-09-05T09:07:30,379   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,382   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,384   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,386   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,390   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,392   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,396   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,403   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,405   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,407   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,410   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,413   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-09-05T09:07:30,416   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-09-05T09:07:30,419   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-09-05T09:07:30,422   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-09-05T09:07:30,423   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-09-05T09:07:30,425   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-09-05T09:07:30,427   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-09-05T09:07:30,429   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-09-05T09:07:30,432   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-09-05T09:07:30,433   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-09-05T09:07:30,435   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-09-05T09:07:30,437   running install_egg_info
2023-09-05T09:07:30,469   Copying certora_cli_alpha_nast_mutation_test.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_nast_mutation_test-20230905.8.3.707745-py3.9.egg-info
2023-09-05T09:07:30,481   running install_scripts
2023-09-05T09:07:30,498   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_nast_mutation_test-20230905.8.3.707745.dist-info/WHEEL
2023-09-05T09:07:30,501   creating '/tmp/pip-wheel-wjg_l1rj/certora_cli_alpha_nast_mutation_test-20230905.8.3.707745-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-09-05T09:07:30,503   adding 'certora_bins/__init__.py'
2023-09-05T09:07:30,505   adding 'certora_cli/__init__.py'
2023-09-05T09:07:30,506   adding 'certora_cli/certoraEqCheck.py'
2023-09-05T09:07:30,512   adding 'certora_cli/certoraMutate.py'
2023-09-05T09:07:30,515   adding 'certora_cli/certoraRun.py'
2023-09-05T09:07:30,516   adding 'certora_cli/EVMVerifier/__init__.py'
2023-09-05T09:07:30,539   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-09-05T09:07:30,546   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-09-05T09:07:30,548   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-09-05T09:07:30,550   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-09-05T09:07:30,555   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-09-05T09:07:30,559   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-09-05T09:07:30,560   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-09-05T09:07:30,566   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-09-05T09:07:30,567   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-09-05T09:07:30,569   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-09-05T09:07:30,571   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-09-05T09:07:30,574   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-09-05T09:07:30,577   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-09-05T09:07:30,579   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-09-05T09:07:30,581   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-09-05T09:07:30,583   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-09-05T09:07:30,587   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-09-05T09:07:30,588   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-09-05T09:07:30,590   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2023-09-05T09:07:30,592   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2023-09-05T09:07:30,593   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2023-09-05T09:07:30,594   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2023-09-05T09:07:30,595   adding 'certora_cli/EquivalenceCheck/__init__.py'
2023-09-05T09:07:30,598   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2023-09-05T09:07:30,599   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2023-09-05T09:07:30,601   adding 'certora_cli/Shared/__init__.py'
2023-09-05T09:07:30,603   adding 'certora_cli/Shared/certoraLogging.py'
2023-09-05T09:07:30,605   adding 'certora_cli/Shared/certoraTester.py'
2023-09-05T09:07:30,612   adding 'certora_cli/Shared/certoraUtils.py'
2023-09-05T09:07:30,615   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-09-05T09:07:32,469   adding 'certora_jars/MutationTest.jar'
2023-09-05T09:07:33,816   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-09-05T09:07:35,575   adding 'certora_jars/Typechecker.jar'
2023-09-05T09:07:35,667   adding 'certora_jars/__init__.py'
2023-09-05T09:07:35,668   adding 'certora_cli_alpha_nast_mutation_test-20230905.8.3.707745.dist-info/LICENSE'
2023-09-05T09:07:35,669   adding 'certora_cli_alpha_nast_mutation_test-20230905.8.3.707745.dist-info/METADATA'
2023-09-05T09:07:35,671   adding 'certora_cli_alpha_nast_mutation_test-20230905.8.3.707745.dist-info/WHEEL'
2023-09-05T09:07:35,672   adding 'certora_cli_alpha_nast_mutation_test-20230905.8.3.707745.dist-info/entry_points.txt'
2023-09-05T09:07:35,673   adding 'certora_cli_alpha_nast_mutation_test-20230905.8.3.707745.dist-info/top_level.txt'
2023-09-05T09:07:35,674   adding 'certora_cli_alpha_nast_mutation_test-20230905.8.3.707745.dist-info/RECORD'
2023-09-05T09:07:36,045   removing build/bdist.linux-armv7l/wheel
2023-09-05T09:07:36,159   Building wheel for certora-cli-alpha-nast-mutation-test (setup.py): finished with status 'done'
2023-09-05T09:07:36,541   Created wheel for certora-cli-alpha-nast-mutation-test: filename=certora_cli_alpha_nast_mutation_test-20230905.8.3.707745-py3-none-any.whl size=38371563 sha256=87eee2697eca94d329007fcb7adb85edcdbd769d156bf9fd1c275eaac4b9464f
2023-09-05T09:07:36,542   Stored in directory: /tmp/pip-ephem-wheel-cache-dngh66p4/wheels/55/ec/3f/8959726d3b53a29ed556e3a658f959c8d0bdd0297b3d6c9989
2023-09-05T09:07:36,566 Successfully built certora-cli-alpha-nast-mutation-test
2023-09-05T09:07:37,473 Removed build tracker: '/tmp/pip-build-tracker-k0x5mw9o'