2023-05-17T16:36:00,000 Created temporary directory: /tmp/pip-build-tracker-hkyum9_y
2023-05-17T16:36:00,001 Initialized build tracking at /tmp/pip-build-tracker-hkyum9_y
2023-05-17T16:36:00,002 Created build tracker: /tmp/pip-build-tracker-hkyum9_y
2023-05-17T16:36:00,002 Entered build tracker: /tmp/pip-build-tracker-hkyum9_y
2023-05-17T16:36:00,002 Created temporary directory: /tmp/pip-wheel-zjuktb_s
2023-05-17T16:36:00,006 Created temporary directory: /tmp/pip-ephem-wheel-cache-1ozr0avf
2023-05-17T16:36:00,028 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-17T16:36:00,032 2 location(s) to search for versions of certora-cli-alpha-shays-cert-1717-b:
2023-05-17T16:36:00,032 * https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-17T16:36:00,032 * https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-17T16:36:00,032 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-17T16:36:00,033 Getting page https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-17T16:36:00,035 Found index url https://pypi.org/simple/
2023-05-17T16:36:00,084 Fetched page https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ as application/vnd.pypi.simple.v1+json
2023-05-17T16:36:00,088   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-17T16:36:00,088   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-17T16:36:00,089   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-17T16:36:00,089   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-17T16:36:00,090   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-17T16:36:00,090   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-17T16:36:00,091   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-17T16:36:00,091   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-17T16:36:00,092   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-17T16:36:00,092   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-17T16:36:00,092   Found link https://files.pythonhosted.org/packages/a8/8b/946aa00817193fc56ca85c5a87ed9a5883b0323a651416e4fcb660c7772f/certora-cli-alpha-shays-CERT-1717-b-20230517.11.42.895594.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230517.11.42.895594
2023-05-17T16:36:00,093   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/71/be/45fdfa96fd4ca22eb04801eb1e1c8b339b27bee1da3d43a76ccd819f1ced/certora_cli_alpha_shays_CERT_1717_b-20230517.11.42.895594-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16)
2023-05-17T16:36:00,093   Found link https://files.pythonhosted.org/packages/23/bf/4a77d232bc2de977687d30cc2e594cbdea190d4858ce0f664dba570541e9/certora-cli-alpha-shays-CERT-1717-b-20230517.14.20.616146.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230517.14.20.616146
2023-05-17T16:36:00,094   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/d7/1b/9d066c171c6f16c0d41ccb608a08a6edd0ecb7e80f28f0988bf972981123/certora_cli_alpha_shays_CERT_1717_b-20230517.14.20.616146-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16)
2023-05-17T16:36:00,094 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-17T16:36:00,094 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-17T16:36:00,096 Found index url https://www.piwheels.org/simple/
2023-05-17T16:36:00,320 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ as text/html
2023-05-17T16:36:00,323   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-20230517.11.42.895594-py3-none-any.whl#sha256=e2b9da6a9ed0c0dbc2d16843616f4da548ef18de9df5c56c14b39574841c3367 (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16)
2023-05-17T16:36:00,323   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-20230517.9.54.28934-py3-none-any.whl#sha256=70c61d841348cd6249027d70aa03959863138b620086e907c4435b671d9f59a0 (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16)
2023-05-17T16:36:00,323   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-17T16:36:00,323   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-17T16:36:00,324   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-17T16:36:00,324   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-17T16:36:00,324 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-17T16:36:00,324 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-17T16:36:00,342 Given no hashes to check 1 links for project 'certora-cli-alpha-shays-cert-1717-b': discarding no candidates
2023-05-17T16:36:00,366 Collecting certora-cli-alpha-shays-cert-1717-b==20230517.14.20.616146
2023-05-17T16:36:00,369   Created temporary directory: /tmp/pip-unpack-u9nvzjho
2023-05-17T16:36:00,520   Downloading certora-cli-alpha-shays-CERT-1717-b-20230517.14.20.616146.tar.gz (38.8 MB)
2023-05-17T16:36:10,909   Added certora-cli-alpha-shays-cert-1717-b==20230517.14.20.616146 from https://files.pythonhosted.org/packages/23/bf/4a77d232bc2de977687d30cc2e594cbdea190d4858ce0f664dba570541e9/certora-cli-alpha-shays-CERT-1717-b-20230517.14.20.616146.tar.gz to build tracker '/tmp/pip-build-tracker-hkyum9_y'
2023-05-17T16:36:10,911   Running setup.py (path:/tmp/pip-wheel-zjuktb_s/certora-cli-alpha-shays-cert-1717-b_e8497b41382f4c23b87d3f75fc683b4e/setup.py) egg_info for package certora-cli-alpha-shays-cert-1717-b
2023-05-17T16:36:10,912   Created temporary directory: /tmp/pip-pip-egg-info-2gtxt5gq
2023-05-17T16:36:10,912   Preparing metadata (setup.py): started
2023-05-17T16:36:10,913   Running command python setup.py egg_info
2023-05-17T16:36:11,508   running egg_info
2023-05-17T16:36:11,510   creating /tmp/pip-pip-egg-info-2gtxt5gq/certora_cli_alpha_shays_CERT_1717_b.egg-info
2023-05-17T16:36:11,533   writing /tmp/pip-pip-egg-info-2gtxt5gq/certora_cli_alpha_shays_CERT_1717_b.egg-info/PKG-INFO
2023-05-17T16:36:11,535   writing dependency_links to /tmp/pip-pip-egg-info-2gtxt5gq/certora_cli_alpha_shays_CERT_1717_b.egg-info/dependency_links.txt
2023-05-17T16:36:11,537   writing entry points to /tmp/pip-pip-egg-info-2gtxt5gq/certora_cli_alpha_shays_CERT_1717_b.egg-info/entry_points.txt
2023-05-17T16:36:11,538   writing requirements to /tmp/pip-pip-egg-info-2gtxt5gq/certora_cli_alpha_shays_CERT_1717_b.egg-info/requires.txt
2023-05-17T16:36:11,539   writing top-level names to /tmp/pip-pip-egg-info-2gtxt5gq/certora_cli_alpha_shays_CERT_1717_b.egg-info/top_level.txt
2023-05-17T16:36:11,541   writing manifest file '/tmp/pip-pip-egg-info-2gtxt5gq/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-17T16:36:11,620   reading manifest file '/tmp/pip-pip-egg-info-2gtxt5gq/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-17T16:36:11,621   reading manifest template 'MANIFEST.in'
2023-05-17T16:36:11,630   adding license file 'LICENSE'
2023-05-17T16:36:11,633   writing manifest file '/tmp/pip-pip-egg-info-2gtxt5gq/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-17T16:36:11,693   Preparing metadata (setup.py): finished with status 'done'
2023-05-17T16:36:11,698   Source in /tmp/pip-wheel-zjuktb_s/certora-cli-alpha-shays-cert-1717-b_e8497b41382f4c23b87d3f75fc683b4e has version 20230517.14.20.616146, which satisfies requirement certora-cli-alpha-shays-cert-1717-b==20230517.14.20.616146 from https://files.pythonhosted.org/packages/23/bf/4a77d232bc2de977687d30cc2e594cbdea190d4858ce0f664dba570541e9/certora-cli-alpha-shays-CERT-1717-b-20230517.14.20.616146.tar.gz
2023-05-17T16:36:11,699   Removed certora-cli-alpha-shays-cert-1717-b==20230517.14.20.616146 from https://files.pythonhosted.org/packages/23/bf/4a77d232bc2de977687d30cc2e594cbdea190d4858ce0f664dba570541e9/certora-cli-alpha-shays-CERT-1717-b-20230517.14.20.616146.tar.gz from build tracker '/tmp/pip-build-tracker-hkyum9_y'
2023-05-17T16:36:11,706 Created temporary directory: /tmp/pip-unpack-_ia8ni_g
2023-05-17T16:36:11,706 Building wheels for collected packages: certora-cli-alpha-shays-cert-1717-b
2023-05-17T16:36:11,710   Created temporary directory: /tmp/pip-wheel-74hu2v7z
2023-05-17T16:36:11,711   Building wheel for certora-cli-alpha-shays-cert-1717-b (setup.py): started
2023-05-17T16:36:11,712   Destination directory: /tmp/pip-wheel-74hu2v7z
2023-05-17T16:36:11,712   Running command python setup.py bdist_wheel
2023-05-17T16:36:12,518   running bdist_wheel
2023-05-17T16:36:12,790   running build
2023-05-17T16:36:12,791   running build_py
2023-05-17T16:36:12,817   creating build
2023-05-17T16:36:12,817   creating build/lib
2023-05-17T16:36:12,818   creating build/lib/certora_cli
2023-05-17T16:36:12,819   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-17T16:36:12,820   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-17T16:36:12,822   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-17T16:36:12,824   creating build/lib/certora_jars
2023-05-17T16:36:12,825   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-17T16:36:12,826   creating build/lib/certora_cli/Shared
2023-05-17T16:36:12,827   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-17T16:36:12,829   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-17T16:36:12,831   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-17T16:36:12,833   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-17T16:36:12,837   creating build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,838   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,840   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,842   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,845   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,846   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,849   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,855   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,858   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,860   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,863   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,865   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,867   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,869   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,870   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:36:12,873   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T16:36:12,873   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T16:36:12,875   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T16:36:12,877   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T16:36:12,879   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T16:36:12,882   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T16:36:12,883   running egg_info
2023-05-17T16:36:12,939   writing certora_cli_alpha_shays_CERT_1717_b.egg-info/PKG-INFO
2023-05-17T16:36:12,941   writing dependency_links to certora_cli_alpha_shays_CERT_1717_b.egg-info/dependency_links.txt
2023-05-17T16:36:12,943   writing entry points to certora_cli_alpha_shays_CERT_1717_b.egg-info/entry_points.txt
2023-05-17T16:36:12,944   writing requirements to certora_cli_alpha_shays_CERT_1717_b.egg-info/requires.txt
2023-05-17T16:36:12,945   writing top-level names to certora_cli_alpha_shays_CERT_1717_b.egg-info/top_level.txt
2023-05-17T16:36:12,975   reading manifest file 'certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-17T16:36:12,978   reading manifest template 'MANIFEST.in'
2023-05-17T16:36:12,986   adding license file 'LICENSE'
2023-05-17T16:36:12,990   writing manifest file 'certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-17T16:36:12,993   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-17T16:36:12,995   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-17T16:36:13,236   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-17T16:36:13,397   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-17T16:36:13,626   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-17T16:36:13,711   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-17T16:36:13,804   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-17T16:36:13,805   !!

