2023-04-03T13:57:37,830 Created temporary directory: /tmp/pip-ephem-wheel-cache-h01kbjud
2023-04-03T13:57:37,832 Created temporary directory: /tmp/pip-build-tracker-1flxd_sd
2023-04-03T13:57:37,833 Initialized build tracking at /tmp/pip-build-tracker-1flxd_sd
2023-04-03T13:57:37,833 Created build tracker: /tmp/pip-build-tracker-1flxd_sd
2023-04-03T13:57:37,833 Entered build tracker: /tmp/pip-build-tracker-1flxd_sd
2023-04-03T13:57:37,834 Created temporary directory: /tmp/pip-wheel-i5dpeaze
2023-04-03T13:57:37,839 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2023-04-03T13:57:37,841 Created temporary directory: /tmp/pip-ephem-wheel-cache-j9y1v09n
2023-04-03T13:57:37,866 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-04-03T13:57:37,869 2 location(s) to search for versions of certora-cli-alpha-release-2apr2023:
2023-04-03T13:57:37,869 * https://pypi.org/simple/certora-cli-alpha-release-2apr2023/
2023-04-03T13:57:37,869 * https://www.piwheels.org/simple/certora-cli-alpha-release-2apr2023/
2023-04-03T13:57:37,870 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-release-2apr2023/
2023-04-03T13:57:37,870 Getting page https://pypi.org/simple/certora-cli-alpha-release-2apr2023/
2023-04-03T13:57:37,872 Found index url https://pypi.org/simple
2023-04-03T13:57:37,923 Fetched page https://pypi.org/simple/certora-cli-alpha-release-2apr2023/ as application/vnd.pypi.simple.v1+json
2023-04-03T13:57:37,925   Found link https://files.pythonhosted.org/packages/e7/d1/3e7dbfba02caa3fbf22d5fe0b0f26133092f35d0a0cf020e1f2872f5387d/certora-cli-alpha-release-2Apr2023-20230403.13.38.299304.tar.gz (from https://pypi.org/simple/certora-cli-alpha-release-2apr2023/) (requires-python:>=3.8), version: 20230403.13.38.299304
2023-04-03T13:57:37,925   Skipping link: No binaries permitted for certora-cli-alpha-release-2apr2023: https://files.pythonhosted.org/packages/10/42/2e9db5737d733936c7dcee6f69b90eb4a79ab512cd3819f7aa1bfd0e5e20/certora_cli_alpha_release_2Apr2023-20230403.13.38.299304-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-release-2apr2023/) (requires-python:>=3.8)
2023-04-03T13:57:37,925 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-release-2apr2023/
2023-04-03T13:57:37,926 Getting page https://www.piwheels.org/simple/certora-cli-alpha-release-2apr2023/
2023-04-03T13:57:37,927 Found index url https://www.piwheels.org/simple
2023-04-03T13:57:38,110 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-release-2apr2023/ as text/html
2023-04-03T13:57:38,111 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-release-2apr2023/
2023-04-03T13:57:38,112 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-release-2apr2023/
2023-04-03T13:57:38,130 Given no hashes to check 1 links for project 'certora-cli-alpha-release-2apr2023': discarding no candidates
2023-04-03T13:57:38,147 Collecting certora-cli-alpha-release-2apr2023==20230403.13.38.299304
2023-04-03T13:57:38,149   Created temporary directory: /tmp/pip-unpack-zot2nu83
2023-04-03T13:57:38,400   Downloading certora-cli-alpha-release-2Apr2023-20230403.13.38.299304.tar.gz (25.7 MB)
2023-04-03T13:57:51,167   Added certora-cli-alpha-release-2apr2023==20230403.13.38.299304 from https://files.pythonhosted.org/packages/e7/d1/3e7dbfba02caa3fbf22d5fe0b0f26133092f35d0a0cf020e1f2872f5387d/certora-cli-alpha-release-2Apr2023-20230403.13.38.299304.tar.gz to build tracker '/tmp/pip-build-tracker-1flxd_sd'
2023-04-03T13:57:51,169   Running setup.py (path:/tmp/pip-wheel-i5dpeaze/certora-cli-alpha-release-2apr2023_a6f0dfbcae8a4e16aa992aa295d76b37/setup.py) egg_info for package certora-cli-alpha-release-2apr2023
2023-04-03T13:57:51,169   Created temporary directory: /tmp/pip-pip-egg-info-2nbmpc7t
2023-04-03T13:57:51,170   Preparing metadata (setup.py): started
2023-04-03T13:57:51,171   Running command python setup.py egg_info
2023-04-03T13:57:51,839   running egg_info
2023-04-03T13:57:51,841   creating /tmp/pip-pip-egg-info-2nbmpc7t/certora_cli_alpha_release_2Apr2023.egg-info
2023-04-03T13:57:51,873   writing /tmp/pip-pip-egg-info-2nbmpc7t/certora_cli_alpha_release_2Apr2023.egg-info/PKG-INFO
2023-04-03T13:57:51,875   writing dependency_links to /tmp/pip-pip-egg-info-2nbmpc7t/certora_cli_alpha_release_2Apr2023.egg-info/dependency_links.txt
2023-04-03T13:57:51,878   writing entry points to /tmp/pip-pip-egg-info-2nbmpc7t/certora_cli_alpha_release_2Apr2023.egg-info/entry_points.txt
2023-04-03T13:57:51,879   writing requirements to /tmp/pip-pip-egg-info-2nbmpc7t/certora_cli_alpha_release_2Apr2023.egg-info/requires.txt
2023-04-03T13:57:51,881   writing top-level names to /tmp/pip-pip-egg-info-2nbmpc7t/certora_cli_alpha_release_2Apr2023.egg-info/top_level.txt
2023-04-03T13:57:51,882   writing manifest file '/tmp/pip-pip-egg-info-2nbmpc7t/certora_cli_alpha_release_2Apr2023.egg-info/SOURCES.txt'
2023-04-03T13:57:51,986   reading manifest file '/tmp/pip-pip-egg-info-2nbmpc7t/certora_cli_alpha_release_2Apr2023.egg-info/SOURCES.txt'
2023-04-03T13:57:51,988   reading manifest template 'MANIFEST.in'
2023-04-03T13:57:51,995   adding license file 'LICENSE'
2023-04-03T13:57:51,999   writing manifest file '/tmp/pip-pip-egg-info-2nbmpc7t/certora_cli_alpha_release_2Apr2023.egg-info/SOURCES.txt'
2023-04-03T13:57:52,060   Preparing metadata (setup.py): finished with status 'done'
2023-04-03T13:57:52,066   Source in /tmp/pip-wheel-i5dpeaze/certora-cli-alpha-release-2apr2023_a6f0dfbcae8a4e16aa992aa295d76b37 has version 20230403.13.38.299304, which satisfies requirement certora-cli-alpha-release-2apr2023==20230403.13.38.299304 from https://files.pythonhosted.org/packages/e7/d1/3e7dbfba02caa3fbf22d5fe0b0f26133092f35d0a0cf020e1f2872f5387d/certora-cli-alpha-release-2Apr2023-20230403.13.38.299304.tar.gz
2023-04-03T13:57:52,067   Removed certora-cli-alpha-release-2apr2023==20230403.13.38.299304 from https://files.pythonhosted.org/packages/e7/d1/3e7dbfba02caa3fbf22d5fe0b0f26133092f35d0a0cf020e1f2872f5387d/certora-cli-alpha-release-2Apr2023-20230403.13.38.299304.tar.gz from build tracker '/tmp/pip-build-tracker-1flxd_sd'
2023-04-03T13:57:52,074 Created temporary directory: /tmp/pip-unpack-yz4bio59
2023-04-03T13:57:52,074 Building wheels for collected packages: certora-cli-alpha-release-2apr2023
2023-04-03T13:57:52,080   Created temporary directory: /tmp/pip-wheel-2p7v9ean
2023-04-03T13:57:52,080   Building wheel for certora-cli-alpha-release-2apr2023 (setup.py): started
2023-04-03T13:57:52,081   Destination directory: /tmp/pip-wheel-2p7v9ean
2023-04-03T13:57:52,081   Running command python setup.py bdist_wheel
2023-04-03T13:57:53,028   running bdist_wheel
2023-04-03T13:57:53,345   running build
2023-04-03T13:57:53,345   running build_py
2023-04-03T13:57:53,382   creating build
2023-04-03T13:57:53,383   creating build/lib
2023-04-03T13:57:53,383   creating build/lib/certora_cli
2023-04-03T13:57:53,385   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-04-03T13:57:53,386   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-04-03T13:57:53,389   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-04-03T13:57:53,391   creating build/lib/certora_jars
2023-04-03T13:57:53,392   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-04-03T13:57:53,394   creating build/lib/certora_cli/Shared
2023-04-03T13:57:53,395   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-04-03T13:57:53,398   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-04-03T13:57:53,400   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-04-03T13:57:53,402   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-04-03T13:57:53,406   creating build/lib/certora_cli/EVMVerifier
2023-04-03T13:57:53,407   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-04-03T13:57:53,409   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-04-03T13:57:53,412   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-04-03T13:57:53,415   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-04-03T13:57:53,421   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-04-03T13:57:53,424   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-04-03T13:57:53,428   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-04-03T13:57:53,431   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-04-03T13:57:53,433   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-04-03T13:57:53,436   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-04-03T13:57:53,437   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-04-03T13:57:53,439   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-04-03T13:57:53,441   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-04-03T13:57:53,444   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-04-03T13:57:53,445   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-04-03T13:57:53,447   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-04-03T13:57:53,449   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-04-03T13:57:53,451   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-04-03T13:57:53,453   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-04-03T13:57:53,455   running egg_info
2023-04-03T13:57:53,528   writing certora_cli_alpha_release_2Apr2023.egg-info/PKG-INFO
2023-04-03T13:57:53,530   writing dependency_links to certora_cli_alpha_release_2Apr2023.egg-info/dependency_links.txt
2023-04-03T13:57:53,532   writing entry points to certora_cli_alpha_release_2Apr2023.egg-info/entry_points.txt
2023-04-03T13:57:53,533   writing requirements to certora_cli_alpha_release_2Apr2023.egg-info/requires.txt
2023-04-03T13:57:53,534   writing top-level names to certora_cli_alpha_release_2Apr2023.egg-info/top_level.txt
2023-04-03T13:57:53,571   reading manifest file 'certora_cli_alpha_release_2Apr2023.egg-info/SOURCES.txt'
2023-04-03T13:57:53,574   reading manifest template 'MANIFEST.in'
2023-04-03T13:57:53,580   adding license file 'LICENSE'
2023-04-03T13:57:53,584   writing manifest file 'certora_cli_alpha_release_2Apr2023.egg-info/SOURCES.txt'
2023-04-03T13:57:53,587   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-04-03T13:57:53,850   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-04-03T13:57:54,075   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-04-03T13:57:54,206   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-04-03T13:57:54,350   /usr/local/lib/python3.9/dist-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools.
2023-04-03T13:57:54,350     warnings.warn(
2023-04-03T13:57:54,383   installing to build/bdist.linux-armv7l/wheel
2023-04-03T13:57:54,384   running install
2023-04-03T13:57:54,409   running install_lib
2023-04-03T13:57:54,443   creating build/bdist.linux-armv7l
2023-04-03T13:57:54,443   creating build/bdist.linux-armv7l/wheel
2023-04-03T13:57:54,445   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-04-03T13:57:54,447   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-04-03T13:57:54,448   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-04-03T13:57:54,451   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-04-03T13:57:54,453   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-04-03T13:57:54,456   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-04-03T13:57:54,459   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-04-03T13:57:54,461   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-04-03T13:57:54,464   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-04-03T13:57:54,466   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-03T13:57:54,467   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-03T13:57:54,469   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-03T13:57:54,472   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-03T13:57:54,476   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-04-03T13:57:54,477   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-04-03T13:57:54,479   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-04-03T13:57:54,482   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-04-03T13:57:54,484   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-04-03T13:57:54,487   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-04-03T13:57:54,489   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-03T13:57:54,497   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-03T13:57:54,500   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-03T13:57:54,503   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-03T13:57:54,507   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-03T13:57:54,509   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-03T13:57:54,512   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-03T13:57:54,514   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-03T13:57:54,516   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-03T13:57:54,518   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-03T13:57:54,522   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-04-03T13:57:54,523   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-04-03T13:57:54,668   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-04-03T13:57:54,898   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-04-03T13:57:55,022   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-04-03T13:57:55,259   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-04-03T13:57:55,260   running install_egg_info
2023-04-03T13:57:55,299   Copying certora_cli_alpha_release_2Apr2023.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_release_2Apr2023-20230403.13.38.299304-py3.9.egg-info
2023-04-03T13:57:55,312   running install_scripts
2023-04-03T13:57:55,330   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-04-03T13:57:55,335   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_release_2Apr2023-20230403.13.38.299304.dist-info/WHEEL
2023-04-03T13:57:55,338   creating '/tmp/pip-wheel-2p7v9ean/certora_cli_alpha_release_2Apr2023-20230403.13.38.299304-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-04-03T13:57:55,341   adding 'certora_cli/__init__.py'
2023-04-03T13:57:55,342   adding 'certora_cli/certoraMutate.py'
2023-04-03T13:57:55,344   adding 'certora_cli/certoraRun.py'
2023-04-03T13:57:55,346   adding 'certora_cli/EVMVerifier/__init__.py'
2023-04-03T13:57:55,368   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-04-03T13:57:55,374   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-04-03T13:57:55,376   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-04-03T13:57:55,378   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-04-03T13:57:55,382   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-04-03T13:57:55,386   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-04-03T13:57:55,387   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-04-03T13:57:55,393   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-04-03T13:57:55,395   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-04-03T13:57:55,396   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-04-03T13:57:55,398   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-04-03T13:57:55,402   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-04-03T13:57:55,404   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-04-03T13:57:55,406   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-04-03T13:57:55,408   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-04-03T13:57:55,410   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-04-03T13:57:55,411   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-04-03T13:57:55,413   adding 'certora_cli/Shared/__init__.py'
2023-04-03T13:57:55,416   adding 'certora_cli/Shared/certoraLogging.py'
2023-04-03T13:57:55,417   adding 'certora_cli/Shared/certoraTester.py'
2023-04-03T13:57:55,423   adding 'certora_cli/Shared/certoraUtils.py'
2023-04-03T13:57:56,925   adding 'certora_jars/MutationTest.jar'
2023-04-03T13:57:58,272   adding 'certora_jars/Typechecker.jar'
2023-04-03T13:57:58,340   adding 'certora_jars/__init__.py'
2023-04-03T13:57:59,212   adding 'certora_jars/gambit-linux'
2023-04-03T13:58:00,082   adding 'certora_jars/gambit-macos'
2023-04-03T13:58:00,117   adding 'certora_cli_alpha_release_2Apr2023-20230403.13.38.299304.dist-info/LICENSE'
2023-04-03T13:58:00,118   adding 'certora_cli_alpha_release_2Apr2023-20230403.13.38.299304.dist-info/METADATA'
2023-04-03T13:58:00,120   adding 'certora_cli_alpha_release_2Apr2023-20230403.13.38.299304.dist-info/WHEEL'
2023-04-03T13:58:00,121   adding 'certora_cli_alpha_release_2Apr2023-20230403.13.38.299304.dist-info/entry_points.txt'
2023-04-03T13:58:00,122   adding 'certora_cli_alpha_release_2Apr2023-20230403.13.38.299304.dist-info/top_level.txt'
2023-04-03T13:58:00,123   adding 'certora_cli_alpha_release_2Apr2023-20230403.13.38.299304.dist-info/RECORD'
2023-04-03T13:58:00,416   removing build/bdist.linux-armv7l/wheel
2023-04-03T13:58:00,536   Building wheel for certora-cli-alpha-release-2apr2023 (setup.py): finished with status 'done'
2023-04-03T13:58:00,815   Created wheel for certora-cli-alpha-release-2apr2023: filename=certora_cli_alpha_release_2Apr2023-20230403.13.38.299304-py3-none-any.whl size=25766930 sha256=6d0b25af51f5265d485e86f428134bb1120d529a6bf9677d83d442cc867d5d44
2023-04-03T13:58:00,816   Stored in directory: /tmp/pip-ephem-wheel-cache-j9y1v09n/wheels/d6/ac/b3/f1b4b4ea5098cd7f039631a150c105e76ea4d2b90a09e305ae
2023-04-03T13:58:00,841 Successfully built certora-cli-alpha-release-2apr2023
2023-04-03T13:58:01,645 Removed build tracker: '/tmp/pip-build-tracker-1flxd_sd'