2023-05-17T10:32:32,085 Created temporary directory: /tmp/pip-build-tracker-63sdo_1n 2023-05-17T10:32:32,087 Initialized build tracking at /tmp/pip-build-tracker-63sdo_1n 2023-05-17T10:32:32,087 Created build tracker: /tmp/pip-build-tracker-63sdo_1n 2023-05-17T10:32:32,087 Entered build tracker: /tmp/pip-build-tracker-63sdo_1n 2023-05-17T10:32:32,088 Created temporary directory: /tmp/pip-wheel-6r6b2mxl 2023-05-17T10:32:32,091 Created temporary directory: /tmp/pip-ephem-wheel-cache-y9938otg 2023-05-17T10:32:32,115 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-17T10:32:32,119 2 location(s) to search for versions of certora-cli-alpha-shays-cert-1717-b: 2023-05-17T10:32:32,119 * https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T10:32:32,119 * https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T10:32:32,119 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T10:32:32,119 Getting page https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T10:32:32,121 Found index url https://pypi.org/simple/ 2023-05-17T10:32:32,175 Fetched page https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ as application/vnd.pypi.simple.v1+json 2023-05-17T10:32:32,178 Found link https://files.pythonhosted.org/packages/64/27/7d116b8c58d96e64c8ed1e7756cd9788d4e7439aa77a29484d23b3d4d467/certora-cli-alpha-shays-CERT-1717-b-20230515.8.39.685357.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.8.39.685357 2023-05-17T10:32:32,178 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/03/f2/a0dffa11cc30dc0ef9095f24e9c9e526e91c5cc676211e6a4491d6e9297f/certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T10:32:32,179 Found link https://files.pythonhosted.org/packages/4f/7c/94ab6dbfc905458640c42779a415e7341aecf8db900799a785455caaa1ad/certora-cli-alpha-shays-CERT-1717-b-20230515.10.8.581349.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.10.8.581349 2023-05-17T10:32:32,179 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/c4/c8/28da776d9b16080d94f407da5fbe55530cebdb91d337e1ae4714e7a44016/certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T10:32:32,180 Found link https://files.pythonhosted.org/packages/d3/13/d0c183a6dad3b1d59efe91f8b27b30e9982057a986642493c0a2fa42f0ea/certora-cli-alpha-shays-CERT-1717-b-20230515.13.51.956104.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.13.51.956104 2023-05-17T10:32:32,180 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/a0/35/c3fd1726ac75e088da1893852418aaaa3d873fd34dd7f18d70e7ad64aa9f/certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T10:32:32,181 Found link https://files.pythonhosted.org/packages/0b/68/4e86d98b0153bc19e5fded52f8923e541dc84fd69dc6d6a7fb55dad722f0/certora-cli-alpha-shays-CERT-1717-b-20230515.15.6.569177.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.15.6.569177 2023-05-17T10:32:32,181 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/b2/09/de5266ee645839648fcf30b32ba6113419125b87f9d829210682bb9a8959/certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T10:32:32,182 Found link https://files.pythonhosted.org/packages/59/e6/abb501a262def0fed4e569d4458a56570d4d5dc3d00c54bb4b3b14d344cf/certora-cli-alpha-shays-CERT-1717-b-20230517.9.54.28934.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230517.9.54.28934 2023-05-17T10:32:32,182 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/e3/de/e0514af19dcd84abc1485e168da2d4d328fd443d6a9afd24b803669e4deb/certora_cli_alpha_shays_CERT_1717_b-20230517.9.54.28934-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T10:32:32,182 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T10:32:32,182 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T10:32:32,184 Found index url https://www.piwheels.org/simple/ 2023-05-17T10:32:32,338 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ as text/html 2023-05-17T10:32:32,340 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177-py3-none-any.whl#sha256=1ad744fba06fc03ede1cecc64e052765408cfe9ba5c41716a3c8678dc595c83a (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T10:32:32,340 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104-py3-none-any.whl#sha256=6e557d3f75a49400a4eaec97c7a08b7fdc40839529177369560ea215c0f2f091 (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T10:32:32,340 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349-py3-none-any.whl#sha256=b659d52d6c4a36c59d237f5fb42c5c3566bba250e17abedaa0d72c8d531aafb1 (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T10:32:32,341 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357-py3-none-any.whl#sha256=fb55397630560018aa3905318e6da64ce9b18e01b195293d23ce3fc128154d56 (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T10:32:32,341 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T10:32:32,341 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T10:32:32,359 Given no hashes to check 1 links for project 'certora-cli-alpha-shays-cert-1717-b': discarding no candidates 2023-05-17T10:32:32,375 Collecting certora-cli-alpha-shays-cert-1717-b==20230517.9.54.28934 2023-05-17T10:32:32,378 Created temporary directory: /tmp/pip-unpack-i2nz5xa1 2023-05-17T10:32:32,819 Downloading certora-cli-alpha-shays-CERT-1717-b-20230517.9.54.28934.tar.gz (38.8 MB) 2023-05-17T10:32:42,323 Added certora-cli-alpha-shays-cert-1717-b==20230517.9.54.28934 from https://files.pythonhosted.org/packages/59/e6/abb501a262def0fed4e569d4458a56570d4d5dc3d00c54bb4b3b14d344cf/certora-cli-alpha-shays-CERT-1717-b-20230517.9.54.28934.tar.gz to build tracker '/tmp/pip-build-tracker-63sdo_1n' 2023-05-17T10:32:42,326 Running setup.py (path:/tmp/pip-wheel-6r6b2mxl/certora-cli-alpha-shays-cert-1717-b_d703a77d090f4ee0893c7d3e936b501d/setup.py) egg_info for package certora-cli-alpha-shays-cert-1717-b 2023-05-17T10:32:42,326 Created temporary directory: /tmp/pip-pip-egg-info-iv30jorl 2023-05-17T10:32:42,327 Preparing metadata (setup.py): started 2023-05-17T10:32:42,328 Running command python setup.py egg_info 2023-05-17T10:32:42,879 /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230517.9.54.028934' to '20230517.9.54.28934' 2023-05-17T10:32:42,880 self.metadata.version = self._normalize_version( 2023-05-17T10:32:42,925 running egg_info 2023-05-17T10:32:42,927 creating /tmp/pip-pip-egg-info-iv30jorl/certora_cli_alpha_shays_CERT_1717_b.egg-info 2023-05-17T10:32:42,951 writing /tmp/pip-pip-egg-info-iv30jorl/certora_cli_alpha_shays_CERT_1717_b.egg-info/PKG-INFO 2023-05-17T10:32:42,953 writing dependency_links to /tmp/pip-pip-egg-info-iv30jorl/certora_cli_alpha_shays_CERT_1717_b.egg-info/dependency_links.txt 2023-05-17T10:32:42,955 writing entry points to /tmp/pip-pip-egg-info-iv30jorl/certora_cli_alpha_shays_CERT_1717_b.egg-info/entry_points.txt 2023-05-17T10:32:42,956 writing requirements to /tmp/pip-pip-egg-info-iv30jorl/certora_cli_alpha_shays_CERT_1717_b.egg-info/requires.txt 2023-05-17T10:32:42,957 writing top-level names to /tmp/pip-pip-egg-info-iv30jorl/certora_cli_alpha_shays_CERT_1717_b.egg-info/top_level.txt 2023-05-17T10:32:42,958 writing manifest file '/tmp/pip-pip-egg-info-iv30jorl/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-17T10:32:43,037 reading manifest file '/tmp/pip-pip-egg-info-iv30jorl/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-17T10:32:43,039 reading manifest template 'MANIFEST.in' 2023-05-17T10:32:43,047 adding license file 'LICENSE' 2023-05-17T10:32:43,051 writing manifest file '/tmp/pip-pip-egg-info-iv30jorl/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-17T10:32:43,112 Preparing metadata (setup.py): finished with status 'done' 2023-05-17T10:32:43,117 Source in /tmp/pip-wheel-6r6b2mxl/certora-cli-alpha-shays-cert-1717-b_d703a77d090f4ee0893c7d3e936b501d has version 20230517.9.54.28934, which satisfies requirement certora-cli-alpha-shays-cert-1717-b==20230517.9.54.28934 from https://files.pythonhosted.org/packages/59/e6/abb501a262def0fed4e569d4458a56570d4d5dc3d00c54bb4b3b14d344cf/certora-cli-alpha-shays-CERT-1717-b-20230517.9.54.28934.tar.gz 2023-05-17T10:32:43,118 Removed certora-cli-alpha-shays-cert-1717-b==20230517.9.54.28934 from https://files.pythonhosted.org/packages/59/e6/abb501a262def0fed4e569d4458a56570d4d5dc3d00c54bb4b3b14d344cf/certora-cli-alpha-shays-CERT-1717-b-20230517.9.54.28934.tar.gz from build tracker '/tmp/pip-build-tracker-63sdo_1n' 2023-05-17T10:32:43,125 Created temporary directory: /tmp/pip-unpack-kxsxm_y2 2023-05-17T10:32:43,126 Building wheels for collected packages: certora-cli-alpha-shays-cert-1717-b 2023-05-17T10:32:43,130 Created temporary directory: /tmp/pip-wheel-bmltcnew 2023-05-17T10:32:43,130 Building wheel for certora-cli-alpha-shays-cert-1717-b (setup.py): started 2023-05-17T10:32:43,132 Destination directory: /tmp/pip-wheel-bmltcnew 2023-05-17T10:32:43,132 Running command python setup.py bdist_wheel 2023-05-17T10:32:43,681 /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230517.9.54.028934' to '20230517.9.54.28934' 2023-05-17T10:32:43,682 self.metadata.version = self._normalize_version( 2023-05-17T10:32:43,936 running bdist_wheel 2023-05-17T10:32:44,216 running build 2023-05-17T10:32:44,216 running build_py 2023-05-17T10:32:44,243 creating build 2023-05-17T10:32:44,244 creating build/lib 2023-05-17T10:32:44,244 creating build/lib/certora_jars 2023-05-17T10:32:44,245 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-17T10:32:44,248 creating build/lib/certora_cli 2023-05-17T10:32:44,249 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-17T10:32:44,251 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-17T10:32:44,253 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-17T10:32:44,255 creating build/lib/certora_cli/Shared 2023-05-17T10:32:44,256 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-17T10:32:44,259 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-17T10:32:44,261 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-17T10:32:44,263 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-17T10:32:44,266 creating build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,267 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,273 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,276 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,277 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,281 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,283 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,285 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,287 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,290 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,292 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,296 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,299 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,302 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,305 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:32:44,308 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T10:32:44,309 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T10:32:44,312 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T10:32:44,314 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T10:32:44,317 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T10:32:44,319 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T10:32:44,321 running egg_info 2023-05-17T10:32:44,380 writing certora_cli_alpha_shays_CERT_1717_b.egg-info/PKG-INFO 2023-05-17T10:32:44,382 writing dependency_links to certora_cli_alpha_shays_CERT_1717_b.egg-info/dependency_links.txt 2023-05-17T10:32:44,384 writing entry points to certora_cli_alpha_shays_CERT_1717_b.egg-info/entry_points.txt 2023-05-17T10:32:44,386 writing requirements to certora_cli_alpha_shays_CERT_1717_b.egg-info/requires.txt 2023-05-17T10:32:44,387 writing top-level names to certora_cli_alpha_shays_CERT_1717_b.egg-info/top_level.txt 2023-05-17T10:32:44,419 reading manifest file 'certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-17T10:32:44,422 reading manifest template 'MANIFEST.in' 2023-05-17T10:32:44,431 adding license file 'LICENSE' 2023-05-17T10:32:44,435 writing manifest file 'certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-17T10:32:44,439 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-17T10:32:44,441 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-17T10:32:44,657 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-17T10:32:44,814 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-17T10:32:45,003 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-17T10:32:45,091 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-17T10:32:45,186 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-17T10:32:45,186 !! 2023-05-17T10:32:45,187 ******************************************************************************** 2023-05-17T10:32:45,187 Please avoid running ``setup.py`` directly. 2023-05-17T10:32:45,187 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-17T10:32:45,187 other standards-based tools. 2023-05-17T10:32:45,187 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-17T10:32:45,187 ******************************************************************************** 2023-05-17T10:32:45,188 !! 2023-05-17T10:32:45,188 self.initialize_options() 2023-05-17T10:32:45,212 installing to build/bdist.linux-armv7l/wheel 2023-05-17T10:32:45,212 running install 2023-05-17T10:32:45,237 running install_lib 2023-05-17T10:32:45,263 creating build/bdist.linux-armv7l 2023-05-17T10:32:45,264 creating build/bdist.linux-armv7l/wheel 2023-05-17T10:32:45,265 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:32:45,266 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:32:45,450 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:32:45,611 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:32:45,679 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:32:45,680 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:32:45,682 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:32:45,770 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:32:45,978 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T10:32:45,980 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T10:32:45,982 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T10:32:45,984 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T10:32:45,986 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T10:32:45,987 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T10:32:45,990 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T10:32:45,992 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T10:32:45,995 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T10:32:45,998 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:45,999 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:46,004 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:46,007 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:46,009 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:46,012 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:46,014 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:46,016 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:46,018 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:46,021 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:46,023 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:46,027 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:46,031 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T10:32:46,032 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T10:32:46,035 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T10:32:46,037 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T10:32:46,039 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T10:32:46,042 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T10:32:46,044 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:46,047 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:46,050 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:32:46,052 running install_egg_info 2023-05-17T10:32:46,082 Copying certora_cli_alpha_shays_CERT_1717_b.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_shays_CERT_1717_b-20230517.9.54.28934-py3.9.egg-info 2023-05-17T10:32:46,093 running install_scripts 2023-05-17T10:32:46,109 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-17T10:32:46,114 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_shays_CERT_1717_b-20230517.9.54.28934.dist-info/WHEEL 2023-05-17T10:32:46,117 creating '/tmp/pip-wheel-bmltcnew/certora_cli_alpha_shays_CERT_1717_b-20230517.9.54.28934-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-17T10:32:46,119 adding 'certora_cli/__init__.py' 2023-05-17T10:32:46,121 adding 'certora_cli/certoraMutate.py' 2023-05-17T10:32:46,123 adding 'certora_cli/certoraRun.py' 2023-05-17T10:32:46,125 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-17T10:32:46,148 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-17T10:32:46,155 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-17T10:32:46,157 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-17T10:32:46,159 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-17T10:32:46,164 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-17T10:32:46,168 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-17T10:32:46,170 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-17T10:32:46,175 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-17T10:32:46,177 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-17T10:32:46,180 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-17T10:32:46,181 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-17T10:32:46,184 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-17T10:32:46,188 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-17T10:32:46,190 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-17T10:32:46,192 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-17T10:32:46,194 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-17T10:32:46,198 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-17T10:32:46,199 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-17T10:32:46,201 adding 'certora_cli/Shared/__init__.py' 2023-05-17T10:32:46,203 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-17T10:32:46,205 adding 'certora_cli/Shared/certoraTester.py' 2023-05-17T10:32:46,211 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-17T10:32:46,215 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-17T10:32:47,895 adding 'certora_jars/MutationTest.jar' 2023-05-17T10:32:49,227 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-17T10:32:50,803 adding 'certora_jars/Typechecker.jar' 2023-05-17T10:32:50,886 adding 'certora_jars/__init__.py' 2023-05-17T10:32:51,620 adding 'certora_jars/gambit-linux' 2023-05-17T10:32:52,279 adding 'certora_jars/gambit-macos' 2023-05-17T10:32:52,305 adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.9.54.28934.dist-info/LICENSE' 2023-05-17T10:32:52,306 adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.9.54.28934.dist-info/METADATA' 2023-05-17T10:32:52,308 adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.9.54.28934.dist-info/WHEEL' 2023-05-17T10:32:52,309 adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.9.54.28934.dist-info/entry_points.txt' 2023-05-17T10:32:52,310 adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.9.54.28934.dist-info/top_level.txt' 2023-05-17T10:32:52,312 adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.9.54.28934.dist-info/RECORD' 2023-05-17T10:32:52,720 removing build/bdist.linux-armv7l/wheel 2023-05-17T10:32:52,842 Building wheel for certora-cli-alpha-shays-cert-1717-b (setup.py): finished with status 'done' 2023-05-17T10:32:53,228 Created wheel for certora-cli-alpha-shays-cert-1717-b: filename=certora_cli_alpha_shays_CERT_1717_b-20230517.9.54.28934-py3-none-any.whl size=38781248 sha256=70c61d841348cd6249027d70aa03959863138b620086e907c4435b671d9f59a0 2023-05-17T10:32:53,229 Stored in directory: /tmp/pip-ephem-wheel-cache-y9938otg/wheels/ae/ca/f7/98cd9c2a8098463248a3af2ffe5c6e6433e29d3a5aadbb3b84 2023-05-17T10:32:53,252 Successfully built certora-cli-alpha-shays-cert-1717-b 2023-05-17T10:32:54,154 Removed build tracker: '/tmp/pip-build-tracker-63sdo_1n'