2023-05-17T16:36:13,805           ********************************************************************************
2023-05-17T16:36:13,805           Please avoid running ``setup.py`` directly.
2023-05-17T16:36:13,805           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-17T16:36:13,805           other standards-based tools.

2023-05-17T16:36:13,806           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-17T16:36:13,806           ********************************************************************************

2023-05-17T16:36:13,806   !!
2023-05-17T16:36:13,806     self.initialize_options()
2023-05-17T16:36:13,831   installing to build/bdist.linux-armv7l/wheel
2023-05-17T16:36:13,831   running install
2023-05-17T16:36:13,857   running install_lib
2023-05-17T16:36:13,883   creating build/bdist.linux-armv7l
2023-05-17T16:36:13,884   creating build/bdist.linux-armv7l/wheel
2023-05-17T16:36:13,885   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T16:36:13,887   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T16:36:13,888   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T16:36:13,891   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T16:36:13,893   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T16:36:13,895   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T16:36:13,898   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T16:36:13,900   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T16:36:13,902   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T16:36:13,905   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,906   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,908   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T16:36:13,909   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T16:36:13,911   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T16:36:13,913   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T16:36:13,915   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T16:36:13,917   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T16:36:13,919   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,921   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,923   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,925   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,928   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,933   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,936   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,938   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,941   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,943   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,946   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,947   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,949   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:36:13,951   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:36:13,952   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:36:14,179   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:36:14,365   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:36:14,502   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:36:14,574   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:36:14,771   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:36:14,773   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:36:14,774   running install_egg_info
2023-05-17T16:36:14,803   Copying certora_cli_alpha_shays_CERT_1717_b.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_shays_CERT_1717_b-20230517.14.20.616146-py3.9.egg-info
2023-05-17T16:36:14,815   running install_scripts
2023-05-17T16:36:14,831   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-17T16:36:14,835   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_shays_CERT_1717_b-20230517.14.20.616146.dist-info/WHEEL
2023-05-17T16:36:14,838   creating '/tmp/pip-wheel-74hu2v7z/certora_cli_alpha_shays_CERT_1717_b-20230517.14.20.616146-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-17T16:36:14,841   adding 'certora_cli/__init__.py'
2023-05-17T16:36:14,842   adding 'certora_cli/certoraMutate.py'
2023-05-17T16:36:14,845   adding 'certora_cli/certoraRun.py'
2023-05-17T16:36:14,847   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-17T16:36:14,869   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-17T16:36:14,876   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-17T16:36:14,879   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-17T16:36:14,881   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-17T16:36:14,885   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-17T16:36:14,889   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-17T16:36:14,891   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-17T16:36:14,897   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-17T16:36:14,899   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-17T16:36:14,901   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-17T16:36:14,903   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-17T16:36:14,906   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-17T16:36:14,910   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-17T16:36:14,912   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-17T16:36:14,914   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-17T16:36:14,916   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-17T16:36:14,921   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-17T16:36:14,923   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-17T16:36:14,924   adding 'certora_cli/Shared/__init__.py'
2023-05-17T16:36:14,927   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-17T16:36:14,929   adding 'certora_cli/Shared/certoraTester.py'
2023-05-17T16:36:14,936   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-17T16:36:14,939   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-17T16:36:16,617   adding 'certora_jars/MutationTest.jar'
2023-05-17T16:36:17,955   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-17T16:36:19,542   adding 'certora_jars/Typechecker.jar'
2023-05-17T16:36:19,625   adding 'certora_jars/__init__.py'
2023-05-17T16:36:20,363   adding 'certora_jars/gambit-linux'
2023-05-17T16:36:21,028   adding 'certora_jars/gambit-macos'
2023-05-17T16:36:21,054   adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.14.20.616146.dist-info/LICENSE'
2023-05-17T16:36:21,056   adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.14.20.616146.dist-info/METADATA'
2023-05-17T16:36:21,057   adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.14.20.616146.dist-info/WHEEL'
2023-05-17T16:36:21,058   adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.14.20.616146.dist-info/entry_points.txt'
2023-05-17T16:36:21,059   adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.14.20.616146.dist-info/top_level.txt'
2023-05-17T16:36:21,061   adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.14.20.616146.dist-info/RECORD'
2023-05-17T16:36:21,466   removing build/bdist.linux-armv7l/wheel
2023-05-17T16:36:21,586   Building wheel for certora-cli-alpha-shays-cert-1717-b (setup.py): finished with status 'done'
2023-05-17T16:36:21,976   Created wheel for certora-cli-alpha-shays-cert-1717-b: filename=certora_cli_alpha_shays_CERT_1717_b-20230517.14.20.616146-py3-none-any.whl size=38784994 sha256=3dc8af78bc4684923e2842d66eefc819ad23266b0fd14a48ecb8fea4a063e9a6
2023-05-17T16:36:21,977   Stored in directory: /tmp/pip-ephem-wheel-cache-1ozr0avf/wheels/26/da/51/abb5bcfbf5c81985c9e5d7c5ff19830b53df187f2a4e545f60
2023-05-17T16:36:22,000 Successfully built certora-cli-alpha-shays-cert-1717-b
2023-05-17T16:36:23,013 Removed build tracker: '/tmp/pip-build-tracker-hkyum9_y'