2023-05-24T13:49:52,515 Created temporary directory: /tmp/pip-build-tracker-j1ijf_27
2023-05-24T13:49:52,516 Initialized build tracking at /tmp/pip-build-tracker-j1ijf_27
2023-05-24T13:49:52,517 Created build tracker: /tmp/pip-build-tracker-j1ijf_27
2023-05-24T13:49:52,517 Entered build tracker: /tmp/pip-build-tracker-j1ijf_27
2023-05-24T13:49:52,517 Created temporary directory: /tmp/pip-wheel-m024758y
2023-05-24T13:49:52,521 Created temporary directory: /tmp/pip-ephem-wheel-cache-yr8hp318
2023-05-24T13:49:52,544 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-24T13:49:52,548 2 location(s) to search for versions of certora-cli-alpha-shays-cert-2259:
2023-05-24T13:49:52,548 * https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-24T13:49:52,548 * https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-24T13:49:52,548 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-24T13:49:52,549 Getting page https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-24T13:49:52,550 Found index url https://pypi.org/simple/
2023-05-24T13:49:52,601 Fetched page https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/ as application/vnd.pypi.simple.v1+json
2023-05-24T13:49:52,603   Found link https://files.pythonhosted.org/packages/be/90/360baafe80e6c16272195933f1a9d8cd9f9be2743fcee63ee1ca80f34718/certora-cli-alpha-shays-CERT-2259-20230518.14.30.943042.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8), version: 20230518.14.30.943042
2023-05-24T13:49:52,604   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://files.pythonhosted.org/packages/92/60/aa77ca1cd3b71eed54d52bf5693b8945569ea82208e185dae8875bdf5354/certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8)
2023-05-24T13:49:52,604   Found link https://files.pythonhosted.org/packages/a6/42/40dae60022c1a3f27c42d3faec05c5f1b87a676d0a74377ab7a19a4aca83/certora-cli-alpha-shays-CERT-2259-20230523.10.50.879141.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8), version: 20230523.10.50.879141
2023-05-24T13:49:52,605   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://files.pythonhosted.org/packages/a3/23/eb74b94ac1f63c6295e045d1407290e97a0809915ae357bd5970b9c74d24/certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8)
2023-05-24T13:49:52,605   Found link https://files.pythonhosted.org/packages/f4/ee/f6be1605799880838ffb4b0c154c578b9de9276b2ab924522a1a01a5350d/certora-cli-alpha-shays-CERT-2259-20230524.13.17.472413.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8), version: 20230524.13.17.472413
2023-05-24T13:49:52,605   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://files.pythonhosted.org/packages/0b/49/500c326cd0653f99010ccc89716084440a474a27d633f5dd6945a648d080/certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8)
2023-05-24T13:49:52,606 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-24T13:49:52,606 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-24T13:49:52,607 Found index url https://www.piwheels.org/simple/
2023-05-24T13:49:52,794 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/ as text/html
2023-05-24T13:49:52,796   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141-py3-none-any.whl#sha256=c9f15fc4a4442ff133e65fff9e5af3cb29e2b49513b860b65413931d9f83ab9a (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8)
2023-05-24T13:49:52,796   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042-py3-none-any.whl#sha256=15ead7f4d28ed4a30637effd25abcc2fa97339e47e58129ac54ac7da69696a6c (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8)
2023-05-24T13:49:52,796 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-24T13:49:52,796 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-24T13:49:52,814 Given no hashes to check 1 links for project 'certora-cli-alpha-shays-cert-2259': discarding no candidates
2023-05-24T13:49:52,831 Collecting certora-cli-alpha-shays-cert-2259==20230524.13.17.472413
2023-05-24T13:49:52,834   Created temporary directory: /tmp/pip-unpack-tyt8v97u
2023-05-24T13:49:53,130   Downloading certora-cli-alpha-shays-CERT-2259-20230524.13.17.472413.tar.gz (39.0 MB)
2023-05-24T13:50:03,089   Added certora-cli-alpha-shays-cert-2259==20230524.13.17.472413 from https://files.pythonhosted.org/packages/f4/ee/f6be1605799880838ffb4b0c154c578b9de9276b2ab924522a1a01a5350d/certora-cli-alpha-shays-CERT-2259-20230524.13.17.472413.tar.gz to build tracker '/tmp/pip-build-tracker-j1ijf_27'
2023-05-24T13:50:03,091   Running setup.py (path:/tmp/pip-wheel-m024758y/certora-cli-alpha-shays-cert-2259_6bc66e8981634dce863680ef0234a554/setup.py) egg_info for package certora-cli-alpha-shays-cert-2259
2023-05-24T13:50:03,092   Created temporary directory: /tmp/pip-pip-egg-info-6kjm_p1d
2023-05-24T13:50:03,092   Preparing metadata (setup.py): started
2023-05-24T13:50:03,093   Running command python setup.py egg_info
2023-05-24T13:50:03,683   running egg_info
2023-05-24T13:50:03,685   creating /tmp/pip-pip-egg-info-6kjm_p1d/certora_cli_alpha_shays_CERT_2259.egg-info
2023-05-24T13:50:03,709   writing /tmp/pip-pip-egg-info-6kjm_p1d/certora_cli_alpha_shays_CERT_2259.egg-info/PKG-INFO
2023-05-24T13:50:03,711   writing dependency_links to /tmp/pip-pip-egg-info-6kjm_p1d/certora_cli_alpha_shays_CERT_2259.egg-info/dependency_links.txt
2023-05-24T13:50:03,713   writing entry points to /tmp/pip-pip-egg-info-6kjm_p1d/certora_cli_alpha_shays_CERT_2259.egg-info/entry_points.txt
2023-05-24T13:50:03,714   writing requirements to /tmp/pip-pip-egg-info-6kjm_p1d/certora_cli_alpha_shays_CERT_2259.egg-info/requires.txt
2023-05-24T13:50:03,715   writing top-level names to /tmp/pip-pip-egg-info-6kjm_p1d/certora_cli_alpha_shays_CERT_2259.egg-info/top_level.txt
2023-05-24T13:50:03,717   writing manifest file '/tmp/pip-pip-egg-info-6kjm_p1d/certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt'
2023-05-24T13:50:03,795   reading manifest file '/tmp/pip-pip-egg-info-6kjm_p1d/certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt'
2023-05-24T13:50:03,796   reading manifest template 'MANIFEST.in'
2023-05-24T13:50:03,805   adding license file 'LICENSE'
2023-05-24T13:50:03,808   writing manifest file '/tmp/pip-pip-egg-info-6kjm_p1d/certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt'
2023-05-24T13:50:03,867   Preparing metadata (setup.py): finished with status 'done'
2023-05-24T13:50:03,872   Source in /tmp/pip-wheel-m024758y/certora-cli-alpha-shays-cert-2259_6bc66e8981634dce863680ef0234a554 has version 20230524.13.17.472413, which satisfies requirement certora-cli-alpha-shays-cert-2259==20230524.13.17.472413 from https://files.pythonhosted.org/packages/f4/ee/f6be1605799880838ffb4b0c154c578b9de9276b2ab924522a1a01a5350d/certora-cli-alpha-shays-CERT-2259-20230524.13.17.472413.tar.gz
2023-05-24T13:50:03,873   Removed certora-cli-alpha-shays-cert-2259==20230524.13.17.472413 from https://files.pythonhosted.org/packages/f4/ee/f6be1605799880838ffb4b0c154c578b9de9276b2ab924522a1a01a5350d/certora-cli-alpha-shays-CERT-2259-20230524.13.17.472413.tar.gz from build tracker '/tmp/pip-build-tracker-j1ijf_27'
2023-05-24T13:50:03,879 Created temporary directory: /tmp/pip-unpack-yufsr743
2023-05-24T13:50:03,880 Building wheels for collected packages: certora-cli-alpha-shays-cert-2259
2023-05-24T13:50:03,884   Created temporary directory: /tmp/pip-wheel-11c5lufx
2023-05-24T13:50:03,884   Building wheel for certora-cli-alpha-shays-cert-2259 (setup.py): started
2023-05-24T13:50:03,885   Destination directory: /tmp/pip-wheel-11c5lufx
2023-05-24T13:50:03,885   Running command python setup.py bdist_wheel
2023-05-24T13:50:04,722   running bdist_wheel
2023-05-24T13:50:05,003   running build
2023-05-24T13:50:05,003   running build_py
2023-05-24T13:50:05,031   creating build
2023-05-24T13:50:05,032   creating build/lib
2023-05-24T13:50:05,032   creating build/lib/certora_jars
2023-05-24T13:50:05,034   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-24T13:50:05,036   creating build/lib/certora_cli
2023-05-24T13:50:05,037   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-24T13:50:05,038   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-24T13:50:05,040   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-24T13:50:05,043   creating build/lib/certora_cli/Shared
2023-05-24T13:50:05,044   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-24T13:50:05,047   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-24T13:50:05,049   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-24T13:50:05,052   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-24T13:50:05,054   creating build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,055   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,057   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,061   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,063   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,065   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,067   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,070   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,072   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,075   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,080   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,083   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,085   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,087   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,089   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T13:50:05,093   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-24T13:50:05,094   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-24T13:50:05,096   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-24T13:50:05,098   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-24T13:50:05,099   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-24T13:50:05,102   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-24T13:50:05,105   running egg_info
2023-05-24T13:50:05,163   writing certora_cli_alpha_shays_CERT_2259.egg-info/PKG-INFO
2023-05-24T13:50:05,165   writing dependency_links to certora_cli_alpha_shays_CERT_2259.egg-info/dependency_links.txt
2023-05-24T13:50:05,167   writing entry points to certora_cli_alpha_shays_CERT_2259.egg-info/entry_points.txt
2023-05-24T13:50:05,169   writing requirements to certora_cli_alpha_shays_CERT_2259.egg-info/requires.txt
2023-05-24T13:50:05,170   writing top-level names to certora_cli_alpha_shays_CERT_2259.egg-info/top_level.txt
2023-05-24T13:50:05,202   reading manifest file 'certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt'
2023-05-24T13:50:05,204   reading manifest template 'MANIFEST.in'
2023-05-24T13:50:05,213   adding license file 'LICENSE'
2023-05-24T13:50:05,217   writing manifest file 'certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt'
2023-05-24T13:50:05,220   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-24T13:50:05,222   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-24T13:50:05,453   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-24T13:50:05,616   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-24T13:50:05,816   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-24T13:50:05,916   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-24T13:50:06,015   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-24T13:50:06,015   !!

