2023-05-13T23:38:36,035 Created temporary directory: /tmp/pip-build-tracker-mr_ip4qu
2023-05-13T23:38:36,036 Initialized build tracking at /tmp/pip-build-tracker-mr_ip4qu
2023-05-13T23:38:36,036 Created build tracker: /tmp/pip-build-tracker-mr_ip4qu
2023-05-13T23:38:36,037 Entered build tracker: /tmp/pip-build-tracker-mr_ip4qu
2023-05-13T23:38:36,037 Created temporary directory: /tmp/pip-wheel-fuoddijk
2023-05-13T23:38:36,041 Created temporary directory: /tmp/pip-ephem-wheel-cache-bqnv6kzn
2023-05-13T23:38:36,071 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-13T23:38:36,075 2 location(s) to search for versions of certora-cli-alpha-shahar-valuerangeanalysis:
2023-05-13T23:38:36,075 * https://pypi.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-13T23:38:36,075 * https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-13T23:38:36,076 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-13T23:38:36,076 Getting page https://pypi.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-13T23:38:36,078 Found index url https://pypi.org/simple/
2023-05-13T23:38:36,139 Fetched page https://pypi.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/ as application/vnd.pypi.simple.v1+json
2023-05-13T23:38:36,141   Found link https://files.pythonhosted.org/packages/5e/26/8fd41577c26526d39867b10f9fa2c3e71ea1b279ecbb17fcb95860d2799d/certora-cli-alpha-Shahar-ValueRangeAnalysis-20230504.15.15.372193.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/) (requires-python:>=3.8.16), version: 20230504.15.15.372193
2023-05-13T23:38:36,142   Skipping link: No binaries permitted for certora-cli-alpha-shahar-valuerangeanalysis: https://files.pythonhosted.org/packages/90/10/64d410454293bb96d8d829f43fb12b09a8929c5813ea6b068477be9519db/certora_cli_alpha_Shahar_ValueRangeAnalysis-20230504.15.15.372193-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/) (requires-python:>=3.8.16)
2023-05-13T23:38:36,142   Found link https://files.pythonhosted.org/packages/8e/b3/5cd9d2ec37151ac43d95233c6c0b6eebe00b38a0757d894768761731a73a/certora-cli-alpha-Shahar-ValueRangeAnalysis-20230507.6.53.61010.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/) (requires-python:>=3.8.16), version: 20230507.6.53.61010
2023-05-13T23:38:36,142   Skipping link: No binaries permitted for certora-cli-alpha-shahar-valuerangeanalysis: https://files.pythonhosted.org/packages/ca/51/0ddf247a902337be83b11c5044d6c0696b332fe04482ed3ae87f11eac361/certora_cli_alpha_Shahar_ValueRangeAnalysis-20230507.6.53.61010-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/) (requires-python:>=3.8.16)
2023-05-13T23:38:36,143 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-13T23:38:36,143 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-13T23:38:36,144 Found index url https://www.piwheels.org/simple/
2023-05-13T23:38:36,338 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/ as text/html
2023-05-13T23:38:36,339   Skipping link: No binaries permitted for certora-cli-alpha-shahar-valuerangeanalysis: https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/certora_cli_alpha_Shahar_ValueRangeAnalysis-20230507.6.53.61010-py3-none-any.whl#sha256=16ce510df0b04f2877fdc51ab21680decb50350f7b1298b265ae6a1acfc4ba7a (from https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/) (requires-python:>=3.8.16)
2023-05-13T23:38:36,340   Skipping link: No binaries permitted for certora-cli-alpha-shahar-valuerangeanalysis: https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/certora_cli_alpha_Shahar_ValueRangeAnalysis-20230504.15.15.372193-py3-none-any.whl#sha256=96b7e4d912cd8ebd846cf8412f03631fdcd52aed674fb526b2261c8dd0532f16 (from https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/) (requires-python:>=3.8.16)
2023-05-13T23:38:36,340 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-13T23:38:36,340 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-13T23:38:36,358 Given no hashes to check 1 links for project 'certora-cli-alpha-shahar-valuerangeanalysis': discarding no candidates
2023-05-13T23:38:36,376 Collecting certora-cli-alpha-shahar-valuerangeanalysis==20230504.15.15.372193
2023-05-13T23:38:36,378   Created temporary directory: /tmp/pip-unpack-7dt6htfv
2023-05-13T23:38:36,504   Downloading certora-cli-alpha-Shahar-ValueRangeAnalysis-20230504.15.15.372193.tar.gz (38.4 MB)
2023-05-13T23:38:46,070   Added certora-cli-alpha-shahar-valuerangeanalysis==20230504.15.15.372193 from https://files.pythonhosted.org/packages/5e/26/8fd41577c26526d39867b10f9fa2c3e71ea1b279ecbb17fcb95860d2799d/certora-cli-alpha-Shahar-ValueRangeAnalysis-20230504.15.15.372193.tar.gz to build tracker '/tmp/pip-build-tracker-mr_ip4qu'
2023-05-13T23:38:46,072   Running setup.py (path:/tmp/pip-wheel-fuoddijk/certora-cli-alpha-shahar-valuerangeanalysis_11e56caf0e4e420c8e2090f41bea27f4/setup.py) egg_info for package certora-cli-alpha-shahar-valuerangeanalysis
2023-05-13T23:38:46,073   Created temporary directory: /tmp/pip-pip-egg-info-gdr4xqpa
2023-05-13T23:38:46,073   Preparing metadata (setup.py): started
2023-05-13T23:38:46,074   Running command python setup.py egg_info
2023-05-13T23:38:46,677   running egg_info
2023-05-13T23:38:46,678   creating /tmp/pip-pip-egg-info-gdr4xqpa/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info
2023-05-13T23:38:46,703   writing /tmp/pip-pip-egg-info-gdr4xqpa/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/PKG-INFO
2023-05-13T23:38:46,706   writing dependency_links to /tmp/pip-pip-egg-info-gdr4xqpa/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/dependency_links.txt
2023-05-13T23:38:46,708   writing entry points to /tmp/pip-pip-egg-info-gdr4xqpa/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/entry_points.txt
2023-05-13T23:38:46,710   writing requirements to /tmp/pip-pip-egg-info-gdr4xqpa/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/requires.txt
2023-05-13T23:38:46,711   writing top-level names to /tmp/pip-pip-egg-info-gdr4xqpa/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/top_level.txt
2023-05-13T23:38:46,712   writing manifest file '/tmp/pip-pip-egg-info-gdr4xqpa/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/SOURCES.txt'
2023-05-13T23:38:46,796   reading manifest file '/tmp/pip-pip-egg-info-gdr4xqpa/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/SOURCES.txt'
2023-05-13T23:38:46,798   reading manifest template 'MANIFEST.in'
2023-05-13T23:38:46,808   adding license file 'LICENSE'
2023-05-13T23:38:46,811   writing manifest file '/tmp/pip-pip-egg-info-gdr4xqpa/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/SOURCES.txt'
2023-05-13T23:38:46,872   Preparing metadata (setup.py): finished with status 'done'
2023-05-13T23:38:46,878   Source in /tmp/pip-wheel-fuoddijk/certora-cli-alpha-shahar-valuerangeanalysis_11e56caf0e4e420c8e2090f41bea27f4 has version 20230504.15.15.372193, which satisfies requirement certora-cli-alpha-shahar-valuerangeanalysis==20230504.15.15.372193 from https://files.pythonhosted.org/packages/5e/26/8fd41577c26526d39867b10f9fa2c3e71ea1b279ecbb17fcb95860d2799d/certora-cli-alpha-Shahar-ValueRangeAnalysis-20230504.15.15.372193.tar.gz
2023-05-13T23:38:46,879   Removed certora-cli-alpha-shahar-valuerangeanalysis==20230504.15.15.372193 from https://files.pythonhosted.org/packages/5e/26/8fd41577c26526d39867b10f9fa2c3e71ea1b279ecbb17fcb95860d2799d/certora-cli-alpha-Shahar-ValueRangeAnalysis-20230504.15.15.372193.tar.gz from build tracker '/tmp/pip-build-tracker-mr_ip4qu'
2023-05-13T23:38:46,886 Created temporary directory: /tmp/pip-unpack-poe8qa1n
2023-05-13T23:38:46,886 Building wheels for collected packages: certora-cli-alpha-shahar-valuerangeanalysis
2023-05-13T23:38:46,890   Created temporary directory: /tmp/pip-wheel-oi_i5onv
2023-05-13T23:38:46,891   Building wheel for certora-cli-alpha-shahar-valuerangeanalysis (setup.py): started
2023-05-13T23:38:46,892   Destination directory: /tmp/pip-wheel-oi_i5onv
2023-05-13T23:38:46,892   Running command python setup.py bdist_wheel
2023-05-13T23:38:47,765   running bdist_wheel
2023-05-13T23:38:48,060   running build
2023-05-13T23:38:48,061   running build_py
2023-05-13T23:38:48,090   creating build
2023-05-13T23:38:48,090   creating build/lib
2023-05-13T23:38:48,091   creating build/lib/certora_jars
2023-05-13T23:38:48,092   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-13T23:38:48,094   creating build/lib/certora_cli
2023-05-13T23:38:48,095   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-13T23:38:48,097   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-13T23:38:48,099   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-13T23:38:48,102   creating build/lib/certora_cli/Shared
2023-05-13T23:38:48,103   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-13T23:38:48,105   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-13T23:38:48,107   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-13T23:38:48,111   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-13T23:38:48,114   creating build/lib/certora_cli/EVMVerifier
2023-05-13T23:38:48,115   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:38:48,120   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:38:48,123   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:38:48,125   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:38:48,126   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:38:48,129   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:38:48,133   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:38:48,136   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:38:48,137   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:38:48,140   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:38:48,143   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:38:48,146   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:38:48,149   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:38:48,152   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T23:38:48,153   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T23:38:48,155   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T23:38:48,158   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T23:38:48,160   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T23:38:48,161   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T23:38:48,164   running egg_info
2023-05-13T23:38:48,225   writing certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/PKG-INFO
2023-05-13T23:38:48,227   writing dependency_links to certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/dependency_links.txt
2023-05-13T23:38:48,229   writing entry points to certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/entry_points.txt
2023-05-13T23:38:48,231   writing requirements to certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/requires.txt
2023-05-13T23:38:48,232   writing top-level names to certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/top_level.txt
2023-05-13T23:38:48,262   reading manifest file 'certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/SOURCES.txt'
2023-05-13T23:38:48,265   reading manifest template 'MANIFEST.in'
2023-05-13T23:38:48,274   adding license file 'LICENSE'
2023-05-13T23:38:48,278   writing manifest file 'certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/SOURCES.txt'
2023-05-13T23:38:48,282   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-13T23:38:48,284   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-13T23:38:48,488   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-13T23:38:48,854   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-13T23:38:49,105   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-13T23:38:49,233   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-13T23:38:49,361   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-13T23:38:49,361   !!

