2023-07-26T12:35:40,032 Created temporary directory: /tmp/pip-build-tracker-je_ftp7q 2023-07-26T12:35:40,033 Initialized build tracking at /tmp/pip-build-tracker-je_ftp7q 2023-07-26T12:35:40,033 Created build tracker: /tmp/pip-build-tracker-je_ftp7q 2023-07-26T12:35:40,033 Entered build tracker: /tmp/pip-build-tracker-je_ftp7q 2023-07-26T12:35:40,034 Created temporary directory: /tmp/pip-wheel-ylrq_kq2 2023-07-26T12:35:40,038 Created temporary directory: /tmp/pip-ephem-wheel-cache-2x15k7i2 2023-07-26T12:35:40,064 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-07-26T12:35:40,067 2 location(s) to search for versions of certora-cli-alpha-nast-mutation-test: 2023-07-26T12:35:40,067 * https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-26T12:35:40,067 * https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-26T12:35:40,068 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-26T12:35:40,068 Getting page https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-26T12:35:40,070 Found index url https://pypi.org/simple/ 2023-07-26T12:35:40,121 Fetched page https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ as application/vnd.pypi.simple.v1+json 2023-07-26T12:35:40,125 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-26T12:35:40,125 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-26T12:35:40,126 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-26T12:35:40,126 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-26T12:35:40,127 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-26T12:35:40,127 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-26T12:35:40,127 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-26T12:35:40,127 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-26T12:35:40,128 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-26T12:35:40,128 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-26T12:35:40,128 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-26T12:35:40,129 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-26T12:35:40,129 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-26T12:35:40,129 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-26T12:35:40,130 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-26T12:35:40,130 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-26T12:35:40,130 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-26T12:35:40,131 Getting page https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-26T12:35:40,132 Found index url https://www.piwheels.org/simple/ 2023-07-26T12:35:40,376 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ as text/html 2023-07-26T12:35:40,378 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-26T12:35:40,378 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-26T12:35:40,379 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-26T12:35:40,379 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-26T12:35:40,379 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-26T12:35:40,397 Given no hashes to check 1 links for project 'certora-cli-alpha-nast-mutation-test': discarding no candidates 2023-07-26T12:35:40,414 Collecting certora-cli-alpha-nast-mutation-test==20230726.12.6.653823 2023-07-26T12:35:40,416 Created temporary directory: /tmp/pip-unpack-hewzj2qy 2023-07-26T12:35:40,803 Downloading certora-cli-alpha-nast-mutation-test-20230726.12.6.653823.tar.gz (37.5 MB) 2023-07-26T12:35:49,742 Added certora-cli-alpha-nast-mutation-test==20230726.12.6.653823 from https://files.pythonhosted.org/packages/c1/1b/d8ce66715e062af9e3ceb35ec828b27dd07682f8789ea9eaa9fc8d11c39a/certora-cli-alpha-nast-mutation-test-20230726.12.6.653823.tar.gz to build tracker '/tmp/pip-build-tracker-je_ftp7q' 2023-07-26T12:35:49,745 Running setup.py (path:/tmp/pip-wheel-ylrq_kq2/certora-cli-alpha-nast-mutation-test_d976b981b93b4cbcbe172af4a94b68ec/setup.py) egg_info for package certora-cli-alpha-nast-mutation-test 2023-07-26T12:35:49,745 Created temporary directory: /tmp/pip-pip-egg-info-ng6dvlox 2023-07-26T12:35:49,745 Preparing metadata (setup.py): started 2023-07-26T12:35:49,746 Running command python setup.py egg_info 2023-07-26T12:35:50,364 running egg_info 2023-07-26T12:35:50,366 creating /tmp/pip-pip-egg-info-ng6dvlox/certora_cli_alpha_nast_mutation_test.egg-info 2023-07-26T12:35:50,394 writing /tmp/pip-pip-egg-info-ng6dvlox/certora_cli_alpha_nast_mutation_test.egg-info/PKG-INFO 2023-07-26T12:35:50,397 writing dependency_links to /tmp/pip-pip-egg-info-ng6dvlox/certora_cli_alpha_nast_mutation_test.egg-info/dependency_links.txt 2023-07-26T12:35:50,399 writing entry points to /tmp/pip-pip-egg-info-ng6dvlox/certora_cli_alpha_nast_mutation_test.egg-info/entry_points.txt 2023-07-26T12:35:50,400 writing requirements to /tmp/pip-pip-egg-info-ng6dvlox/certora_cli_alpha_nast_mutation_test.egg-info/requires.txt 2023-07-26T12:35:50,401 writing top-level names to /tmp/pip-pip-egg-info-ng6dvlox/certora_cli_alpha_nast_mutation_test.egg-info/top_level.txt 2023-07-26T12:35:50,403 writing manifest file '/tmp/pip-pip-egg-info-ng6dvlox/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-26T12:35:50,489 reading manifest file '/tmp/pip-pip-egg-info-ng6dvlox/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-26T12:35:50,490 reading manifest template 'MANIFEST.in' 2023-07-26T12:35:50,495 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-07-26T12:35:50,542 adding license file 'LICENSE' 2023-07-26T12:35:50,546 writing manifest file '/tmp/pip-pip-egg-info-ng6dvlox/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-26T12:35:50,605 Preparing metadata (setup.py): finished with status 'done' 2023-07-26T12:35:50,611 Source in /tmp/pip-wheel-ylrq_kq2/certora-cli-alpha-nast-mutation-test_d976b981b93b4cbcbe172af4a94b68ec has version 20230726.12.6.653823, which satisfies requirement certora-cli-alpha-nast-mutation-test==20230726.12.6.653823 from https://files.pythonhosted.org/packages/c1/1b/d8ce66715e062af9e3ceb35ec828b27dd07682f8789ea9eaa9fc8d11c39a/certora-cli-alpha-nast-mutation-test-20230726.12.6.653823.tar.gz 2023-07-26T12:35:50,612 Removed certora-cli-alpha-nast-mutation-test==20230726.12.6.653823 from https://files.pythonhosted.org/packages/c1/1b/d8ce66715e062af9e3ceb35ec828b27dd07682f8789ea9eaa9fc8d11c39a/certora-cli-alpha-nast-mutation-test-20230726.12.6.653823.tar.gz from build tracker '/tmp/pip-build-tracker-je_ftp7q' 2023-07-26T12:35:50,618 Created temporary directory: /tmp/pip-unpack-vnco5prp 2023-07-26T12:35:50,619 Building wheels for collected packages: certora-cli-alpha-nast-mutation-test 2023-07-26T12:35:50,623 Created temporary directory: /tmp/pip-wheel-emwrqbff 2023-07-26T12:35:50,623 Building wheel for certora-cli-alpha-nast-mutation-test (setup.py): started 2023-07-26T12:35:50,624 Destination directory: /tmp/pip-wheel-emwrqbff 2023-07-26T12:35:50,624 Running command python setup.py bdist_wheel 2023-07-26T12:35:51,299 running bdist_wheel 2023-07-26T12:35:51,586 running build 2023-07-26T12:35:51,587 running build_py 2023-07-26T12:35:51,616 creating build 2023-07-26T12:35:51,616 creating build/lib 2023-07-26T12:35:51,617 creating build/lib/certora_jars 2023-07-26T12:35:51,618 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-07-26T12:35:51,620 creating build/lib/certora_bins 2023-07-26T12:35:51,621 copying certora_bins/__init__.py -> build/lib/certora_bins 2023-07-26T12:35:51,623 creating build/lib/certora_cli 2023-07-26T12:35:51,624 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-07-26T12:35:51,627 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-07-26T12:35:51,629 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-07-26T12:35:51,631 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2023-07-26T12:35:51,633 creating build/lib/certora_cli/Shared 2023-07-26T12:35:51,634 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-07-26T12:35:51,637 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-07-26T12:35:51,639 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-07-26T12:35:51,641 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-07-26T12:35:51,644 creating build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,645 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,652 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,654 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,656 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,659 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,661 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,663 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,664 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,667 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,669 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,672 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,675 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,678 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,681 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-07-26T12:35:51,683 creating build/lib/certora_cli/EquivalenceCheck 2023-07-26T12:35:51,684 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2023-07-26T12:35:51,687 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2023-07-26T12:35:51,689 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-07-26T12:35:51,689 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-26T12:35:51,692 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-26T12:35:51,694 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-26T12:35:51,696 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-26T12:35:51,698 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-26T12:35:51,700 running egg_info 2023-07-26T12:35:51,760 writing certora_cli_alpha_nast_mutation_test.egg-info/PKG-INFO 2023-07-26T12:35:51,761 writing dependency_links to certora_cli_alpha_nast_mutation_test.egg-info/dependency_links.txt 2023-07-26T12:35:51,763 writing entry points to certora_cli_alpha_nast_mutation_test.egg-info/entry_points.txt 2023-07-26T12:35:51,765 writing requirements to certora_cli_alpha_nast_mutation_test.egg-info/requires.txt 2023-07-26T12:35:51,766 writing top-level names to certora_cli_alpha_nast_mutation_test.egg-info/top_level.txt 2023-07-26T12:35:51,798 reading manifest file 'certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-26T12:35:51,800 reading manifest template 'MANIFEST.in' 2023-07-26T12:35:51,805 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-07-26T12:35:51,850 adding license file 'LICENSE' 2023-07-26T12:35:51,854 writing manifest file 'certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-26T12:35:51,858 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-07-26T12:35:51,860 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-07-26T12:35:52,095 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-07-26T12:35:52,259 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-07-26T12:35:52,460 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2023-07-26T12:35:52,462 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-26T12:35:52,464 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2023-07-26T12:35:52,466 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-26T12:35:52,468 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-26T12:35:52,503 /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-07-26T12:35:52,503 !! 2023-07-26T12:35:52,504 ******************************************************************************** 2023-07-26T12:35:52,504 Please avoid running ``setup.py`` directly. 2023-07-26T12:35:52,504 Instead, use pypa/build, pypa/installer, pypa/build or 2023-07-26T12:35:52,504 other standards-based tools. 2023-07-26T12:35:52,504 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-07-26T12:35:52,504 ******************************************************************************** 2023-07-26T12:35:52,505 !! 2023-07-26T12:35:52,505 self.initialize_options() 2023-07-26T12:35:52,531 installing to build/bdist.linux-armv7l/wheel 2023-07-26T12:35:52,531 running install 2023-07-26T12:35:52,555 running install_lib 2023-07-26T12:35:52,583 creating build/bdist.linux-armv7l 2023-07-26T12:35:52,584 creating build/bdist.linux-armv7l/wheel 2023-07-26T12:35:52,585 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-07-26T12:35:52,586 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-26T12:35:52,800 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-26T12:35:52,955 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-26T12:35:52,957 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-26T12:35:52,959 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-26T12:35:53,184 creating build/bdist.linux-armv7l/wheel/certora_bins 2023-07-26T12:35:53,185 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/certora_bins 2023-07-26T12:35:53,187 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-07-26T12:35:53,188 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-26T12:35:53,191 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-26T12:35:53,193 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-26T12:35:53,194 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-26T12:35:53,196 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-26T12:35:53,197 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-26T12:35:53,200 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-26T12:35:53,202 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-26T12:35:53,204 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-26T12:35:53,207 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,208 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,213 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,216 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,217 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,220 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,222 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,224 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,226 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,229 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,230 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,233 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,237 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-26T12:35:53,237 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-26T12:35:53,241 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-26T12:35:53,242 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-26T12:35:53,244 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-26T12:35:53,246 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-26T12:35:53,248 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,252 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,254 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-26T12:35:53,256 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-26T12:35:53,257 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-26T12:35:53,259 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-26T12:35:53,261 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-26T12:35:53,263 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-26T12:35:53,265 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-26T12:35:53,266 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-26T12:35:53,268 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-26T12:35:53,269 running install_egg_info 2023-07-26T12:35:53,300 Copying certora_cli_alpha_nast_mutation_test.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_nast_mutation_test-20230726.12.6.653823-py3.9.egg-info 2023-07-26T12:35:53,311 running install_scripts 2023-07-26T12:35:53,325 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_nast_mutation_test-20230726.12.6.653823.dist-info/WHEEL 2023-07-26T12:35:53,328 creating '/tmp/pip-wheel-emwrqbff/certora_cli_alpha_nast_mutation_test-20230726.12.6.653823-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-07-26T12:35:53,330 adding 'certora_bins/__init__.py' 2023-07-26T12:35:53,332 adding 'certora_cli/__init__.py' 2023-07-26T12:35:53,333 adding 'certora_cli/certoraEqCheck.py' 2023-07-26T12:35:53,338 adding 'certora_cli/certoraMutate.py' 2023-07-26T12:35:53,340 adding 'certora_cli/certoraRun.py' 2023-07-26T12:35:53,342 adding 'certora_cli/EVMVerifier/__init__.py' 2023-07-26T12:35:53,365 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-07-26T12:35:53,372 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-07-26T12:35:53,374 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-07-26T12:35:53,376 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-07-26T12:35:53,380 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-07-26T12:35:53,384 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-07-26T12:35:53,385 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-07-26T12:35:53,391 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-07-26T12:35:53,392 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-07-26T12:35:53,394 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-07-26T12:35:53,396 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-07-26T12:35:53,398 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-07-26T12:35:53,402 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-07-26T12:35:53,404 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-07-26T12:35:53,406 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-07-26T12:35:53,407 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-07-26T12:35:53,411 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-07-26T12:35:53,413 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-07-26T12:35:53,414 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2023-07-26T12:35:53,416 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2023-07-26T12:35:53,417 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2023-07-26T12:35:53,418 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2023-07-26T12:35:53,419 adding 'certora_cli/EquivalenceCheck/__init__.py' 2023-07-26T12:35:53,422 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2023-07-26T12:35:53,423 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2023-07-26T12:35:53,425 adding 'certora_cli/Shared/__init__.py' 2023-07-26T12:35:53,427 adding 'certora_cli/Shared/certoraLogging.py' 2023-07-26T12:35:53,428 adding 'certora_cli/Shared/certoraTester.py' 2023-07-26T12:35:53,435 adding 'certora_cli/Shared/certoraUtils.py' 2023-07-26T12:35:53,438 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-07-26T12:35:55,234 adding 'certora_jars/MutationTest.jar' 2023-07-26T12:35:56,576 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-07-26T12:35:58,273 adding 'certora_jars/Typechecker.jar' 2023-07-26T12:35:58,361 adding 'certora_jars/__init__.py' 2023-07-26T12:35:58,363 adding 'certora_cli_alpha_nast_mutation_test-20230726.12.6.653823.dist-info/LICENSE' 2023-07-26T12:35:58,364 adding 'certora_cli_alpha_nast_mutation_test-20230726.12.6.653823.dist-info/METADATA' 2023-07-26T12:35:58,364 adding 'certora_cli_alpha_nast_mutation_test-20230726.12.6.653823.dist-info/WHEEL' 2023-07-26T12:35:58,365 adding 'certora_cli_alpha_nast_mutation_test-20230726.12.6.653823.dist-info/entry_points.txt' 2023-07-26T12:35:58,366 adding 'certora_cli_alpha_nast_mutation_test-20230726.12.6.653823.dist-info/top_level.txt' 2023-07-26T12:35:58,367 adding 'certora_cli_alpha_nast_mutation_test-20230726.12.6.653823.dist-info/RECORD' 2023-07-26T12:35:58,754 removing build/bdist.linux-armv7l/wheel 2023-07-26T12:35:58,864 Building wheel for certora-cli-alpha-nast-mutation-test (setup.py): finished with status 'done' 2023-07-26T12:35:59,236 Created wheel for certora-cli-alpha-nast-mutation-test: filename=certora_cli_alpha_nast_mutation_test-20230726.12.6.653823-py3-none-any.whl size=37504303 sha256=e5b5ed319f8bda4c143ebb183d38f7742abd5967ee67173a3b84df286038f700 2023-07-26T12:35:59,237 Stored in directory: /tmp/pip-ephem-wheel-cache-2x15k7i2/wheels/59/35/bd/e2615a82e9c7e958e198319bf1315032a2ace11b613ffb370d 2023-07-26T12:35:59,261 Successfully built certora-cli-alpha-nast-mutation-test 2023-07-26T12:36:00,122 Removed build tracker: '/tmp/pip-build-tracker-je_ftp7q'