2023-07-19T16:25:02,822 Created temporary directory: /tmp/pip-build-tracker-owlldapl 2023-07-19T16:25:02,823 Initialized build tracking at /tmp/pip-build-tracker-owlldapl 2023-07-19T16:25:02,823 Created build tracker: /tmp/pip-build-tracker-owlldapl 2023-07-19T16:25:02,823 Entered build tracker: /tmp/pip-build-tracker-owlldapl 2023-07-19T16:25:02,824 Created temporary directory: /tmp/pip-wheel-jucltz2x 2023-07-19T16:25:02,828 Created temporary directory: /tmp/pip-ephem-wheel-cache-1v1537la 2023-07-19T16:25:02,852 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-07-19T16:25:02,856 2 location(s) to search for versions of certora-cli-alpha-nast-mutation-test: 2023-07-19T16:25:02,856 * https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-19T16:25:02,856 * https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-19T16:25:02,856 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-19T16:25:02,856 Getting page https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-19T16:25:02,858 Found index url https://pypi.org/simple/ 2023-07-19T16:25:02,912 Fetched page https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ as application/vnd.pypi.simple.v1+json 2023-07-19T16:25:02,914 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-19T16:25:02,915 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-19T16:25:02,915 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-19T16:25:02,915 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-19T16:25:02,915 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-19T16:25:02,916 Getting page https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-19T16:25:02,917 Found index url https://www.piwheels.org/simple/ 2023-07-19T16:25:03,069 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ as text/html 2023-07-19T16:25:03,070 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-19T16:25:03,070 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ 2023-07-19T16:25:03,087 Given no hashes to check 1 links for project 'certora-cli-alpha-nast-mutation-test': discarding no candidates 2023-07-19T16:25:03,104 Collecting certora-cli-alpha-nast-mutation-test==20230719.15.53.919804 2023-07-19T16:25:03,106 Created temporary directory: /tmp/pip-unpack-837sn05h 2023-07-19T16:25:03,265 Downloading certora-cli-alpha-nast-mutation-test-20230719.15.53.919804.tar.gz (37.5 MB) 2023-07-19T16:25:11,913 Added certora-cli-alpha-nast-mutation-test==20230719.15.53.919804 from https://files.pythonhosted.org/packages/17/d5/3d6c46f4f9a33de2eccf5260cdb7e3b5c348efadf944c9b3dcbb4f1f7a34/certora-cli-alpha-nast-mutation-test-20230719.15.53.919804.tar.gz to build tracker '/tmp/pip-build-tracker-owlldapl' 2023-07-19T16:25:11,915 Running setup.py (path:/tmp/pip-wheel-jucltz2x/certora-cli-alpha-nast-mutation-test_eb302e56ca0e44608220ee8d177e5b36/setup.py) egg_info for package certora-cli-alpha-nast-mutation-test 2023-07-19T16:25:11,916 Created temporary directory: /tmp/pip-pip-egg-info-cszi_6by 2023-07-19T16:25:11,916 Preparing metadata (setup.py): started 2023-07-19T16:25:11,917 Running command python setup.py egg_info 2023-07-19T16:25:12,526 running egg_info 2023-07-19T16:25:12,527 creating /tmp/pip-pip-egg-info-cszi_6by/certora_cli_alpha_nast_mutation_test.egg-info 2023-07-19T16:25:12,554 writing /tmp/pip-pip-egg-info-cszi_6by/certora_cli_alpha_nast_mutation_test.egg-info/PKG-INFO 2023-07-19T16:25:12,556 writing dependency_links to /tmp/pip-pip-egg-info-cszi_6by/certora_cli_alpha_nast_mutation_test.egg-info/dependency_links.txt 2023-07-19T16:25:12,558 writing entry points to /tmp/pip-pip-egg-info-cszi_6by/certora_cli_alpha_nast_mutation_test.egg-info/entry_points.txt 2023-07-19T16:25:12,559 writing requirements to /tmp/pip-pip-egg-info-cszi_6by/certora_cli_alpha_nast_mutation_test.egg-info/requires.txt 2023-07-19T16:25:12,560 writing top-level names to /tmp/pip-pip-egg-info-cszi_6by/certora_cli_alpha_nast_mutation_test.egg-info/top_level.txt 2023-07-19T16:25:12,562 writing manifest file '/tmp/pip-pip-egg-info-cszi_6by/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-19T16:25:12,644 reading manifest file '/tmp/pip-pip-egg-info-cszi_6by/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-19T16:25:12,646 reading manifest template 'MANIFEST.in' 2023-07-19T16:25:12,651 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-07-19T16:25:12,693 adding license file 'LICENSE' 2023-07-19T16:25:12,697 writing manifest file '/tmp/pip-pip-egg-info-cszi_6by/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-19T16:25:12,756 Preparing metadata (setup.py): finished with status 'done' 2023-07-19T16:25:12,761 Source in /tmp/pip-wheel-jucltz2x/certora-cli-alpha-nast-mutation-test_eb302e56ca0e44608220ee8d177e5b36 has version 20230719.15.53.919804, which satisfies requirement certora-cli-alpha-nast-mutation-test==20230719.15.53.919804 from https://files.pythonhosted.org/packages/17/d5/3d6c46f4f9a33de2eccf5260cdb7e3b5c348efadf944c9b3dcbb4f1f7a34/certora-cli-alpha-nast-mutation-test-20230719.15.53.919804.tar.gz 2023-07-19T16:25:12,762 Removed certora-cli-alpha-nast-mutation-test==20230719.15.53.919804 from https://files.pythonhosted.org/packages/17/d5/3d6c46f4f9a33de2eccf5260cdb7e3b5c348efadf944c9b3dcbb4f1f7a34/certora-cli-alpha-nast-mutation-test-20230719.15.53.919804.tar.gz from build tracker '/tmp/pip-build-tracker-owlldapl' 2023-07-19T16:25:12,769 Created temporary directory: /tmp/pip-unpack-0relp1fd 2023-07-19T16:25:12,769 Building wheels for collected packages: certora-cli-alpha-nast-mutation-test 2023-07-19T16:25:12,773 Created temporary directory: /tmp/pip-wheel-ua3w_qy9 2023-07-19T16:25:12,773 Building wheel for certora-cli-alpha-nast-mutation-test (setup.py): started 2023-07-19T16:25:12,774 Destination directory: /tmp/pip-wheel-ua3w_qy9 2023-07-19T16:25:12,774 Running command python setup.py bdist_wheel 2023-07-19T16:25:13,452 running bdist_wheel 2023-07-19T16:25:13,747 running build 2023-07-19T16:25:13,748 running build_py 2023-07-19T16:25:13,777 creating build 2023-07-19T16:25:13,778 creating build/lib 2023-07-19T16:25:13,778 creating build/lib/certora_jars 2023-07-19T16:25:13,780 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-07-19T16:25:13,781 creating build/lib/certora_bins 2023-07-19T16:25:13,782 copying certora_bins/__init__.py -> build/lib/certora_bins 2023-07-19T16:25:13,784 creating build/lib/certora_cli 2023-07-19T16:25:13,785 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-07-19T16:25:13,787 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-07-19T16:25:13,790 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-07-19T16:25:13,791 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2023-07-19T16:25:13,793 creating build/lib/certora_cli/Shared 2023-07-19T16:25:13,794 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-07-19T16:25:13,797 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-07-19T16:25:13,798 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-07-19T16:25:13,801 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-07-19T16:25:13,804 creating build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,805 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,810 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,812 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,814 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,817 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,818 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,820 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,822 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,824 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,826 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,829 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,832 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,835 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,837 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-07-19T16:25:13,840 creating build/lib/certora_cli/EquivalenceCheck 2023-07-19T16:25:13,840 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2023-07-19T16:25:13,843 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2023-07-19T16:25:13,845 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-07-19T16:25:13,846 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-19T16:25:13,849 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-19T16:25:13,850 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-19T16:25:13,853 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-19T16:25:13,855 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-19T16:25:13,856 running egg_info 2023-07-19T16:25:13,917 writing certora_cli_alpha_nast_mutation_test.egg-info/PKG-INFO 2023-07-19T16:25:13,919 writing dependency_links to certora_cli_alpha_nast_mutation_test.egg-info/dependency_links.txt 2023-07-19T16:25:13,921 writing entry points to certora_cli_alpha_nast_mutation_test.egg-info/entry_points.txt 2023-07-19T16:25:13,923 writing requirements to certora_cli_alpha_nast_mutation_test.egg-info/requires.txt 2023-07-19T16:25:13,924 writing top-level names to certora_cli_alpha_nast_mutation_test.egg-info/top_level.txt 2023-07-19T16:25:13,958 reading manifest file 'certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-19T16:25:13,961 reading manifest template 'MANIFEST.in' 2023-07-19T16:25:13,966 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-07-19T16:25:14,031 adding license file 'LICENSE' 2023-07-19T16:25:14,035 writing manifest file 'certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt' 2023-07-19T16:25:14,039 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-07-19T16:25:14,042 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-07-19T16:25:14,308 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-07-19T16:25:14,521 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-07-19T16:25:15,228 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2023-07-19T16:25:15,230 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-19T16:25:15,233 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2023-07-19T16:25:15,235 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-19T16:25:15,237 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-19T16:25:15,273 /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-07-19T16:25:15,273 !! 2023-07-19T16:25:15,273 ******************************************************************************** 2023-07-19T16:25:15,274 Please avoid running ``setup.py`` directly. 2023-07-19T16:25:15,274 Instead, use pypa/build, pypa/installer, pypa/build or 2023-07-19T16:25:15,274 other standards-based tools. 2023-07-19T16:25:15,274 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-07-19T16:25:15,274 ******************************************************************************** 2023-07-19T16:25:15,275 !! 2023-07-19T16:25:15,275 self.initialize_options() 2023-07-19T16:25:15,303 installing to build/bdist.linux-armv7l/wheel 2023-07-19T16:25:15,304 running install 2023-07-19T16:25:15,336 running install_lib 2023-07-19T16:25:15,388 creating build/bdist.linux-armv7l 2023-07-19T16:25:15,388 creating build/bdist.linux-armv7l/wheel 2023-07-19T16:25:15,391 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-07-19T16:25:15,392 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-19T16:25:16,329 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-19T16:25:16,507 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-19T16:25:16,508 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-19T16:25:16,510 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-19T16:25:16,750 creating build/bdist.linux-armv7l/wheel/certora_bins 2023-07-19T16:25:16,751 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/certora_bins 2023-07-19T16:25:16,754 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-07-19T16:25:16,755 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-19T16:25:16,758 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-19T16:25:16,760 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-19T16:25:16,762 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-19T16:25:16,764 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-19T16:25:16,766 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-19T16:25:16,769 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-19T16:25:16,771 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-19T16:25:16,773 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-19T16:25:16,776 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,777 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,782 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,785 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,787 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,789 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,791 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,793 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,795 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,797 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,799 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,802 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,805 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-19T16:25:16,806 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-19T16:25:16,809 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-19T16:25:16,811 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-19T16:25:16,813 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-19T16:25:16,815 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-19T16:25:16,817 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,820 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,822 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-19T16:25:16,825 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-19T16:25:16,826 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-19T16:25:16,828 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-19T16:25:16,829 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-19T16:25:16,832 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-19T16:25:16,833 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-19T16:25:16,835 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-19T16:25:16,836 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-19T16:25:16,838 running install_egg_info 2023-07-19T16:25:16,869 Copying certora_cli_alpha_nast_mutation_test.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3.9.egg-info 2023-07-19T16:25:16,879 running install_scripts 2023-07-19T16:25:16,894 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804.dist-info/WHEEL 2023-07-19T16:25:16,896 creating '/tmp/pip-wheel-ua3w_qy9/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-07-19T16:25:16,898 adding 'certora_bins/__init__.py' 2023-07-19T16:25:16,900 adding 'certora_cli/__init__.py' 2023-07-19T16:25:16,901 adding 'certora_cli/certoraEqCheck.py' 2023-07-19T16:25:16,906 adding 'certora_cli/certoraMutate.py' 2023-07-19T16:25:16,908 adding 'certora_cli/certoraRun.py' 2023-07-19T16:25:16,910 adding 'certora_cli/EVMVerifier/__init__.py' 2023-07-19T16:25:16,933 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-07-19T16:25:16,940 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-07-19T16:25:16,942 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-07-19T16:25:16,944 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-07-19T16:25:16,948 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-07-19T16:25:16,952 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-07-19T16:25:16,953 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-07-19T16:25:16,959 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-07-19T16:25:16,960 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-07-19T16:25:16,962 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-07-19T16:25:16,964 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-07-19T16:25:16,967 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-07-19T16:25:16,970 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-07-19T16:25:16,972 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-07-19T16:25:16,974 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-07-19T16:25:16,975 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-07-19T16:25:16,980 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-07-19T16:25:16,981 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-07-19T16:25:16,983 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2023-07-19T16:25:16,984 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2023-07-19T16:25:16,985 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2023-07-19T16:25:16,987 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2023-07-19T16:25:16,988 adding 'certora_cli/EquivalenceCheck/__init__.py' 2023-07-19T16:25:16,990 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2023-07-19T16:25:16,991 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2023-07-19T16:25:16,993 adding 'certora_cli/Shared/__init__.py' 2023-07-19T16:25:16,995 adding 'certora_cli/Shared/certoraLogging.py' 2023-07-19T16:25:16,997 adding 'certora_cli/Shared/certoraTester.py' 2023-07-19T16:25:17,004 adding 'certora_cli/Shared/certoraUtils.py' 2023-07-19T16:25:17,007 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-07-19T16:25:18,798 adding 'certora_jars/MutationTest.jar' 2023-07-19T16:25:20,145 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-07-19T16:25:21,844 adding 'certora_jars/Typechecker.jar' 2023-07-19T16:25:21,933 adding 'certora_jars/__init__.py' 2023-07-19T16:25:21,934 adding 'certora_cli_alpha_nast_mutation_test-20230719.15.53.919804.dist-info/LICENSE' 2023-07-19T16:25:21,935 adding 'certora_cli_alpha_nast_mutation_test-20230719.15.53.919804.dist-info/METADATA' 2023-07-19T16:25:21,936 adding 'certora_cli_alpha_nast_mutation_test-20230719.15.53.919804.dist-info/WHEEL' 2023-07-19T16:25:21,937 adding 'certora_cli_alpha_nast_mutation_test-20230719.15.53.919804.dist-info/entry_points.txt' 2023-07-19T16:25:21,938 adding 'certora_cli_alpha_nast_mutation_test-20230719.15.53.919804.dist-info/top_level.txt' 2023-07-19T16:25:21,939 adding 'certora_cli_alpha_nast_mutation_test-20230719.15.53.919804.dist-info/RECORD' 2023-07-19T16:25:22,802 removing build/bdist.linux-armv7l/wheel 2023-07-19T16:25:22,950 Building wheel for certora-cli-alpha-nast-mutation-test (setup.py): finished with status 'done' 2023-07-19T16:25:23,319 Created wheel for certora-cli-alpha-nast-mutation-test: filename=certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3-none-any.whl size=37504208 sha256=13c33b992f79f8ecb3a879c16a91982e13e4cbb3b700a61a1cf5189f75f8bdb6 2023-07-19T16:25:23,320 Stored in directory: /tmp/pip-ephem-wheel-cache-1v1537la/wheels/d3/bc/cb/04973cc5c578d256449c754a195fd27dd7829c573664e3ad04 2023-07-19T16:25:23,343 Successfully built certora-cli-alpha-nast-mutation-test 2023-07-19T16:25:24,213 Removed build tracker: '/tmp/pip-build-tracker-owlldapl'