2023-06-27T12:35:18,233 Created temporary directory: /tmp/pip-build-tracker-q3gx4osl 2023-06-27T12:35:18,234 Initialized build tracking at /tmp/pip-build-tracker-q3gx4osl 2023-06-27T12:35:18,234 Created build tracker: /tmp/pip-build-tracker-q3gx4osl 2023-06-27T12:35:18,234 Entered build tracker: /tmp/pip-build-tracker-q3gx4osl 2023-06-27T12:35:18,235 Created temporary directory: /tmp/pip-wheel-9ntpgej3 2023-06-27T12:35:18,239 Created temporary directory: /tmp/pip-ephem-wheel-cache-m3wq3a6a 2023-06-27T12:35:18,261 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-06-27T12:35:18,265 2 location(s) to search for versions of certora-cli-alpha-oz-cli-by-os: 2023-06-27T12:35:18,265 * https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-27T12:35:18,265 * https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-27T12:35:18,265 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-27T12:35:18,266 Getting page https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-27T12:35:18,268 Found index url https://pypi.org/simple/ 2023-06-27T12:35:18,316 Fetched page https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ as application/vnd.pypi.simple.v1+json 2023-06-27T12:35:18,319 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/fa/7a/70decd2d60a9bf0c2b9dee747566e2459ac692d14b0354bbcc24b92d7690/certora_cli_alpha_oz_cli_by_os-20230627.9.44.450815-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-06-27T12:35:18,319 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/7a/e9/4a59dc9623d54021296c59a73acffecb7a998738240865a0f203ae653ff1/certora_cli_alpha_oz_cli_by_os-20230627.10.49.768915-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-06-27T12:35:18,319 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/e1/ce/1b7c367e0159f1bd51755d0a343ce0d17471219b78795a504760c83f1b18/certora_cli_alpha_oz_cli_by_os-20230627.11.22.385748-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-06-27T12:35:18,319 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/37/e4/7ca02cb327403fd0baa340ec21f4a391dce475aeb52019298d1fbe706574/certora_cli_alpha_oz_cli_by_os-20230627.11.44.759810-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-06-27T12:35:18,320 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/42/db/14e6572dc43870d09d3dc6e64655f465df28a84b4e6d8f8aaf70673b8d28/certora_cli_alpha_oz_cli_by_os-20230627.11.44.759810-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-06-27T12:35:18,320 Found link https://files.pythonhosted.org/packages/ca/86/c98ab53b027cf7b8454af65a287275e3dc4fc4d9b8be14a10e67a0cfba85/certora-cli-alpha-oz-cli-by-os-20230627.12.3.846810.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8), version: 20230627.12.3.846810 2023-06-27T12:35:18,321 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/3c/87/8baf22cd94d96fae6f619051c5e88a02412599bdfe8da0d0ebb5d802f7ac/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-06-27T12:35:18,321 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/fc/42/a225eae9e07251487b785f9afbb833030697f64165c5473240104f0ac296/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3-none-macosx_11_0_arm64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-06-27T12:35:18,321 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/fd/fd/26c11af41625e73414de4d2f4f959d742cad9566f525e3d052102846ac4f/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-06-27T12:35:18,321 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-27T12:35:18,322 Getting page https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-27T12:35:18,323 Found index url https://www.piwheels.org/simple/ 2023-06-27T12:35:19,596 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ as text/html 2023-06-27T12:35:19,598 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-27T12:35:19,598 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-27T12:35:19,632 Given no hashes to check 1 links for project 'certora-cli-alpha-oz-cli-by-os': discarding no candidates 2023-06-27T12:35:19,663 Collecting certora-cli-alpha-oz-cli-by-os==20230627.12.3.846810 2023-06-27T12:35:19,666 Created temporary directory: /tmp/pip-unpack-idneqi4u 2023-06-27T12:35:20,086 Downloading certora-cli-alpha-oz-cli-by-os-20230627.12.3.846810.tar.gz (37.1 MB) 2023-06-27T12:35:27,895 Added certora-cli-alpha-oz-cli-by-os==20230627.12.3.846810 from https://files.pythonhosted.org/packages/ca/86/c98ab53b027cf7b8454af65a287275e3dc4fc4d9b8be14a10e67a0cfba85/certora-cli-alpha-oz-cli-by-os-20230627.12.3.846810.tar.gz to build tracker '/tmp/pip-build-tracker-q3gx4osl' 2023-06-27T12:35:27,897 Running setup.py (path:/tmp/pip-wheel-9ntpgej3/certora-cli-alpha-oz-cli-by-os_20b47f61eb7e44f8befb8d86a7ca601e/setup.py) egg_info for package certora-cli-alpha-oz-cli-by-os 2023-06-27T12:35:27,898 Created temporary directory: /tmp/pip-pip-egg-info-wz9aa3ko 2023-06-27T12:35:27,898 Preparing metadata (setup.py): started 2023-06-27T12:35:27,899 Running command python setup.py egg_info 2023-06-27T12:35:28,532 running egg_info 2023-06-27T12:35:28,534 creating /tmp/pip-pip-egg-info-wz9aa3ko/certora_cli_alpha_oz_cli_by_os.egg-info 2023-06-27T12:35:28,564 writing /tmp/pip-pip-egg-info-wz9aa3ko/certora_cli_alpha_oz_cli_by_os.egg-info/PKG-INFO 2023-06-27T12:35:28,567 writing dependency_links to /tmp/pip-pip-egg-info-wz9aa3ko/certora_cli_alpha_oz_cli_by_os.egg-info/dependency_links.txt 2023-06-27T12:35:28,569 writing entry points to /tmp/pip-pip-egg-info-wz9aa3ko/certora_cli_alpha_oz_cli_by_os.egg-info/entry_points.txt 2023-06-27T12:35:28,571 writing requirements to /tmp/pip-pip-egg-info-wz9aa3ko/certora_cli_alpha_oz_cli_by_os.egg-info/requires.txt 2023-06-27T12:35:28,572 writing top-level names to /tmp/pip-pip-egg-info-wz9aa3ko/certora_cli_alpha_oz_cli_by_os.egg-info/top_level.txt 2023-06-27T12:35:28,574 writing manifest file '/tmp/pip-pip-egg-info-wz9aa3ko/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-06-27T12:35:28,680 reading manifest file '/tmp/pip-pip-egg-info-wz9aa3ko/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-06-27T12:35:28,682 reading manifest template 'MANIFEST.in' 2023-06-27T12:35:28,687 warning: no files found matching 'EquivalenceCheck/equivCheck.py' 2023-06-27T12:35:28,688 warning: no files found matching 'EquivalenceCheck/Eq_sanity.conf' 2023-06-27T12:35:28,688 warning: no files found matching 'EquivalenceCheck/Eq_default.confEquivalenceCheck/Eq_template.specEquivalenceCheck/Eq_mc_template.spec' 2023-06-27T12:35:28,688 warning: no files found matching 'CERTORA-CLI-VERSION-METADATA.json' 2023-06-27T12:35:28,688 adding license file 'LICENSE' 2023-06-27T12:35:28,692 writing manifest file '/tmp/pip-pip-egg-info-wz9aa3ko/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-06-27T12:35:28,751 Preparing metadata (setup.py): finished with status 'done' 2023-06-27T12:35:28,757 Source in /tmp/pip-wheel-9ntpgej3/certora-cli-alpha-oz-cli-by-os_20b47f61eb7e44f8befb8d86a7ca601e has version 20230627.12.3.846810, which satisfies requirement certora-cli-alpha-oz-cli-by-os==20230627.12.3.846810 from https://files.pythonhosted.org/packages/ca/86/c98ab53b027cf7b8454af65a287275e3dc4fc4d9b8be14a10e67a0cfba85/certora-cli-alpha-oz-cli-by-os-20230627.12.3.846810.tar.gz 2023-06-27T12:35:28,759 Removed certora-cli-alpha-oz-cli-by-os==20230627.12.3.846810 from https://files.pythonhosted.org/packages/ca/86/c98ab53b027cf7b8454af65a287275e3dc4fc4d9b8be14a10e67a0cfba85/certora-cli-alpha-oz-cli-by-os-20230627.12.3.846810.tar.gz from build tracker '/tmp/pip-build-tracker-q3gx4osl' 2023-06-27T12:35:28,766 Created temporary directory: /tmp/pip-unpack-5rwo31hg 2023-06-27T12:35:28,766 Building wheels for collected packages: certora-cli-alpha-oz-cli-by-os 2023-06-27T12:35:28,771 Created temporary directory: /tmp/pip-wheel-9cj7ssmr 2023-06-27T12:35:28,772 Building wheel for certora-cli-alpha-oz-cli-by-os (setup.py): started 2023-06-27T12:35:28,773 Destination directory: /tmp/pip-wheel-9cj7ssmr 2023-06-27T12:35:28,773 Running command python setup.py bdist_wheel 2023-06-27T12:35:29,412 running bdist_wheel 2023-06-27T12:35:29,693 running build 2023-06-27T12:35:29,693 running build_py 2023-06-27T12:35:29,721 creating build 2023-06-27T12:35:29,722 creating build/lib 2023-06-27T12:35:29,723 creating build/lib/certora_jars 2023-06-27T12:35:29,724 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-06-27T12:35:29,726 creating build/lib/certora_bins 2023-06-27T12:35:29,727 copying certora_bins/__init__.py -> build/lib/certora_bins 2023-06-27T12:35:29,729 creating build/lib/certora_cli 2023-06-27T12:35:29,730 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-06-27T12:35:29,732 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-06-27T12:35:29,734 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-06-27T12:35:29,735 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2023-06-27T12:35:29,737 creating build/lib/certora_cli/Shared 2023-06-27T12:35:29,738 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-06-27T12:35:29,741 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-06-27T12:35:29,742 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-06-27T12:35:29,744 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-06-27T12:35:29,747 creating build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,748 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,753 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,755 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,757 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,760 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,761 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,763 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,765 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,767 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,769 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,772 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,774 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,777 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,779 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-06-27T12:35:29,782 creating build/lib/certora_cli/EquivalenceCheck 2023-06-27T12:35:29,783 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2023-06-27T12:35:29,785 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2023-06-27T12:35:29,787 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-06-27T12:35:29,788 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-06-27T12:35:29,791 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-06-27T12:35:29,793 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-06-27T12:35:29,794 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-06-27T12:35:29,796 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-06-27T12:35:29,798 running egg_info 2023-06-27T12:35:29,858 writing certora_cli_alpha_oz_cli_by_os.egg-info/PKG-INFO 2023-06-27T12:35:29,860 writing dependency_links to certora_cli_alpha_oz_cli_by_os.egg-info/dependency_links.txt 2023-06-27T12:35:29,862 writing entry points to certora_cli_alpha_oz_cli_by_os.egg-info/entry_points.txt 2023-06-27T12:35:29,863 writing requirements to certora_cli_alpha_oz_cli_by_os.egg-info/requires.txt 2023-06-27T12:35:29,864 writing top-level names to certora_cli_alpha_oz_cli_by_os.egg-info/top_level.txt 2023-06-27T12:35:29,895 reading manifest file 'certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-06-27T12:35:29,897 reading manifest template 'MANIFEST.in' 2023-06-27T12:35:29,901 warning: no files found matching 'EquivalenceCheck/equivCheck.py' 2023-06-27T12:35:29,901 warning: no files found matching 'EquivalenceCheck/Eq_sanity.conf' 2023-06-27T12:35:29,901 warning: no files found matching 'EquivalenceCheck/Eq_default.confEquivalenceCheck/Eq_template.specEquivalenceCheck/Eq_mc_template.spec' 2023-06-27T12:35:29,902 warning: no files found matching 'CERTORA-CLI-VERSION-METADATA.json' 2023-06-27T12:35:29,902 adding license file 'LICENSE' 2023-06-27T12:35:29,906 writing manifest file 'certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-06-27T12:35:29,909 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-06-27T12:35:30,125 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-06-27T12:35:30,284 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-06-27T12:35:30,511 /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-06-27T12:35:30,511 !! 2023-06-27T12:35:30,511 ******************************************************************************** 2023-06-27T12:35:30,511 Please avoid running ``setup.py`` directly. 2023-06-27T12:35:30,512 Instead, use pypa/build, pypa/installer, pypa/build or 2023-06-27T12:35:30,512 other standards-based tools. 2023-06-27T12:35:30,512 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-06-27T12:35:30,512 ******************************************************************************** 2023-06-27T12:35:30,512 !! 2023-06-27T12:35:30,513 self.initialize_options() 2023-06-27T12:35:30,537 installing to build/bdist.linux-armv7l/wheel 2023-06-27T12:35:30,538 running install 2023-06-27T12:35:30,563 running install_lib 2023-06-27T12:35:30,590 creating build/bdist.linux-armv7l 2023-06-27T12:35:30,590 creating build/bdist.linux-armv7l/wheel 2023-06-27T12:35:30,592 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-06-27T12:35:30,593 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-06-27T12:35:30,788 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-06-27T12:35:30,942 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-06-27T12:35:30,944 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-06-27T12:35:31,327 creating build/bdist.linux-armv7l/wheel/certora_bins 2023-06-27T12:35:31,328 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/certora_bins 2023-06-27T12:35:31,330 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-06-27T12:35:31,332 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-06-27T12:35:31,334 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-06-27T12:35:31,336 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-06-27T12:35:31,338 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-06-27T12:35:31,340 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-06-27T12:35:31,341 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-06-27T12:35:31,344 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-06-27T12:35:31,346 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-06-27T12:35:31,349 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-06-27T12:35:31,352 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,353 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,358 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,361 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,363 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,366 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,368 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,371 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,373 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,376 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,378 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,381 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,385 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-06-27T12:35:31,386 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-06-27T12:35:31,389 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-06-27T12:35:31,391 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-06-27T12:35:31,393 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-06-27T12:35:31,396 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-06-27T12:35:31,398 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,401 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,403 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-27T12:35:31,406 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-06-27T12:35:31,406 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-06-27T12:35:31,409 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-06-27T12:35:31,410 running install_egg_info 2023-06-27T12:35:31,440 Copying certora_cli_alpha_oz_cli_by_os.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3.9.egg-info 2023-06-27T12:35:31,451 running install_scripts 2023-06-27T12:35:31,466 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810.dist-info/WHEEL 2023-06-27T12:35:31,468 creating '/tmp/pip-wheel-9cj7ssmr/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-06-27T12:35:31,470 adding 'certora_bins/__init__.py' 2023-06-27T12:35:31,472 adding 'certora_cli/__init__.py' 2023-06-27T12:35:31,473 adding 'certora_cli/certoraEqCheck.py' 2023-06-27T12:35:31,474 adding 'certora_cli/certoraMutate.py' 2023-06-27T12:35:31,476 adding 'certora_cli/certoraRun.py' 2023-06-27T12:35:31,478 adding 'certora_cli/EVMVerifier/__init__.py' 2023-06-27T12:35:31,501 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-06-27T12:35:31,508 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-06-27T12:35:31,510 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-06-27T12:35:31,512 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-06-27T12:35:31,517 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-06-27T12:35:31,520 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-06-27T12:35:31,522 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-06-27T12:35:31,527 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-06-27T12:35:31,528 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-06-27T12:35:31,530 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-06-27T12:35:31,532 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-06-27T12:35:31,534 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-06-27T12:35:31,538 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-06-27T12:35:31,540 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-06-27T12:35:31,542 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-06-27T12:35:31,544 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-06-27T12:35:31,551 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-06-27T12:35:31,553 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-06-27T12:35:31,555 adding 'certora_cli/EquivalenceCheck/__init__.py' 2023-06-27T12:35:31,559 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2023-06-27T12:35:31,561 adding 'certora_cli/Shared/__init__.py' 2023-06-27T12:35:31,564 adding 'certora_cli/Shared/certoraLogging.py' 2023-06-27T12:35:31,567 adding 'certora_cli/Shared/certoraTester.py' 2023-06-27T12:35:31,578 adding 'certora_cli/Shared/certoraUtils.py' 2023-06-27T12:35:33,360 adding 'certora_jars/MutationTest.jar' 2023-06-27T12:35:34,689 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-06-27T12:35:36,513 adding 'certora_jars/Typechecker.jar' 2023-06-27T12:35:36,600 adding 'certora_jars/__init__.py' 2023-06-27T12:35:36,601 adding 'certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810.dist-info/LICENSE' 2023-06-27T12:35:36,603 adding 'certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810.dist-info/METADATA' 2023-06-27T12:35:36,604 adding 'certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810.dist-info/WHEEL' 2023-06-27T12:35:36,605 adding 'certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810.dist-info/entry_points.txt' 2023-06-27T12:35:36,605 adding 'certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810.dist-info/top_level.txt' 2023-06-27T12:35:36,607 adding 'certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810.dist-info/RECORD' 2023-06-27T12:35:36,977 removing build/bdist.linux-armv7l/wheel 2023-06-27T12:35:37,086 Building wheel for certora-cli-alpha-oz-cli-by-os (setup.py): finished with status 'done' 2023-06-27T12:35:37,452 Created wheel for certora-cli-alpha-oz-cli-by-os: filename=certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3-none-any.whl size=37113625 sha256=06a613c9e2ad2d4c35ff0b45671b9208a3fc052b207223c8ce7cc4ca41fcbaa0 2023-06-27T12:35:37,453 Stored in directory: /tmp/pip-ephem-wheel-cache-m3wq3a6a/wheels/6b/3e/00/431d8690ac12835aee0100bb296f081c0592d74639047ca2e0 2023-06-27T12:35:37,476 Successfully built certora-cli-alpha-oz-cli-by-os 2023-06-27T12:35:38,330 Removed build tracker: '/tmp/pip-build-tracker-q3gx4osl'