2023-06-28T20:39:27,155 Created temporary directory: /tmp/pip-build-tracker-y4rjmp_2 2023-06-28T20:39:27,156 Initialized build tracking at /tmp/pip-build-tracker-y4rjmp_2 2023-06-28T20:39:27,156 Created build tracker: /tmp/pip-build-tracker-y4rjmp_2 2023-06-28T20:39:27,156 Entered build tracker: /tmp/pip-build-tracker-y4rjmp_2 2023-06-28T20:39:27,157 Created temporary directory: /tmp/pip-wheel-w5phwiqg 2023-06-28T20:39:27,160 Created temporary directory: /tmp/pip-ephem-wheel-cache-i7eybxab 2023-06-28T20:39:27,184 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-06-28T20:39:27,187 2 location(s) to search for versions of certora-cli-alpha-oz-cli-by-os: 2023-06-28T20:39:27,187 * https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-28T20:39:27,187 * https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-28T20:39:27,188 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-28T20:39:27,188 Getting page https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-28T20:39:27,190 Found index url https://pypi.org/simple/ 2023-06-28T20:39:27,241 Fetched page https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ as application/vnd.pypi.simple.v1+json 2023-06-28T20:39:27,244 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-28T20:39:27,245 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-28T20:39:27,245 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-28T20:39:27,245 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-28T20:39:27,245 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-28T20:39:27,246 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-28T20:39:27,246 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-28T20:39:27,247 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-28T20:39:27,247 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-28T20:39:27,247 Found link https://files.pythonhosted.org/packages/5e/05/c12f726b8c2f75402512b79c4e053ee87a086d591b765b6e69edcfd121da/certora-cli-alpha-oz-cli-by-os-20230628.20.10.750292.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8), version: 20230628.20.10.750292 2023-06-28T20:39:27,248 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/d7/f9/4c3e018b7ea53c6afae1d24de9d750f42e70d191a642e99808fe413d3b3c/certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-06-28T20:39:27,248 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/20/14/4a193a69531f49b034887bdba8e78aef6df78917761a3cb76844791ae3bb/certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292-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-28T20:39:27,248 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/fd/61/79c061544cbd897c6eaf4862da6c24e79913fdb605d4c5d6af0d73aa3d0a/certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292-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-28T20:39:27,249 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-28T20:39:27,249 Getting page https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-28T20:39:27,250 Found index url https://www.piwheels.org/simple/ 2023-06-28T20:39:27,415 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ as text/html 2023-06-28T20:39:27,417 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3-none-any.whl#sha256=06a613c9e2ad2d4c35ff0b45671b9208a3fc052b207223c8ce7cc4ca41fcbaa0 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-06-28T20:39:27,417 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-28T20:39:27,417 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-06-28T20:39:27,435 Given no hashes to check 1 links for project 'certora-cli-alpha-oz-cli-by-os': discarding no candidates 2023-06-28T20:39:27,452 Collecting certora-cli-alpha-oz-cli-by-os==20230628.20.10.750292 2023-06-28T20:39:27,454 Created temporary directory: /tmp/pip-unpack-ohs4b46t 2023-06-28T20:39:27,601 Downloading certora-cli-alpha-oz-cli-by-os-20230628.20.10.750292.tar.gz (37.1 MB) 2023-06-28T20:39:36,078 Added certora-cli-alpha-oz-cli-by-os==20230628.20.10.750292 from https://files.pythonhosted.org/packages/5e/05/c12f726b8c2f75402512b79c4e053ee87a086d591b765b6e69edcfd121da/certora-cli-alpha-oz-cli-by-os-20230628.20.10.750292.tar.gz to build tracker '/tmp/pip-build-tracker-y4rjmp_2' 2023-06-28T20:39:36,080 Running setup.py (path:/tmp/pip-wheel-w5phwiqg/certora-cli-alpha-oz-cli-by-os_a7df364cb3fc41ab8307a7647a7c0d08/setup.py) egg_info for package certora-cli-alpha-oz-cli-by-os 2023-06-28T20:39:36,080 Created temporary directory: /tmp/pip-pip-egg-info-aqd_au_z 2023-06-28T20:39:36,081 Preparing metadata (setup.py): started 2023-06-28T20:39:36,082 Running command python setup.py egg_info 2023-06-28T20:39:36,703 running egg_info 2023-06-28T20:39:36,704 creating /tmp/pip-pip-egg-info-aqd_au_z/certora_cli_alpha_oz_cli_by_os.egg-info 2023-06-28T20:39:36,733 writing /tmp/pip-pip-egg-info-aqd_au_z/certora_cli_alpha_oz_cli_by_os.egg-info/PKG-INFO 2023-06-28T20:39:36,735 writing dependency_links to /tmp/pip-pip-egg-info-aqd_au_z/certora_cli_alpha_oz_cli_by_os.egg-info/dependency_links.txt 2023-06-28T20:39:36,737 writing entry points to /tmp/pip-pip-egg-info-aqd_au_z/certora_cli_alpha_oz_cli_by_os.egg-info/entry_points.txt 2023-06-28T20:39:36,739 writing requirements to /tmp/pip-pip-egg-info-aqd_au_z/certora_cli_alpha_oz_cli_by_os.egg-info/requires.txt 2023-06-28T20:39:36,740 writing top-level names to /tmp/pip-pip-egg-info-aqd_au_z/certora_cli_alpha_oz_cli_by_os.egg-info/top_level.txt 2023-06-28T20:39:36,742 writing manifest file '/tmp/pip-pip-egg-info-aqd_au_z/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-06-28T20:39:36,828 reading manifest file '/tmp/pip-pip-egg-info-aqd_au_z/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-06-28T20:39:36,830 reading manifest template 'MANIFEST.in' 2023-06-28T20:39:36,834 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-06-28T20:39:36,834 warning: no files found matching 'EquivalenceCheck/equivCheck.py' 2023-06-28T20:39:36,834 warning: no files found matching 'EquivalenceCheck/Eq_sanity.conf' 2023-06-28T20:39:36,834 warning: no files found matching 'EquivalenceCheck/Eq_default.confEquivalenceCheck/Eq_template.specEquivalenceCheck/Eq_mc_template.spec' 2023-06-28T20:39:36,835 warning: no files found matching 'CERTORA-CLI-VERSION-METADATA.json' 2023-06-28T20:39:36,835 adding license file 'LICENSE' 2023-06-28T20:39:36,838 writing manifest file '/tmp/pip-pip-egg-info-aqd_au_z/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-06-28T20:39:36,900 Preparing metadata (setup.py): finished with status 'done' 2023-06-28T20:39:36,905 Source in /tmp/pip-wheel-w5phwiqg/certora-cli-alpha-oz-cli-by-os_a7df364cb3fc41ab8307a7647a7c0d08 has version 20230628.20.10.750292, which satisfies requirement certora-cli-alpha-oz-cli-by-os==20230628.20.10.750292 from https://files.pythonhosted.org/packages/5e/05/c12f726b8c2f75402512b79c4e053ee87a086d591b765b6e69edcfd121da/certora-cli-alpha-oz-cli-by-os-20230628.20.10.750292.tar.gz 2023-06-28T20:39:36,906 Removed certora-cli-alpha-oz-cli-by-os==20230628.20.10.750292 from https://files.pythonhosted.org/packages/5e/05/c12f726b8c2f75402512b79c4e053ee87a086d591b765b6e69edcfd121da/certora-cli-alpha-oz-cli-by-os-20230628.20.10.750292.tar.gz from build tracker '/tmp/pip-build-tracker-y4rjmp_2' 2023-06-28T20:39:36,912 Created temporary directory: /tmp/pip-unpack-jxeze1kq 2023-06-28T20:39:36,913 Building wheels for collected packages: certora-cli-alpha-oz-cli-by-os 2023-06-28T20:39:36,917 Created temporary directory: /tmp/pip-wheel-6krhi39j 2023-06-28T20:39:36,917 Building wheel for certora-cli-alpha-oz-cli-by-os (setup.py): started 2023-06-28T20:39:36,918 Destination directory: /tmp/pip-wheel-6krhi39j 2023-06-28T20:39:36,918 Running command python setup.py bdist_wheel 2023-06-28T20:39:37,565 running bdist_wheel 2023-06-28T20:39:37,855 running build 2023-06-28T20:39:37,856 running build_py 2023-06-28T20:39:37,886 creating build 2023-06-28T20:39:37,886 creating build/lib 2023-06-28T20:39:37,887 creating build/lib/certora_jars 2023-06-28T20:39:37,888 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-06-28T20:39:37,890 creating build/lib/certora_bins 2023-06-28T20:39:37,891 copying certora_bins/__init__.py -> build/lib/certora_bins 2023-06-28T20:39:37,893 creating build/lib/certora_cli 2023-06-28T20:39:37,894 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-06-28T20:39:37,895 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-06-28T20:39:37,897 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-06-28T20:39:37,899 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2023-06-28T20:39:37,902 creating build/lib/certora_cli/Shared 2023-06-28T20:39:37,902 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-06-28T20:39:37,906 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-06-28T20:39:37,908 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-06-28T20:39:37,910 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-06-28T20:39:37,913 creating build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,914 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,916 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,919 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,921 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,923 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,925 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,928 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,929 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,932 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,938 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,940 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,942 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,944 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,947 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-06-28T20:39:37,950 creating build/lib/certora_cli/EquivalenceCheck 2023-06-28T20:39:37,951 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2023-06-28T20:39:37,953 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2023-06-28T20:39:37,955 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-06-28T20:39:37,956 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-06-28T20:39:37,958 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-06-28T20:39:37,960 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-06-28T20:39:37,962 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-06-28T20:39:37,964 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-06-28T20:39:37,966 running egg_info 2023-06-28T20:39:38,028 writing certora_cli_alpha_oz_cli_by_os.egg-info/PKG-INFO 2023-06-28T20:39:38,030 writing dependency_links to certora_cli_alpha_oz_cli_by_os.egg-info/dependency_links.txt 2023-06-28T20:39:38,032 writing entry points to certora_cli_alpha_oz_cli_by_os.egg-info/entry_points.txt 2023-06-28T20:39:38,034 writing requirements to certora_cli_alpha_oz_cli_by_os.egg-info/requires.txt 2023-06-28T20:39:38,035 writing top-level names to certora_cli_alpha_oz_cli_by_os.egg-info/top_level.txt 2023-06-28T20:39:38,067 reading manifest file 'certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-06-28T20:39:38,070 reading manifest template 'MANIFEST.in' 2023-06-28T20:39:38,073 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-06-28T20:39:38,074 warning: no files found matching 'EquivalenceCheck/equivCheck.py' 2023-06-28T20:39:38,074 warning: no files found matching 'EquivalenceCheck/Eq_sanity.conf' 2023-06-28T20:39:38,074 warning: no files found matching 'EquivalenceCheck/Eq_default.confEquivalenceCheck/Eq_template.specEquivalenceCheck/Eq_mc_template.spec' 2023-06-28T20:39:38,074 warning: no files found matching 'CERTORA-CLI-VERSION-METADATA.json' 2023-06-28T20:39:38,074 adding license file 'LICENSE' 2023-06-28T20:39:38,078 writing manifest file 'certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-06-28T20:39:38,081 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-06-28T20:39:38,303 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-06-28T20:39:38,470 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-06-28T20:39:38,704 /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-06-28T20:39:38,704 !! 2023-06-28T20:39:38,704 ******************************************************************************** 2023-06-28T20:39:38,704 Please avoid running ``setup.py`` directly. 2023-06-28T20:39:38,705 Instead, use pypa/build, pypa/installer, pypa/build or 2023-06-28T20:39:38,705 other standards-based tools. 2023-06-28T20:39:38,705 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-06-28T20:39:38,705 ******************************************************************************** 2023-06-28T20:39:38,705 !! 2023-06-28T20:39:38,706 self.initialize_options() 2023-06-28T20:39:38,731 installing to build/bdist.linux-armv7l/wheel 2023-06-28T20:39:38,731 running install 2023-06-28T20:39:38,757 running install_lib 2023-06-28T20:39:38,784 creating build/bdist.linux-armv7l 2023-06-28T20:39:38,785 creating build/bdist.linux-armv7l/wheel 2023-06-28T20:39:38,786 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-06-28T20:39:38,787 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-06-28T20:39:38,951 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-06-28T20:39:39,178 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-06-28T20:39:39,179 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-06-28T20:39:39,402 creating build/bdist.linux-armv7l/wheel/certora_bins 2023-06-28T20:39:39,403 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/certora_bins 2023-06-28T20:39:39,405 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-06-28T20:39:39,406 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-06-28T20:39:39,408 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-06-28T20:39:39,411 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-06-28T20:39:39,413 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-06-28T20:39:39,416 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-06-28T20:39:39,418 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-06-28T20:39:39,421 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-06-28T20:39:39,424 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,425 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,427 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,431 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-06-28T20:39:39,432 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-06-28T20:39:39,435 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-06-28T20:39:39,437 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-06-28T20:39:39,439 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-06-28T20:39:39,442 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-06-28T20:39:39,445 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,448 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,450 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,453 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,458 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,460 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,463 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,469 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,471 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,474 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,476 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,479 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-06-28T20:39:39,482 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-06-28T20:39:39,485 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-06-28T20:39:39,487 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-06-28T20:39:39,489 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-06-28T20:39:39,492 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-06-28T20:39:39,493 running install_egg_info 2023-06-28T20:39:39,525 Copying certora_cli_alpha_oz_cli_by_os.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292-py3.9.egg-info 2023-06-28T20:39:39,536 running install_scripts 2023-06-28T20:39:39,553 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292.dist-info/WHEEL 2023-06-28T20:39:39,555 creating '/tmp/pip-wheel-6krhi39j/certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-06-28T20:39:39,558 adding 'certora_bins/__init__.py' 2023-06-28T20:39:39,560 adding 'certora_cli/__init__.py' 2023-06-28T20:39:39,561 adding 'certora_cli/certoraEqCheck.py' 2023-06-28T20:39:39,563 adding 'certora_cli/certoraMutate.py' 2023-06-28T20:39:39,565 adding 'certora_cli/certoraRun.py' 2023-06-28T20:39:39,567 adding 'certora_cli/EVMVerifier/__init__.py' 2023-06-28T20:39:39,591 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-06-28T20:39:39,598 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-06-28T20:39:39,600 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-06-28T20:39:39,602 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-06-28T20:39:39,607 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-06-28T20:39:39,611 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-06-28T20:39:39,613 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-06-28T20:39:39,619 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-06-28T20:39:39,621 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-06-28T20:39:39,623 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-06-28T20:39:39,625 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-06-28T20:39:39,628 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-06-28T20:39:39,632 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-06-28T20:39:39,635 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-06-28T20:39:39,637 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-06-28T20:39:39,638 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-06-28T20:39:39,643 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-06-28T20:39:39,645 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-06-28T20:39:39,647 adding 'certora_cli/EquivalenceCheck/__init__.py' 2023-06-28T20:39:39,649 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2023-06-28T20:39:39,652 adding 'certora_cli/Shared/__init__.py' 2023-06-28T20:39:39,654 adding 'certora_cli/Shared/certoraLogging.py' 2023-06-28T20:39:39,656 adding 'certora_cli/Shared/certoraTester.py' 2023-06-28T20:39:39,663 adding 'certora_cli/Shared/certoraUtils.py' 2023-06-28T20:39:41,432 adding 'certora_jars/MutationTest.jar' 2023-06-28T20:39:42,769 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-06-28T20:39:44,435 adding 'certora_jars/Typechecker.jar' 2023-06-28T20:39:44,523 adding 'certora_jars/__init__.py' 2023-06-28T20:39:44,524 adding 'certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292.dist-info/LICENSE' 2023-06-28T20:39:44,526 adding 'certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292.dist-info/METADATA' 2023-06-28T20:39:44,527 adding 'certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292.dist-info/WHEEL' 2023-06-28T20:39:44,528 adding 'certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292.dist-info/entry_points.txt' 2023-06-28T20:39:44,530 adding 'certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292.dist-info/top_level.txt' 2023-06-28T20:39:44,531 adding 'certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292.dist-info/RECORD' 2023-06-28T20:39:44,902 removing build/bdist.linux-armv7l/wheel 2023-06-28T20:39:45,016 Building wheel for certora-cli-alpha-oz-cli-by-os (setup.py): finished with status 'done' 2023-06-28T20:39:45,384 Created wheel for certora-cli-alpha-oz-cli-by-os: filename=certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292-py3-none-any.whl size=37113579 sha256=a865bda6c4331b8b8a35892c039d1b71ebb032e81f09929e67c9f413482eaa09 2023-06-28T20:39:45,385 Stored in directory: /tmp/pip-ephem-wheel-cache-i7eybxab/wheels/75/93/f0/01bf5f5a664824437a3c654ac81e8d39dac3e2c8ddb398e438 2023-06-28T20:39:45,408 Successfully built certora-cli-alpha-oz-cli-by-os 2023-06-28T20:39:46,290 Removed build tracker: '/tmp/pip-build-tracker-y4rjmp_2'