2023-05-17T03:20:32,609 Created temporary directory: /tmp/pip-build-tracker-4_u_0l_1
2023-05-17T03:20:32,610 Initialized build tracking at /tmp/pip-build-tracker-4_u_0l_1
2023-05-17T03:20:32,610 Created build tracker: /tmp/pip-build-tracker-4_u_0l_1
2023-05-17T03:20:32,610 Entered build tracker: /tmp/pip-build-tracker-4_u_0l_1
2023-05-17T03:20:32,611 Created temporary directory: /tmp/pip-wheel-_que7d1v
2023-05-17T03:20:32,614 Created temporary directory: /tmp/pip-ephem-wheel-cache-mih4kij5
2023-05-17T03:20:32,637 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-17T03:20:32,640 2 location(s) to search for versions of certora-cli-alpha-equiv-check:
2023-05-17T03:20:32,640 * https://pypi.org/simple/certora-cli-alpha-equiv-check/
2023-05-17T03:20:32,640 * https://www.piwheels.org/simple/certora-cli-alpha-equiv-check/
2023-05-17T03:20:32,641 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-equiv-check/
2023-05-17T03:20:32,641 Getting page https://pypi.org/simple/certora-cli-alpha-equiv-check/
2023-05-17T03:20:32,643 Found index url https://pypi.org/simple/
2023-05-17T03:20:32,773 Fetched page https://pypi.org/simple/certora-cli-alpha-equiv-check/ as application/vnd.pypi.simple.v1+json
2023-05-17T03:20:32,775   Found link https://files.pythonhosted.org/packages/8b/0e/0f72fe8a534f36d0680a889394996fb752fb723cfe7c0ec9b32b13237de5/certora-cli-alpha-equiv-check-20230516.17.29.646534.tar.gz (from https://pypi.org/simple/certora-cli-alpha-equiv-check/) (requires-python:>=3.8.16), version: 20230516.17.29.646534
2023-05-17T03:20:32,775   Skipping link: No binaries permitted for certora-cli-alpha-equiv-check: https://files.pythonhosted.org/packages/f6/85/f9d783be10c8f8d83888f09b1bce3adac3b3b9d842410c0d271534bb2ab3/certora_cli_alpha_equiv_check-20230516.17.29.646534-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-equiv-check/) (requires-python:>=3.8.16)
2023-05-17T03:20:32,776 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-equiv-check/
2023-05-17T03:20:32,776 Getting page https://www.piwheels.org/simple/certora-cli-alpha-equiv-check/
2023-05-17T03:20:32,777 Found index url https://www.piwheels.org/simple/
2023-05-17T03:20:33,051 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-equiv-check/ as text/html
2023-05-17T03:20:33,052 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-equiv-check/
2023-05-17T03:20:33,052 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-equiv-check/
2023-05-17T03:20:33,078 Given no hashes to check 1 links for project 'certora-cli-alpha-equiv-check': discarding no candidates
2023-05-17T03:20:33,102 Collecting certora-cli-alpha-equiv-check==20230516.17.29.646534
2023-05-17T03:20:33,105   Created temporary directory: /tmp/pip-unpack-9yrkcuro
2023-05-17T03:20:33,245   Downloading certora-cli-alpha-equiv-check-20230516.17.29.646534.tar.gz (38.8 MB)
2023-05-17T03:20:42,586   Added certora-cli-alpha-equiv-check==20230516.17.29.646534 from https://files.pythonhosted.org/packages/8b/0e/0f72fe8a534f36d0680a889394996fb752fb723cfe7c0ec9b32b13237de5/certora-cli-alpha-equiv-check-20230516.17.29.646534.tar.gz to build tracker '/tmp/pip-build-tracker-4_u_0l_1'
2023-05-17T03:20:42,589   Running setup.py (path:/tmp/pip-wheel-_que7d1v/certora-cli-alpha-equiv-check_299ce2db007740dcbf12917a6d2a6812/setup.py) egg_info for package certora-cli-alpha-equiv-check
2023-05-17T03:20:42,590   Created temporary directory: /tmp/pip-pip-egg-info-zyg9tlp4
2023-05-17T03:20:42,590   Preparing metadata (setup.py): started
2023-05-17T03:20:42,591   Running command python setup.py egg_info
2023-05-17T03:20:43,206   running egg_info
2023-05-17T03:20:43,208   creating /tmp/pip-pip-egg-info-zyg9tlp4/certora_cli_alpha_equiv_check.egg-info
2023-05-17T03:20:43,232   writing /tmp/pip-pip-egg-info-zyg9tlp4/certora_cli_alpha_equiv_check.egg-info/PKG-INFO
2023-05-17T03:20:43,233   writing dependency_links to /tmp/pip-pip-egg-info-zyg9tlp4/certora_cli_alpha_equiv_check.egg-info/dependency_links.txt
2023-05-17T03:20:43,235   writing entry points to /tmp/pip-pip-egg-info-zyg9tlp4/certora_cli_alpha_equiv_check.egg-info/entry_points.txt
2023-05-17T03:20:43,237   writing requirements to /tmp/pip-pip-egg-info-zyg9tlp4/certora_cli_alpha_equiv_check.egg-info/requires.txt
2023-05-17T03:20:43,238   writing top-level names to /tmp/pip-pip-egg-info-zyg9tlp4/certora_cli_alpha_equiv_check.egg-info/top_level.txt
2023-05-17T03:20:43,239   writing manifest file '/tmp/pip-pip-egg-info-zyg9tlp4/certora_cli_alpha_equiv_check.egg-info/SOURCES.txt'
2023-05-17T03:20:43,318   reading manifest file '/tmp/pip-pip-egg-info-zyg9tlp4/certora_cli_alpha_equiv_check.egg-info/SOURCES.txt'
2023-05-17T03:20:43,319   reading manifest template 'MANIFEST.in'
2023-05-17T03:20:43,327   adding license file 'LICENSE'
2023-05-17T03:20:43,331   writing manifest file '/tmp/pip-pip-egg-info-zyg9tlp4/certora_cli_alpha_equiv_check.egg-info/SOURCES.txt'
2023-05-17T03:20:43,391   Preparing metadata (setup.py): finished with status 'done'
2023-05-17T03:20:43,396   Source in /tmp/pip-wheel-_que7d1v/certora-cli-alpha-equiv-check_299ce2db007740dcbf12917a6d2a6812 has version 20230516.17.29.646534, which satisfies requirement certora-cli-alpha-equiv-check==20230516.17.29.646534 from https://files.pythonhosted.org/packages/8b/0e/0f72fe8a534f36d0680a889394996fb752fb723cfe7c0ec9b32b13237de5/certora-cli-alpha-equiv-check-20230516.17.29.646534.tar.gz
2023-05-17T03:20:43,397   Removed certora-cli-alpha-equiv-check==20230516.17.29.646534 from https://files.pythonhosted.org/packages/8b/0e/0f72fe8a534f36d0680a889394996fb752fb723cfe7c0ec9b32b13237de5/certora-cli-alpha-equiv-check-20230516.17.29.646534.tar.gz from build tracker '/tmp/pip-build-tracker-4_u_0l_1'
2023-05-17T03:20:43,403 Created temporary directory: /tmp/pip-unpack-t2vnmw2h
2023-05-17T03:20:43,404 Building wheels for collected packages: certora-cli-alpha-equiv-check
2023-05-17T03:20:43,408   Created temporary directory: /tmp/pip-wheel-w3b57kw7
2023-05-17T03:20:43,408   Building wheel for certora-cli-alpha-equiv-check (setup.py): started
2023-05-17T03:20:43,409   Destination directory: /tmp/pip-wheel-w3b57kw7
2023-05-17T03:20:43,409   Running command python setup.py bdist_wheel
2023-05-17T03:20:44,209   running bdist_wheel
2023-05-17T03:20:44,485   running build
2023-05-17T03:20:44,485   running build_py
2023-05-17T03:20:44,512   creating build
2023-05-17T03:20:44,513   creating build/lib
2023-05-17T03:20:44,514   creating build/lib/certora_cli
2023-05-17T03:20:44,515   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-17T03:20:44,517   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-17T03:20:44,518   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-17T03:20:44,521   creating build/lib/certora_jars
2023-05-17T03:20:44,522   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-17T03:20:44,524   creating build/lib/certora_cli/Shared
2023-05-17T03:20:44,525   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-17T03:20:44,527   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-17T03:20:44,529   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-17T03:20:44,531   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-17T03:20:44,535   creating build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,536   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,538   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,540   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,542   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,545   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,548   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,553   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,555   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,558   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,560   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,562   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,565   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,566   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,568   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T03:20:44,570   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T03:20:44,571   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T03:20:44,573   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T03:20:44,575   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T03:20:44,577   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T03:20:44,580   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T03:20:44,582   running egg_info
2023-05-17T03:20:44,638   writing certora_cli_alpha_equiv_check.egg-info/PKG-INFO
2023-05-17T03:20:44,640   writing dependency_links to certora_cli_alpha_equiv_check.egg-info/dependency_links.txt
2023-05-17T03:20:44,641   writing entry points to certora_cli_alpha_equiv_check.egg-info/entry_points.txt
2023-05-17T03:20:44,642   writing requirements to certora_cli_alpha_equiv_check.egg-info/requires.txt
2023-05-17T03:20:44,644   writing top-level names to certora_cli_alpha_equiv_check.egg-info/top_level.txt
2023-05-17T03:20:44,674   reading manifest file 'certora_cli_alpha_equiv_check.egg-info/SOURCES.txt'
2023-05-17T03:20:44,677   reading manifest template 'MANIFEST.in'
2023-05-17T03:20:44,685   adding license file 'LICENSE'
2023-05-17T03:20:44,689   writing manifest file 'certora_cli_alpha_equiv_check.egg-info/SOURCES.txt'
2023-05-17T03:20:44,693   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-17T03:20:44,695   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-17T03:20:44,925   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-17T03:20:45,084   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-17T03:20:45,276   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-17T03:20:45,364   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-17T03:20:45,456   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-17T03:20:45,456   !!