2023-05-24T13:50:06,015           ********************************************************************************
2023-05-24T13:50:06,016           Please avoid running ``setup.py`` directly.
2023-05-24T13:50:06,016           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-24T13:50:06,016           other standards-based tools.

2023-05-24T13:50:06,016           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-24T13:50:06,016           ********************************************************************************

2023-05-24T13:50:06,017   !!
2023-05-24T13:50:06,017     self.initialize_options()
2023-05-24T13:50:06,056   installing to build/bdist.linux-armv7l/wheel
2023-05-24T13:50:06,056   running install
2023-05-24T13:50:06,082   running install_lib
2023-05-24T13:50:06,109   creating build/bdist.linux-armv7l
2023-05-24T13:50:06,109   creating build/bdist.linux-armv7l/wheel
2023-05-24T13:50:06,111   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T13:50:06,112   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T13:50:06,297   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T13:50:06,527   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T13:50:06,529   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T13:50:06,713   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T13:50:06,715   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T13:50:06,777   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T13:50:06,870   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-24T13:50:06,871   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-24T13:50:06,873   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-24T13:50:06,875   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-24T13:50:06,876   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-24T13:50:06,879   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-24T13:50:06,881   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-24T13:50:06,883   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-24T13:50:06,885   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,886   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,888   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,891   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-24T13:50:06,892   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-24T13:50:06,894   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-24T13:50:06,895   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-24T13:50:06,897   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-24T13:50:06,899   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-24T13:50:06,902   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,904   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,906   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,908   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,911   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,913   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,916   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,921   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,923   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,925   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,928   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,929   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T13:50:06,932   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-24T13:50:06,934   running install_egg_info
2023-05-24T13:50:06,963   Copying certora_cli_alpha_shays_CERT_2259.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413-py3.9.egg-info
2023-05-24T13:50:06,974   running install_scripts
2023-05-24T13:50:06,989   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-24T13:50:06,993   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413.dist-info/WHEEL
2023-05-24T13:50:06,995   creating '/tmp/pip-wheel-11c5lufx/certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-24T13:50:06,997   adding 'certora_cli/__init__.py'
2023-05-24T13:50:06,999   adding 'certora_cli/certoraMutate.py'
2023-05-24T13:50:07,001   adding 'certora_cli/certoraRun.py'
2023-05-24T13:50:07,003   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-24T13:50:07,025   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-24T13:50:07,031   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-24T13:50:07,033   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-24T13:50:07,035   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-24T13:50:07,039   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-24T13:50:07,043   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-24T13:50:07,044   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-24T13:50:07,050   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-24T13:50:07,051   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-24T13:50:07,053   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-24T13:50:07,054   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-24T13:50:07,057   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-24T13:50:07,061   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-24T13:50:07,063   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-24T13:50:07,065   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-24T13:50:07,066   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-24T13:50:07,070   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-24T13:50:07,072   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-24T13:50:07,074   adding 'certora_cli/Shared/__init__.py'
2023-05-24T13:50:07,076   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-24T13:50:07,078   adding 'certora_cli/Shared/certoraTester.py'
2023-05-24T13:50:07,084   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-24T13:50:07,087   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-24T13:50:08,763   adding 'certora_jars/MutationTest.jar'
2023-05-24T13:50:10,089   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-24T13:50:11,668   adding 'certora_jars/Typechecker.jar'
2023-05-24T13:50:11,751   adding 'certora_jars/__init__.py'
2023-05-24T13:50:12,488   adding 'certora_jars/gambit-linux'
2023-05-24T13:50:13,150   adding 'certora_jars/gambit-macos'
2023-05-24T13:50:13,176   adding 'certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413.dist-info/LICENSE'
2023-05-24T13:50:13,177   adding 'certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413.dist-info/METADATA'
2023-05-24T13:50:13,178   adding 'certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413.dist-info/WHEEL'
2023-05-24T13:50:13,179   adding 'certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413.dist-info/entry_points.txt'
2023-05-24T13:50:13,180   adding 'certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413.dist-info/top_level.txt'
2023-05-24T13:50:13,181   adding 'certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413.dist-info/RECORD'
2023-05-24T13:50:13,573   removing build/bdist.linux-armv7l/wheel
2023-05-24T13:50:13,688   Building wheel for certora-cli-alpha-shays-cert-2259 (setup.py): finished with status 'done'
2023-05-24T13:50:14,078   Created wheel for certora-cli-alpha-shays-cert-2259: filename=certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413-py3-none-any.whl size=39020206 sha256=20880ea9cca4bcdcfc4d69801fb165b4033d3e54e2f2e1bf4de18454523bbf01
2023-05-24T13:50:14,079   Stored in directory: /tmp/pip-ephem-wheel-cache-yr8hp318/wheels/14/b5/52/5568cdb49c91da75190b901d062bb28d9d7fe5a9f624d49480
2023-05-24T13:50:14,102 Successfully built certora-cli-alpha-shays-cert-2259
2023-05-24T13:50:15,028 Removed build tracker: '/tmp/pip-build-tracker-j1ijf_27'