2023-05-18T01:08:56,878 Created temporary directory: /tmp/pip-build-tracker-rztaltog 2023-05-18T01:08:56,879 Initialized build tracking at /tmp/pip-build-tracker-rztaltog 2023-05-18T01:08:56,879 Created build tracker: /tmp/pip-build-tracker-rztaltog 2023-05-18T01:08:56,880 Entered build tracker: /tmp/pip-build-tracker-rztaltog 2023-05-18T01:08:56,880 Created temporary directory: /tmp/pip-wheel-1yni3_95 2023-05-18T01:08:56,884 Created temporary directory: /tmp/pip-ephem-wheel-cache-sk1gusk0 2023-05-18T01:08:56,911 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-18T01:08:56,915 2 location(s) to search for versions of certora-cli-alpha-eric-gvn: 2023-05-18T01:08:56,915 * https://pypi.org/simple/certora-cli-alpha-eric-gvn/ 2023-05-18T01:08:56,915 * https://www.piwheels.org/simple/certora-cli-alpha-eric-gvn/ 2023-05-18T01:08:56,916 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eric-gvn/ 2023-05-18T01:08:56,916 Getting page https://pypi.org/simple/certora-cli-alpha-eric-gvn/ 2023-05-18T01:08:56,918 Found index url https://pypi.org/simple/ 2023-05-18T01:08:56,968 Fetched page https://pypi.org/simple/certora-cli-alpha-eric-gvn/ as application/vnd.pypi.simple.v1+json 2023-05-18T01:08:56,969 Found link https://files.pythonhosted.org/packages/ae/c9/9c223520c91055a1b617e5d6478c9762d453ba75d715738f7e148aee7cb4/certora-cli-alpha-eric-gvn-20230518.0.37.225030.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eric-gvn/) (requires-python:>=3.8), version: 20230518.0.37.225030 2023-05-18T01:08:56,970 Skipping link: No binaries permitted for certora-cli-alpha-eric-gvn: https://files.pythonhosted.org/packages/66/64/8ae137fdaa5d56f575857e9c3a4617bc2562184e7ff2b5386921ac5e6220/certora_cli_alpha_eric_gvn-20230518.0.37.225030-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eric-gvn/) (requires-python:>=3.8) 2023-05-18T01:08:56,970 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eric-gvn/ 2023-05-18T01:08:56,970 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eric-gvn/ 2023-05-18T01:08:56,971 Found index url https://www.piwheels.org/simple/ 2023-05-18T01:08:57,344 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eric-gvn/ as text/html 2023-05-18T01:08:57,345 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eric-gvn/ 2023-05-18T01:08:57,346 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eric-gvn/ 2023-05-18T01:08:57,363 Given no hashes to check 1 links for project 'certora-cli-alpha-eric-gvn': discarding no candidates 2023-05-18T01:08:57,379 Collecting certora-cli-alpha-eric-gvn==20230518.0.37.225030 2023-05-18T01:08:57,381 Created temporary directory: /tmp/pip-unpack-6emnec5p 2023-05-18T01:08:57,516 Downloading certora-cli-alpha-eric-gvn-20230518.0.37.225030.tar.gz (39.0 MB) 2023-05-18T01:09:06,817 Added certora-cli-alpha-eric-gvn==20230518.0.37.225030 from https://files.pythonhosted.org/packages/ae/c9/9c223520c91055a1b617e5d6478c9762d453ba75d715738f7e148aee7cb4/certora-cli-alpha-eric-gvn-20230518.0.37.225030.tar.gz to build tracker '/tmp/pip-build-tracker-rztaltog' 2023-05-18T01:09:06,819 Running setup.py (path:/tmp/pip-wheel-1yni3_95/certora-cli-alpha-eric-gvn_bd9de9a5b10945dc87d03f216a472d91/setup.py) egg_info for package certora-cli-alpha-eric-gvn 2023-05-18T01:09:06,820 Created temporary directory: /tmp/pip-pip-egg-info-3xdne___ 2023-05-18T01:09:06,820 Preparing metadata (setup.py): started 2023-05-18T01:09:06,821 Running command python setup.py egg_info 2023-05-18T01:09:07,414 running egg_info 2023-05-18T01:09:07,415 creating /tmp/pip-pip-egg-info-3xdne___/certora_cli_alpha_eric_gvn.egg-info 2023-05-18T01:09:07,440 writing /tmp/pip-pip-egg-info-3xdne___/certora_cli_alpha_eric_gvn.egg-info/PKG-INFO 2023-05-18T01:09:07,442 writing dependency_links to /tmp/pip-pip-egg-info-3xdne___/certora_cli_alpha_eric_gvn.egg-info/dependency_links.txt 2023-05-18T01:09:07,444 writing entry points to /tmp/pip-pip-egg-info-3xdne___/certora_cli_alpha_eric_gvn.egg-info/entry_points.txt 2023-05-18T01:09:07,445 writing requirements to /tmp/pip-pip-egg-info-3xdne___/certora_cli_alpha_eric_gvn.egg-info/requires.txt 2023-05-18T01:09:07,446 writing top-level names to /tmp/pip-pip-egg-info-3xdne___/certora_cli_alpha_eric_gvn.egg-info/top_level.txt 2023-05-18T01:09:07,448 writing manifest file '/tmp/pip-pip-egg-info-3xdne___/certora_cli_alpha_eric_gvn.egg-info/SOURCES.txt' 2023-05-18T01:09:07,528 reading manifest file '/tmp/pip-pip-egg-info-3xdne___/certora_cli_alpha_eric_gvn.egg-info/SOURCES.txt' 2023-05-18T01:09:07,530 reading manifest template 'MANIFEST.in' 2023-05-18T01:09:07,538 adding license file 'LICENSE' 2023-05-18T01:09:07,541 writing manifest file '/tmp/pip-pip-egg-info-3xdne___/certora_cli_alpha_eric_gvn.egg-info/SOURCES.txt' 2023-05-18T01:09:07,601 Preparing metadata (setup.py): finished with status 'done' 2023-05-18T01:09:07,607 Source in /tmp/pip-wheel-1yni3_95/certora-cli-alpha-eric-gvn_bd9de9a5b10945dc87d03f216a472d91 has version 20230518.0.37.225030, which satisfies requirement certora-cli-alpha-eric-gvn==20230518.0.37.225030 from https://files.pythonhosted.org/packages/ae/c9/9c223520c91055a1b617e5d6478c9762d453ba75d715738f7e148aee7cb4/certora-cli-alpha-eric-gvn-20230518.0.37.225030.tar.gz 2023-05-18T01:09:07,608 Removed certora-cli-alpha-eric-gvn==20230518.0.37.225030 from https://files.pythonhosted.org/packages/ae/c9/9c223520c91055a1b617e5d6478c9762d453ba75d715738f7e148aee7cb4/certora-cli-alpha-eric-gvn-20230518.0.37.225030.tar.gz from build tracker '/tmp/pip-build-tracker-rztaltog' 2023-05-18T01:09:07,614 Created temporary directory: /tmp/pip-unpack-aymnjcel 2023-05-18T01:09:07,615 Building wheels for collected packages: certora-cli-alpha-eric-gvn 2023-05-18T01:09:07,618 Created temporary directory: /tmp/pip-wheel-ojyzfxty 2023-05-18T01:09:07,619 Building wheel for certora-cli-alpha-eric-gvn (setup.py): started 2023-05-18T01:09:07,620 Destination directory: /tmp/pip-wheel-ojyzfxty 2023-05-18T01:09:07,620 Running command python setup.py bdist_wheel 2023-05-18T01:09:08,416 running bdist_wheel 2023-05-18T01:09:08,692 running build 2023-05-18T01:09:08,692 running build_py 2023-05-18T01:09:08,721 creating build 2023-05-18T01:09:08,721 creating build/lib 2023-05-18T01:09:08,722 creating build/lib/certora_jars 2023-05-18T01:09:08,723 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-18T01:09:08,726 creating build/lib/certora_cli 2023-05-18T01:09:08,726 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-18T01:09:08,728 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-18T01:09:08,730 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-18T01:09:08,733 creating build/lib/certora_cli/Shared 2023-05-18T01:09:08,734 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-18T01:09:08,737 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-18T01:09:08,739 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-18T01:09:08,742 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-18T01:09:08,744 creating build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,745 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,747 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,750 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,753 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,755 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,757 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,759 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,761 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,764 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,769 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,773 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,775 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,777 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,780 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T01:09:08,784 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-18T01:09:08,785 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-18T01:09:08,787 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-18T01:09:08,789 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-18T01:09:08,791 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-18T01:09:08,794 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-18T01:09:08,796 running egg_info 2023-05-18T01:09:08,855 writing certora_cli_alpha_eric_gvn.egg-info/PKG-INFO 2023-05-18T01:09:08,856 writing dependency_links to certora_cli_alpha_eric_gvn.egg-info/dependency_links.txt 2023-05-18T01:09:08,858 writing entry points to certora_cli_alpha_eric_gvn.egg-info/entry_points.txt 2023-05-18T01:09:08,860 writing requirements to certora_cli_alpha_eric_gvn.egg-info/requires.txt 2023-05-18T01:09:08,861 writing top-level names to certora_cli_alpha_eric_gvn.egg-info/top_level.txt 2023-05-18T01:09:08,891 reading manifest file 'certora_cli_alpha_eric_gvn.egg-info/SOURCES.txt' 2023-05-18T01:09:08,894 reading manifest template 'MANIFEST.in' 2023-05-18T01:09:08,902 adding license file 'LICENSE' 2023-05-18T01:09:08,906 writing manifest file 'certora_cli_alpha_eric_gvn.egg-info/SOURCES.txt' 2023-05-18T01:09:08,909 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-18T01:09:08,911 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-18T01:09:09,131 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-18T01:09:09,297 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-18T01:09:09,488 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-18T01:09:09,589 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-18T01:09:09,691 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-18T01:09:09,692 !! 2023-05-18T01:09:09,692 ******************************************************************************** 2023-05-18T01:09:09,692 Please avoid running ``setup.py`` directly. 2023-05-18T01:09:09,692 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-18T01:09:09,692 other standards-based tools. 2023-05-18T01:09:09,693 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-18T01:09:09,693 ******************************************************************************** 2023-05-18T01:09:09,693 !! 2023-05-18T01:09:09,693 self.initialize_options() 2023-05-18T01:09:09,718 installing to build/bdist.linux-armv7l/wheel 2023-05-18T01:09:09,718 running install 2023-05-18T01:09:09,743 running install_lib 2023-05-18T01:09:09,770 creating build/bdist.linux-armv7l 2023-05-18T01:09:09,770 creating build/bdist.linux-armv7l/wheel 2023-05-18T01:09:09,772 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T01:09:09,773 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T01:09:09,947 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T01:09:10,161 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T01:09:10,163 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T01:09:10,354 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T01:09:10,356 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T01:09:10,423 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T01:09:10,515 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-18T01:09:10,516 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-18T01:09:10,518 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-18T01:09:10,520 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-18T01:09:10,521 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-18T01:09:10,525 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-18T01:09:10,527 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-18T01:09:10,529 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-18T01:09:10,531 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,532 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,534 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,538 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-18T01:09:10,539 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-18T01:09:10,541 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-18T01:09:10,543 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-18T01:09:10,545 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-18T01:09:10,547 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-18T01:09:10,550 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,553 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,555 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,557 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,560 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,562 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,565 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,572 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,575 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,577 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,580 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,582 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T01:09:10,585 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-18T01:09:10,587 running install_egg_info 2023-05-18T01:09:10,617 Copying certora_cli_alpha_eric_gvn.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_eric_gvn-20230518.0.37.225030-py3.9.egg-info 2023-05-18T01:09:10,629 running install_scripts 2023-05-18T01:09:10,646 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-18T01:09:10,651 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_eric_gvn-20230518.0.37.225030.dist-info/WHEEL 2023-05-18T01:09:10,654 creating '/tmp/pip-wheel-ojyzfxty/certora_cli_alpha_eric_gvn-20230518.0.37.225030-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-18T01:09:10,656 adding 'certora_cli/__init__.py' 2023-05-18T01:09:10,658 adding 'certora_cli/certoraMutate.py' 2023-05-18T01:09:10,660 adding 'certora_cli/certoraRun.py' 2023-05-18T01:09:10,662 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-18T01:09:10,684 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-18T01:09:10,691 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-18T01:09:10,693 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-18T01:09:10,695 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-18T01:09:10,699 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-18T01:09:10,703 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-18T01:09:10,705 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-18T01:09:10,710 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-18T01:09:10,712 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-18T01:09:10,714 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-18T01:09:10,715 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-18T01:09:10,718 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-18T01:09:10,722 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-18T01:09:10,725 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-18T01:09:10,726 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-18T01:09:10,728 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-18T01:09:10,732 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-18T01:09:10,734 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-18T01:09:10,736 adding 'certora_cli/Shared/__init__.py' 2023-05-18T01:09:10,738 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-18T01:09:10,740 adding 'certora_cli/Shared/certoraTester.py' 2023-05-18T01:09:10,746 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-18T01:09:10,749 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-18T01:09:12,430 adding 'certora_jars/MutationTest.jar' 2023-05-18T01:09:13,759 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-18T01:09:15,341 adding 'certora_jars/Typechecker.jar' 2023-05-18T01:09:15,424 adding 'certora_jars/__init__.py' 2023-05-18T01:09:16,159 adding 'certora_jars/gambit-linux' 2023-05-18T01:09:16,816 adding 'certora_jars/gambit-macos' 2023-05-18T01:09:16,842 adding 'certora_cli_alpha_eric_gvn-20230518.0.37.225030.dist-info/LICENSE' 2023-05-18T01:09:16,843 adding 'certora_cli_alpha_eric_gvn-20230518.0.37.225030.dist-info/METADATA' 2023-05-18T01:09:16,844 adding 'certora_cli_alpha_eric_gvn-20230518.0.37.225030.dist-info/WHEEL' 2023-05-18T01:09:16,845 adding 'certora_cli_alpha_eric_gvn-20230518.0.37.225030.dist-info/entry_points.txt' 2023-05-18T01:09:16,846 adding 'certora_cli_alpha_eric_gvn-20230518.0.37.225030.dist-info/top_level.txt' 2023-05-18T01:09:16,847 adding 'certora_cli_alpha_eric_gvn-20230518.0.37.225030.dist-info/RECORD' 2023-05-18T01:09:17,269 removing build/bdist.linux-armv7l/wheel 2023-05-18T01:09:17,386 Building wheel for certora-cli-alpha-eric-gvn (setup.py): finished with status 'done' 2023-05-18T01:09:17,771 Created wheel for certora-cli-alpha-eric-gvn: filename=certora_cli_alpha_eric_gvn-20230518.0.37.225030-py3-none-any.whl size=39036077 sha256=c01707b9a7b5c79cf46d10a54df4b780b3c8f8d7a9ad5f08364b24bcd7cf9a62 2023-05-18T01:09:17,772 Stored in directory: /tmp/pip-ephem-wheel-cache-sk1gusk0/wheels/7f/97/dd/a97faf71ae8fd3bd974c1abecce5e8204248f9abf682cef14d 2023-05-18T01:09:17,796 Successfully built certora-cli-alpha-eric-gvn 2023-05-18T01:09:18,719 Removed build tracker: '/tmp/pip-build-tracker-rztaltog'