2023-05-17T03:20:45,456           ********************************************************************************
2023-05-17T03:20:45,457           Please avoid running ``setup.py`` directly.
2023-05-17T03:20:45,457           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-17T03:20:45,457           other standards-based tools.

2023-05-17T03:20:45,457           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-17T03:20:45,457           ********************************************************************************

2023-05-17T03:20:45,457   !!
2023-05-17T03:20:45,457     self.initialize_options()
2023-05-17T03:20:45,482   installing to build/bdist.linux-armv7l/wheel
2023-05-17T03:20:45,483   running install
2023-05-17T03:20:45,509   running install_lib
2023-05-17T03:20:45,535   creating build/bdist.linux-armv7l
2023-05-17T03:20:45,536   creating build/bdist.linux-armv7l/wheel
2023-05-17T03:20:45,538   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T03:20:45,539   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T03:20:45,541   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T03:20:45,543   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T03:20:45,545   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T03:20:45,548   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T03:20:45,551   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T03:20:45,553   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T03:20:45,555   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T03:20:45,559   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,560   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,563   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T03:20:45,564   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T03:20:45,567   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T03:20:45,569   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T03:20:45,571   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T03:20:45,574   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T03:20:45,577   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,579   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,582   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,585   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,588   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,595   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,598   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,601   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,604   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,606   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,609   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,611   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,613   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T03:20:45,616   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T03:20:45,617   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T03:20:45,843   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T03:20:46,064   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T03:20:46,148   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T03:20:46,211   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T03:20:46,382   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T03:20:46,384   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T03:20:46,386   running install_egg_info
2023-05-17T03:20:46,416   Copying certora_cli_alpha_equiv_check.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_equiv_check-20230516.17.29.646534-py3.9.egg-info
2023-05-17T03:20:46,428   running install_scripts
2023-05-17T03:20:46,444   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-17T03:20:46,449   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_equiv_check-20230516.17.29.646534.dist-info/WHEEL
2023-05-17T03:20:46,451   creating '/tmp/pip-wheel-w3b57kw7/certora_cli_alpha_equiv_check-20230516.17.29.646534-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-17T03:20:46,454   adding 'certora_cli/__init__.py'
2023-05-17T03:20:46,455   adding 'certora_cli/certoraMutate.py'
2023-05-17T03:20:46,458   adding 'certora_cli/certoraRun.py'
2023-05-17T03:20:46,460   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-17T03:20:46,483   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-17T03:20:46,490   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-17T03:20:46,492   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-17T03:20:46,494   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-17T03:20:46,499   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-17T03:20:46,502   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-17T03:20:46,504   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-17T03:20:46,510   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-17T03:20:46,511   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-17T03:20:46,513   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-17T03:20:46,515   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-17T03:20:46,517   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-17T03:20:46,521   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-17T03:20:46,523   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-17T03:20:46,525   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-17T03:20:46,526   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-17T03:20:46,531   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-17T03:20:46,532   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-17T03:20:46,534   adding 'certora_cli/Shared/__init__.py'
2023-05-17T03:20:46,536   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-17T03:20:46,538   adding 'certora_cli/Shared/certoraTester.py'
2023-05-17T03:20:46,544   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-17T03:20:46,547   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-17T03:20:48,226   adding 'certora_jars/MutationTest.jar'
2023-05-17T03:20:49,560   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-17T03:20:51,140   adding 'certora_jars/Typechecker.jar'
2023-05-17T03:20:51,222   adding 'certora_jars/__init__.py'
2023-05-17T03:20:51,963   adding 'certora_jars/gambit-linux'
2023-05-17T03:20:52,623   adding 'certora_jars/gambit-macos'
2023-05-17T03:20:52,648   adding 'certora_cli_alpha_equiv_check-20230516.17.29.646534.dist-info/LICENSE'
2023-05-17T03:20:52,649   adding 'certora_cli_alpha_equiv_check-20230516.17.29.646534.dist-info/METADATA'
2023-05-17T03:20:52,650   adding 'certora_cli_alpha_equiv_check-20230516.17.29.646534.dist-info/WHEEL'
2023-05-17T03:20:52,651   adding 'certora_cli_alpha_equiv_check-20230516.17.29.646534.dist-info/entry_points.txt'
2023-05-17T03:20:52,652   adding 'certora_cli_alpha_equiv_check-20230516.17.29.646534.dist-info/top_level.txt'
2023-05-17T03:20:52,653   adding 'certora_cli_alpha_equiv_check-20230516.17.29.646534.dist-info/RECORD'
2023-05-17T03:20:53,078   removing build/bdist.linux-armv7l/wheel
2023-05-17T03:20:53,199   Building wheel for certora-cli-alpha-equiv-check (setup.py): finished with status 'done'
2023-05-17T03:20:53,580   Created wheel for certora-cli-alpha-equiv-check: filename=certora_cli_alpha_equiv_check-20230516.17.29.646534-py3-none-any.whl size=38809145 sha256=f026cf31a5e1d2628564531cf6615f9c1056f724ab6e14d9c8c95323a86afa3b
2023-05-17T03:20:53,581   Stored in directory: /tmp/pip-ephem-wheel-cache-mih4kij5/wheels/25/23/7a/ee9556c14cd2900992ccdb515365d079d244cb4b4738fc8a6f
2023-05-17T03:20:53,604 Successfully built certora-cli-alpha-equiv-check
2023-05-17T03:20:54,519 Removed build tracker: '/tmp/pip-build-tracker-4_u_0l_1'