2023-05-14T03:39:18,980 Created temporary directory: /tmp/pip-build-tracker-j44gvgmk
2023-05-14T03:39:18,982 Initialized build tracking at /tmp/pip-build-tracker-j44gvgmk
2023-05-14T03:39:18,982 Created build tracker: /tmp/pip-build-tracker-j44gvgmk
2023-05-14T03:39:18,982 Entered build tracker: /tmp/pip-build-tracker-j44gvgmk
2023-05-14T03:39:18,983 Created temporary directory: /tmp/pip-wheel-bk3en5cn
2023-05-14T03:39:18,986 Created temporary directory: /tmp/pip-ephem-wheel-cache-e2cn6y2v
2023-05-14T03:39:19,013 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-14T03:39:19,017 2 location(s) to search for versions of certora-cli-alpha-shahar-valuerangeanalysis:
2023-05-14T03:39:19,017 * https://pypi.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-14T03:39:19,017 * https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-14T03:39:19,017 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-14T03:39:19,018 Getting page https://pypi.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-14T03:39:19,019 Found index url https://pypi.org/simple/
2023-05-14T03:39:19,073 Fetched page https://pypi.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/ as application/vnd.pypi.simple.v1+json
2023-05-14T03:39:19,075   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-14T03:39:19,075   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-14T03:39:19,076   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-14T03:39:19,076   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-14T03:39:19,076 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-14T03:39:19,077 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-14T03:39:19,078 Found index url https://www.piwheels.org/simple/
2023-05-14T03:39:19,269 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/ as text/html
2023-05-14T03:39:19,271   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=f25c72dd28a8f4b0cd9a8f1b11c26f2c79708ea4edee6d37b33df7daba5e673e (from https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/) (requires-python:>=3.8.16)
2023-05-14T03:39:19,271 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-14T03:39:19,271 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/
2023-05-14T03:39:19,288 Given no hashes to check 1 links for project 'certora-cli-alpha-shahar-valuerangeanalysis': discarding no candidates
2023-05-14T03:39:19,304 Collecting certora-cli-alpha-shahar-valuerangeanalysis==20230507.6.53.61010
2023-05-14T03:39:19,306   Created temporary directory: /tmp/pip-unpack-azfjc2mp
2023-05-14T03:39:19,438   Downloading certora-cli-alpha-Shahar-ValueRangeAnalysis-20230507.6.53.61010.tar.gz (38.5 MB)
2023-05-14T03:39:28,596   Added certora-cli-alpha-shahar-valuerangeanalysis==20230507.6.53.61010 from https://files.pythonhosted.org/packages/8e/b3/5cd9d2ec37151ac43d95233c6c0b6eebe00b38a0757d894768761731a73a/certora-cli-alpha-Shahar-ValueRangeAnalysis-20230507.6.53.61010.tar.gz to build tracker '/tmp/pip-build-tracker-j44gvgmk'
2023-05-14T03:39:28,598   Running setup.py (path:/tmp/pip-wheel-bk3en5cn/certora-cli-alpha-shahar-valuerangeanalysis_30530a17ebde41f4b2b773c33e8a04c7/setup.py) egg_info for package certora-cli-alpha-shahar-valuerangeanalysis
2023-05-14T03:39:28,598   Created temporary directory: /tmp/pip-pip-egg-info-kcoi4n2w
2023-05-14T03:39:28,599   Preparing metadata (setup.py): started
2023-05-14T03:39:28,600   Running command python setup.py egg_info
2023-05-14T03:39:29,158   /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230507.6.53.061010' to '20230507.6.53.61010'
2023-05-14T03:39:29,159     self.metadata.version = self._normalize_version(
2023-05-14T03:39:29,205   running egg_info
2023-05-14T03:39:29,207   creating /tmp/pip-pip-egg-info-kcoi4n2w/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info
2023-05-14T03:39:29,232   writing /tmp/pip-pip-egg-info-kcoi4n2w/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/PKG-INFO
2023-05-14T03:39:29,235   writing dependency_links to /tmp/pip-pip-egg-info-kcoi4n2w/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/dependency_links.txt
2023-05-14T03:39:29,237   writing entry points to /tmp/pip-pip-egg-info-kcoi4n2w/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/entry_points.txt
2023-05-14T03:39:29,239   writing requirements to /tmp/pip-pip-egg-info-kcoi4n2w/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/requires.txt
2023-05-14T03:39:29,240   writing top-level names to /tmp/pip-pip-egg-info-kcoi4n2w/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/top_level.txt
2023-05-14T03:39:29,242   writing manifest file '/tmp/pip-pip-egg-info-kcoi4n2w/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/SOURCES.txt'
2023-05-14T03:39:29,325   reading manifest file '/tmp/pip-pip-egg-info-kcoi4n2w/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/SOURCES.txt'
2023-05-14T03:39:29,327   reading manifest template 'MANIFEST.in'
2023-05-14T03:39:29,337   adding license file 'LICENSE'
2023-05-14T03:39:29,341   writing manifest file '/tmp/pip-pip-egg-info-kcoi4n2w/certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/SOURCES.txt'
2023-05-14T03:39:29,401   Preparing metadata (setup.py): finished with status 'done'
2023-05-14T03:39:29,407   Source in /tmp/pip-wheel-bk3en5cn/certora-cli-alpha-shahar-valuerangeanalysis_30530a17ebde41f4b2b773c33e8a04c7 has version 20230507.6.53.61010, which satisfies requirement certora-cli-alpha-shahar-valuerangeanalysis==20230507.6.53.61010 from https://files.pythonhosted.org/packages/8e/b3/5cd9d2ec37151ac43d95233c6c0b6eebe00b38a0757d894768761731a73a/certora-cli-alpha-Shahar-ValueRangeAnalysis-20230507.6.53.61010.tar.gz
2023-05-14T03:39:29,408   Removed certora-cli-alpha-shahar-valuerangeanalysis==20230507.6.53.61010 from https://files.pythonhosted.org/packages/8e/b3/5cd9d2ec37151ac43d95233c6c0b6eebe00b38a0757d894768761731a73a/certora-cli-alpha-Shahar-ValueRangeAnalysis-20230507.6.53.61010.tar.gz from build tracker '/tmp/pip-build-tracker-j44gvgmk'
2023-05-14T03:39:29,415 Created temporary directory: /tmp/pip-unpack-f1sedls8
2023-05-14T03:39:29,415 Building wheels for collected packages: certora-cli-alpha-shahar-valuerangeanalysis
2023-05-14T03:39:29,420   Created temporary directory: /tmp/pip-wheel-kxcm1uak
2023-05-14T03:39:29,420   Building wheel for certora-cli-alpha-shahar-valuerangeanalysis (setup.py): started
2023-05-14T03:39:29,421   Destination directory: /tmp/pip-wheel-kxcm1uak
2023-05-14T03:39:29,421   Running command python setup.py bdist_wheel
2023-05-14T03:39:29,981   /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230507.6.53.061010' to '20230507.6.53.61010'
2023-05-14T03:39:29,982     self.metadata.version = self._normalize_version(
2023-05-14T03:39:30,238   running bdist_wheel
2023-05-14T03:39:30,518   running build
2023-05-14T03:39:30,518   running build_py
2023-05-14T03:39:30,547   creating build
2023-05-14T03:39:30,548   creating build/lib
2023-05-14T03:39:30,548   creating build/lib/certora_cli
2023-05-14T03:39:30,550   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-14T03:39:30,551   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-14T03:39:30,553   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-14T03:39:30,556   creating build/lib/certora_jars
2023-05-14T03:39:30,557   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-14T03:39:30,560   creating build/lib/certora_cli/Shared
2023-05-14T03:39:30,561   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-14T03:39:30,563   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-14T03:39:30,566   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-14T03:39:30,568   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-14T03:39:30,572   creating build/lib/certora_cli/EVMVerifier
2023-05-14T03:39:30,573   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:39:30,575   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:39:30,577   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:39:30,579   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:39:30,582   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:39:30,585   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:39:30,588   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:39:30,591   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:39:30,594   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:39:30,602   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:39:30,606   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:39:30,608   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:39:30,610   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:39:30,613   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T03:39:30,614   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T03:39:30,616   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T03:39:30,619   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T03:39:30,621   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T03:39:30,623   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T03:39:30,627   running egg_info
2023-05-14T03:39:30,687   writing certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/PKG-INFO
2023-05-14T03:39:30,689   writing dependency_links to certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/dependency_links.txt
2023-05-14T03:39:30,691   writing entry points to certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/entry_points.txt
2023-05-14T03:39:30,693   writing requirements to certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/requires.txt
2023-05-14T03:39:30,694   writing top-level names to certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/top_level.txt
2023-05-14T03:39:30,724   reading manifest file 'certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/SOURCES.txt'
2023-05-14T03:39:30,727   reading manifest template 'MANIFEST.in'
2023-05-14T03:39:30,737   adding license file 'LICENSE'
2023-05-14T03:39:30,741   writing manifest file 'certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info/SOURCES.txt'
2023-05-14T03:39:30,744   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-14T03:39:30,746   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-14T03:39:30,985   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-14T03:39:31,173   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-14T03:39:31,380   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-14T03:39:31,496   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-14T03:39:31,644   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-14T03:39:31,644   !!

2023-05-14T03:39:31,645           ********************************************************************************
2023-05-14T03:39:31,645           Please avoid running ``setup.py`` directly.
2023-05-14T03:39:31,645           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-14T03:39:31,645           other standards-based tools.

2023-05-14T03:39:31,645           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-14T03:39:31,645           ********************************************************************************

2023-05-14T03:39:31,646   !!
2023-05-14T03:39:31,646     self.initialize_options()
2023-05-14T03:39:31,671   installing to build/bdist.linux-aarch64/wheel
2023-05-14T03:39:31,671   running install
2023-05-14T03:39:31,697   running install_lib
2023-05-14T03:39:31,723   creating build/bdist.linux-aarch64
2023-05-14T03:39:31,724   creating build/bdist.linux-aarch64/wheel
2023-05-14T03:39:31,726   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T03:39:31,728   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T03:39:31,729   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T03:39:31,731   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T03:39:31,734   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T03:39:31,737   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T03:39:31,740   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:39:31,741   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:39:31,744   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:39:31,746   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:39:31,749   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T03:39:31,750   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T03:39:31,752   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T03:39:31,754   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T03:39:31,757   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T03:39:31,759   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T03:39:31,762   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:39:31,765   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:39:31,768   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:39:31,771   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:39:31,774   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:39:31,777   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:39:31,783   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:39:31,786   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:39:31,789   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:39:31,791   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:39:31,794   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T03:39:31,795   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T03:39:31,797   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T03:39:31,800   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:39:31,801   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:39:31,803   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:39:32,022   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:39:32,024   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:39:32,215   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:39:32,317   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:39:32,441   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:39:32,665   running install_egg_info
2023-05-14T03:39:32,696   Copying certora_cli_alpha_Shahar_ValueRangeAnalysis.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_Shahar_ValueRangeAnalysis-20230507.6.53.61010-py3.9.egg-info
2023-05-14T03:39:32,708   running install_scripts
2023-05-14T03:39:32,725   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-14T03:39:32,730   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_Shahar_ValueRangeAnalysis-20230507.6.53.61010.dist-info/WHEEL
2023-05-14T03:39:32,732   creating '/tmp/pip-wheel-kxcm1uak/certora_cli_alpha_Shahar_ValueRangeAnalysis-20230507.6.53.61010-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-14T03:39:32,735   adding 'certora_cli/__init__.py'
2023-05-14T03:39:32,736   adding 'certora_cli/certoraMutate.py'
2023-05-14T03:39:32,738   adding 'certora_cli/certoraRun.py'
2023-05-14T03:39:32,741   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-14T03:39:32,762   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-14T03:39:32,769   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-14T03:39:32,771   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-14T03:39:32,773   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-14T03:39:32,777   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-14T03:39:32,781   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-14T03:39:32,783   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-14T03:39:32,788   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-14T03:39:32,791   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-14T03:39:32,792   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-14T03:39:32,795   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-14T03:39:32,799   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-14T03:39:32,801   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-14T03:39:32,803   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-14T03:39:32,805   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-14T03:39:32,809   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-14T03:39:32,810   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-14T03:39:32,812   adding 'certora_cli/Shared/__init__.py'
2023-05-14T03:39:32,814   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-14T03:39:32,816   adding 'certora_cli/Shared/certoraTester.py'
2023-05-14T03:39:32,823   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-14T03:39:32,826   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-14T03:39:34,405   adding 'certora_jars/MutationTest.jar'
2023-05-14T03:39:35,711   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-14T03:39:37,200   adding 'certora_jars/Typechecker.jar'
2023-05-14T03:39:37,354   adding 'certora_jars/__init__.py'
2023-05-14T03:39:38,209   adding 'certora_jars/gambit-linux'
2023-05-14T03:39:39,067   adding 'certora_jars/gambit-macos'
2023-05-14T03:39:39,103   adding 'certora_cli_alpha_Shahar_ValueRangeAnalysis-20230507.6.53.61010.dist-info/LICENSE'
2023-05-14T03:39:39,104   adding 'certora_cli_alpha_Shahar_ValueRangeAnalysis-20230507.6.53.61010.dist-info/METADATA'
2023-05-14T03:39:39,105   adding 'certora_cli_alpha_Shahar_ValueRangeAnalysis-20230507.6.53.61010.dist-info/WHEEL'
2023-05-14T03:39:39,107   adding 'certora_cli_alpha_Shahar_ValueRangeAnalysis-20230507.6.53.61010.dist-info/entry_points.txt'
2023-05-14T03:39:39,108   adding 'certora_cli_alpha_Shahar_ValueRangeAnalysis-20230507.6.53.61010.dist-info/top_level.txt'
2023-05-14T03:39:39,109   adding 'certora_cli_alpha_Shahar_ValueRangeAnalysis-20230507.6.53.61010.dist-info/RECORD'
2023-05-14T03:39:39,562   removing build/bdist.linux-aarch64/wheel
2023-05-14T03:39:39,688   Building wheel for certora-cli-alpha-shahar-valuerangeanalysis (setup.py): finished with status 'done'
2023-05-14T03:39:40,010   Created wheel for certora-cli-alpha-shahar-valuerangeanalysis: filename=certora_cli_alpha_Shahar_ValueRangeAnalysis-20230507.6.53.61010-py3-none-any.whl size=38511864 sha256=a10a4db18b75f62354d33d38fb2426f0254cd2d6b112fa7a86054bf8eff2dd53
2023-05-14T03:39:40,011   Stored in directory: /tmp/pip-ephem-wheel-cache-e2cn6y2v/wheels/4c/6c/c9/3dbe213b09f4a955a3c3a2470855275f6a2c82a92fc27b204e
2023-05-14T03:39:40,041 Successfully built certora-cli-alpha-shahar-valuerangeanalysis
2023-05-14T03:39:41,037 Removed build tracker: '/tmp/pip-build-tracker-j44gvgmk'