2023-05-13T23:38:49,362           ********************************************************************************
2023-05-13T23:38:49,362           Please avoid running ``setup.py`` directly.
2023-05-13T23:38:49,362           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-13T23:38:49,362           other standards-based tools.

2023-05-13T23:38:49,362           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-13T23:38:49,362           ********************************************************************************

2023-05-13T23:38:49,363   !!
2023-05-13T23:38:49,363     self.initialize_options()
2023-05-13T23:38:49,389   installing to build/bdist.linux-aarch64/wheel
2023-05-13T23:38:49,389   running install
2023-05-13T23:38:49,415   running install_lib
2023-05-13T23:38:49,442   creating build/bdist.linux-aarch64
2023-05-13T23:38:49,442   creating build/bdist.linux-aarch64/wheel
2023-05-13T23:38:49,444   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:38:49,446   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:38:49,448   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:38:49,822   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:38:49,968   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:38:50,228   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:38:50,316   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:38:50,616   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:38:50,619   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T23:38:50,621   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T23:38:50,623   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T23:38:50,626   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T23:38:50,630   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T23:38:50,634   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T23:38:50,637   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:38:50,639   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:38:50,647   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:38:50,650   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T23:38:50,651   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T23:38:50,654   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T23:38:50,656   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T23:38:50,658   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T23:38:50,660   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T23:38:50,663   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:38:50,665   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:38:50,667   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:38:50,670   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:38:50,673   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:38:50,675   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:38:50,677   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:38:50,681   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:38:50,683   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:38:50,687   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:38:50,689   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:38:50,692   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T23:38:50,693   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T23:38:50,695   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T23:38:50,697   running install_egg_info
2023-05-13T23:38:50,727   Copying certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_Shahar_ValueRangeAnalysis-20230504.15.15.372193-py3.9.egg-info
2023-05-13T23:38:50,739   running install_scripts
2023-05-13T23:38:50,756   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-13T23:38:50,760   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_Shahar_ValueRangeAnalysis-20230504.15.15.372193.dist-info/WHEEL
2023-05-13T23:38:50,763   creating '/tmp/pip-wheel-oi_i5onv/certora_cli_alpha_Shahar_ValueRangeAnalysis-20230504.15.15.372193-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-13T23:38:50,765   adding 'certora_cli/__init__.py'
2023-05-13T23:38:50,767   adding 'certora_cli/certoraMutate.py'
2023-05-13T23:38:50,769   adding 'certora_cli/certoraRun.py'
2023-05-13T23:38:50,771   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-13T23:38:50,792   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-13T23:38:50,799   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-13T23:38:50,801   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-13T23:38:50,803   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-13T23:38:50,807   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-13T23:38:50,811   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-13T23:38:50,813   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-13T23:38:50,819   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-13T23:38:50,822   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-13T23:38:50,823   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-13T23:38:50,826   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-13T23:38:50,830   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-13T23:38:50,832   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-13T23:38:50,834   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-13T23:38:50,835   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-13T23:38:50,839   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-13T23:38:50,841   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-13T23:38:50,843   adding 'certora_cli/Shared/__init__.py'
2023-05-13T23:38:50,845   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-13T23:38:50,847   adding 'certora_cli/Shared/certoraTester.py'
2023-05-13T23:38:50,853   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-13T23:38:50,856   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-13T23:38:52,428   adding 'certora_jars/MutationTest.jar'
2023-05-13T23:38:53,731   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-13T23:38:55,460   adding 'certora_jars/Typechecker.jar'
2023-05-13T23:38:55,602   adding 'certora_jars/__init__.py'
2023-05-13T23:38:56,465   adding 'certora_jars/gambit-linux'
2023-05-13T23:38:57,319   adding 'certora_jars/gambit-macos'
2023-05-13T23:38:57,355   adding 'certora_cli_alpha_Shahar_ValueRangeAnalysis-20230504.15.15.372193.dist-info/LICENSE'
2023-05-13T23:38:57,356   adding 'certora_cli_alpha_Shahar_ValueRangeAnalysis-20230504.15.15.372193.dist-info/METADATA'
2023-05-13T23:38:57,357   adding 'certora_cli_alpha_Shahar_ValueRangeAnalysis-20230504.15.15.372193.dist-info/WHEEL'
2023-05-13T23:38:57,358   adding 'certora_cli_alpha_Shahar_ValueRangeAnalysis-20230504.15.15.372193.dist-info/entry_points.txt'
2023-05-13T23:38:57,359   adding 'certora_cli_alpha_Shahar_ValueRangeAnalysis-20230504.15.15.372193.dist-info/top_level.txt'
2023-05-13T23:38:57,361   adding 'certora_cli_alpha_Shahar_ValueRangeAnalysis-20230504.15.15.372193.dist-info/RECORD'
2023-05-13T23:38:57,879   removing build/bdist.linux-aarch64/wheel
2023-05-13T23:38:58,005   Building wheel for certora-cli-alpha-shahar-valuerangeanalysis (setup.py): finished with status 'done'
2023-05-13T23:38:58,325   Created wheel for certora-cli-alpha-shahar-valuerangeanalysis: filename=certora_cli_alpha_Shahar_ValueRangeAnalysis-20230504.15.15.372193-py3-none-any.whl size=38420465 sha256=f25c72dd28a8f4b0cd9a8f1b11c26f2c79708ea4edee6d37b33df7daba5e673e
2023-05-13T23:38:58,327   Stored in directory: /tmp/pip-ephem-wheel-cache-bqnv6kzn/wheels/c4/ee/05/54c98ed05d7ccf90c712e8553413eb8ba5b9c444d31607f25f
2023-05-13T23:38:58,355 Successfully built certora-cli-alpha-shahar-valuerangeanalysis
2023-05-13T23:38:59,371 Removed build tracker: '/tmp/pip-build-tracker-mr_ip4qu'