2023-05-14T19:54:01,480 Created temporary directory: /tmp/pip-build-tracker-64vicn_n 2023-05-14T19:54:01,481 Initialized build tracking at /tmp/pip-build-tracker-64vicn_n 2023-05-14T19:54:01,481 Created build tracker: /tmp/pip-build-tracker-64vicn_n 2023-05-14T19:54:01,482 Entered build tracker: /tmp/pip-build-tracker-64vicn_n 2023-05-14T19:54:01,482 Created temporary directory: /tmp/pip-wheel-b6x0czht 2023-05-14T19:54:01,486 Created temporary directory: /tmp/pip-ephem-wheel-cache-nvo7vq0u 2023-05-14T19:54:01,510 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T19:54:01,514 2 location(s) to search for versions of certora-cli-alpha-eric-stack2: 2023-05-14T19:54:01,514 * https://pypi.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T19:54:01,514 * https://www.piwheels.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T19:54:01,514 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T19:54:01,515 Getting page https://pypi.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T19:54:01,517 Found index url https://pypi.org/simple/ 2023-05-14T19:54:01,566 Fetched page https://pypi.org/simple/certora-cli-alpha-eric-stack2/ as application/vnd.pypi.simple.v1+json 2023-05-14T19:54:01,569 Found link https://files.pythonhosted.org/packages/d0/db/b0f330bbe875163e6f4c01481fcb78acc212cc2fd1fdeacd92a95de4c23c/certora-cli-alpha-eric-stack2-20230511.21.22.495852.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eric-stack2/) (requires-python:>=3.8.16), version: 20230511.21.22.495852 2023-05-14T19:54:01,569 Skipping link: No binaries permitted for certora-cli-alpha-eric-stack2: https://files.pythonhosted.org/packages/2b/5b/564aec46e6f8c65f3a278ef108521e5b3feea00bb7bbd43f229ee63a37ac/certora_cli_alpha_eric_stack2-20230511.21.22.495852-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eric-stack2/) (requires-python:>=3.8.16) 2023-05-14T19:54:01,570 Found link https://files.pythonhosted.org/packages/15/b8/9323dd1bd7c50e78aa5cd869a84a336eed8d8fe92d859eee260e302b181f/certora-cli-alpha-eric-stack2-20230512.19.58.270343.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eric-stack2/) (requires-python:>=3.8.16), version: 20230512.19.58.270343 2023-05-14T19:54:01,570 Skipping link: No binaries permitted for certora-cli-alpha-eric-stack2: https://files.pythonhosted.org/packages/bd/7b/2b42461f4b7dc0b446dd30bc0ab478430f370fa72c949622b14cbccd4a0e/certora_cli_alpha_eric_stack2-20230512.19.58.270343-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eric-stack2/) (requires-python:>=3.8.16) 2023-05-14T19:54:01,570 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T19:54:01,570 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T19:54:01,571 Found index url https://www.piwheels.org/simple/ 2023-05-14T19:54:01,740 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eric-stack2/ as text/html 2023-05-14T19:54:01,742 Skipping link: No binaries permitted for certora-cli-alpha-eric-stack2: https://www.piwheels.org/simple/certora-cli-alpha-eric-stack2/certora_cli_alpha_eric_stack2-20230511.21.22.495852-py3-none-any.whl#sha256=e8ab0a4cbd5b73df23b863edee6e5a3b04fff633d911f5a69ee9d13341aca59b (from https://www.piwheels.org/simple/certora-cli-alpha-eric-stack2/) (requires-python:>=3.8.16) 2023-05-14T19:54:01,742 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T19:54:01,742 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T19:54:01,760 Given no hashes to check 1 links for project 'certora-cli-alpha-eric-stack2': discarding no candidates 2023-05-14T19:54:01,777 Collecting certora-cli-alpha-eric-stack2==20230512.19.58.270343 2023-05-14T19:54:01,780 Created temporary directory: /tmp/pip-unpack-qsp5nncp 2023-05-14T19:54:12,719 Downloading certora-cli-alpha-eric-stack2-20230512.19.58.270343.tar.gz (39.4 MB) 2023-05-14T19:54:36,739 Added certora-cli-alpha-eric-stack2==20230512.19.58.270343 from https://files.pythonhosted.org/packages/15/b8/9323dd1bd7c50e78aa5cd869a84a336eed8d8fe92d859eee260e302b181f/certora-cli-alpha-eric-stack2-20230512.19.58.270343.tar.gz to build tracker '/tmp/pip-build-tracker-64vicn_n' 2023-05-14T19:54:36,741 Running setup.py (path:/tmp/pip-wheel-b6x0czht/certora-cli-alpha-eric-stack2_34810c32b7d9463493ea1741b1177fd7/setup.py) egg_info for package certora-cli-alpha-eric-stack2 2023-05-14T19:54:36,742 Created temporary directory: /tmp/pip-pip-egg-info-kpx9opeh 2023-05-14T19:54:36,742 Preparing metadata (setup.py): started 2023-05-14T19:54:36,743 Running command python setup.py egg_info 2023-05-14T19:54:37,397 running egg_info 2023-05-14T19:54:37,399 creating /tmp/pip-pip-egg-info-kpx9opeh/certora_cli_alpha_eric_stack2.egg-info 2023-05-14T19:54:37,428 writing /tmp/pip-pip-egg-info-kpx9opeh/certora_cli_alpha_eric_stack2.egg-info/PKG-INFO 2023-05-14T19:54:37,431 writing dependency_links to /tmp/pip-pip-egg-info-kpx9opeh/certora_cli_alpha_eric_stack2.egg-info/dependency_links.txt 2023-05-14T19:54:37,433 writing entry points to /tmp/pip-pip-egg-info-kpx9opeh/certora_cli_alpha_eric_stack2.egg-info/entry_points.txt 2023-05-14T19:54:37,435 writing requirements to /tmp/pip-pip-egg-info-kpx9opeh/certora_cli_alpha_eric_stack2.egg-info/requires.txt 2023-05-14T19:54:37,436 writing top-level names to /tmp/pip-pip-egg-info-kpx9opeh/certora_cli_alpha_eric_stack2.egg-info/top_level.txt 2023-05-14T19:54:37,437 writing manifest file '/tmp/pip-pip-egg-info-kpx9opeh/certora_cli_alpha_eric_stack2.egg-info/SOURCES.txt' 2023-05-14T19:54:37,526 reading manifest file '/tmp/pip-pip-egg-info-kpx9opeh/certora_cli_alpha_eric_stack2.egg-info/SOURCES.txt' 2023-05-14T19:54:37,528 reading manifest template 'MANIFEST.in' 2023-05-14T19:54:37,537 adding license file 'LICENSE' 2023-05-14T19:54:37,541 writing manifest file '/tmp/pip-pip-egg-info-kpx9opeh/certora_cli_alpha_eric_stack2.egg-info/SOURCES.txt' 2023-05-14T19:54:37,600 Preparing metadata (setup.py): finished with status 'done' 2023-05-14T19:54:37,606 Source in /tmp/pip-wheel-b6x0czht/certora-cli-alpha-eric-stack2_34810c32b7d9463493ea1741b1177fd7 has version 20230512.19.58.270343, which satisfies requirement certora-cli-alpha-eric-stack2==20230512.19.58.270343 from https://files.pythonhosted.org/packages/15/b8/9323dd1bd7c50e78aa5cd869a84a336eed8d8fe92d859eee260e302b181f/certora-cli-alpha-eric-stack2-20230512.19.58.270343.tar.gz 2023-05-14T19:54:37,607 Removed certora-cli-alpha-eric-stack2==20230512.19.58.270343 from https://files.pythonhosted.org/packages/15/b8/9323dd1bd7c50e78aa5cd869a84a336eed8d8fe92d859eee260e302b181f/certora-cli-alpha-eric-stack2-20230512.19.58.270343.tar.gz from build tracker '/tmp/pip-build-tracker-64vicn_n' 2023-05-14T19:54:37,614 Created temporary directory: /tmp/pip-unpack-0k4b71sc 2023-05-14T19:54:37,614 Building wheels for collected packages: certora-cli-alpha-eric-stack2 2023-05-14T19:54:37,619 Created temporary directory: /tmp/pip-wheel-4ldy1qnu 2023-05-14T19:54:37,619 Building wheel for certora-cli-alpha-eric-stack2 (setup.py): started 2023-05-14T19:54:37,620 Destination directory: /tmp/pip-wheel-4ldy1qnu 2023-05-14T19:54:37,620 Running command python setup.py bdist_wheel 2023-05-14T19:54:38,287 running bdist_wheel 2023-05-14T19:54:38,586 running build 2023-05-14T19:54:38,586 running build_py 2023-05-14T19:54:38,617 creating build 2023-05-14T19:54:38,618 creating build/lib 2023-05-14T19:54:38,619 creating build/lib/certora_jars 2023-05-14T19:54:38,620 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-14T19:54:38,622 creating build/lib/certora_cli 2023-05-14T19:54:38,623 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-14T19:54:38,625 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-14T19:54:38,627 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-14T19:54:38,630 creating build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,631 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,633 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,639 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,641 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,644 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,647 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,650 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,653 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,655 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,657 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,661 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,664 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,666 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,669 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T19:54:38,672 creating build/lib/certora_cli/Shared 2023-05-14T19:54:38,673 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-14T19:54:38,675 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-14T19:54:38,677 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-14T19:54:38,681 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-14T19:54:38,684 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T19:54:38,685 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T19:54:38,687 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T19:54:38,690 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T19:54:38,692 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T19:54:38,694 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T19:54:38,697 running egg_info 2023-05-14T19:54:38,761 writing certora_cli_alpha_eric_stack2.egg-info/PKG-INFO 2023-05-14T19:54:38,763 writing dependency_links to certora_cli_alpha_eric_stack2.egg-info/dependency_links.txt 2023-05-14T19:54:38,765 writing entry points to certora_cli_alpha_eric_stack2.egg-info/entry_points.txt 2023-05-14T19:54:38,766 writing requirements to certora_cli_alpha_eric_stack2.egg-info/requires.txt 2023-05-14T19:54:38,768 writing top-level names to certora_cli_alpha_eric_stack2.egg-info/top_level.txt 2023-05-14T19:54:38,800 reading manifest file 'certora_cli_alpha_eric_stack2.egg-info/SOURCES.txt' 2023-05-14T19:54:38,803 reading manifest template 'MANIFEST.in' 2023-05-14T19:54:38,812 adding license file 'LICENSE' 2023-05-14T19:54:38,816 writing manifest file 'certora_cli_alpha_eric_stack2.egg-info/SOURCES.txt' 2023-05-14T19:54:38,820 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-14T19:54:38,822 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-14T19:54:39,051 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-14T19:54:39,218 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-14T19:54:39,408 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-14T19:54:39,521 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-14T19:54:39,641 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-14T19:54:39,642 !! 2023-05-14T19:54:39,642 ******************************************************************************** 2023-05-14T19:54:39,642 Please avoid running ``setup.py`` directly. 2023-05-14T19:54:39,642 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-14T19:54:39,642 other standards-based tools. 2023-05-14T19:54:39,643 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-14T19:54:39,643 ******************************************************************************** 2023-05-14T19:54:39,643 !! 2023-05-14T19:54:39,643 self.initialize_options() 2023-05-14T19:54:39,672 installing to build/bdist.linux-aarch64/wheel 2023-05-14T19:54:39,672 running install 2023-05-14T19:54:39,698 running install_lib 2023-05-14T19:54:39,727 creating build/bdist.linux-aarch64 2023-05-14T19:54:39,727 creating build/bdist.linux-aarch64/wheel 2023-05-14T19:54:39,729 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T19:54:39,731 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T19:54:39,733 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T19:54:39,735 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T19:54:39,927 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T19:54:40,041 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T19:54:40,204 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T19:54:40,433 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T19:54:40,520 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T19:54:40,521 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T19:54:40,523 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T19:54:40,525 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T19:54:40,528 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,529 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,531 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,537 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,540 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,543 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,546 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,549 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,552 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,554 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,556 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T19:54:40,557 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T19:54:40,559 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T19:54:40,562 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T19:54:40,564 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T19:54:40,566 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T19:54:40,569 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,573 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,576 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,578 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,580 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T19:54:40,584 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T19:54:40,585 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T19:54:40,587 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T19:54:40,590 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T19:54:40,593 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T19:54:40,596 running install_egg_info 2023-05-14T19:54:40,630 Copying certora_cli_alpha_eric_stack2.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_eric_stack2-20230512.19.58.270343-py3.9.egg-info 2023-05-14T19:54:40,643 running install_scripts 2023-05-14T19:54:40,661 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_eric_stack2-20230512.19.58.270343.dist-info/WHEEL 2023-05-14T19:54:40,665 creating '/tmp/pip-wheel-4ldy1qnu/certora_cli_alpha_eric_stack2-20230512.19.58.270343-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-14T19:54:40,667 adding 'certora_cli/__init__.py' 2023-05-14T19:54:40,669 adding 'certora_cli/certoraMutate.py' 2023-05-14T19:54:40,672 adding 'certora_cli/certoraRun.py' 2023-05-14T19:54:40,674 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-14T19:54:40,696 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-14T19:54:40,704 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-14T19:54:40,706 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-14T19:54:40,708 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-14T19:54:40,713 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-14T19:54:40,717 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-14T19:54:40,719 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-14T19:54:40,725 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-14T19:54:40,727 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-14T19:54:40,730 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-14T19:54:40,732 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-14T19:54:40,735 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-14T19:54:40,739 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-14T19:54:40,742 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-14T19:54:40,744 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-14T19:54:40,746 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-14T19:54:40,751 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-14T19:54:40,753 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-14T19:54:40,755 adding 'certora_cli/Shared/__init__.py' 2023-05-14T19:54:40,758 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-14T19:54:40,760 adding 'certora_cli/Shared/certoraTester.py' 2023-05-14T19:54:40,767 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-14T19:54:40,771 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-14T19:54:42,409 adding 'certora_jars/MutationTest.jar' 2023-05-14T19:54:43,716 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-14T19:54:45,259 adding 'certora_jars/Typechecker.jar' 2023-05-14T19:54:45,343 adding 'certora_jars/__init__.py' 2023-05-14T19:54:46,196 adding 'certora_jars/gambit-linux' 2023-05-14T19:54:47,052 adding 'certora_jars/gambit-macos' 2023-05-14T19:54:47,088 adding 'certora_cli_alpha_eric_stack2-20230512.19.58.270343.dist-info/LICENSE' 2023-05-14T19:54:47,089 adding 'certora_cli_alpha_eric_stack2-20230512.19.58.270343.dist-info/METADATA' 2023-05-14T19:54:47,091 adding 'certora_cli_alpha_eric_stack2-20230512.19.58.270343.dist-info/WHEEL' 2023-05-14T19:54:47,092 adding 'certora_cli_alpha_eric_stack2-20230512.19.58.270343.dist-info/entry_points.txt' 2023-05-14T19:54:47,093 adding 'certora_cli_alpha_eric_stack2-20230512.19.58.270343.dist-info/top_level.txt' 2023-05-14T19:54:47,094 adding 'certora_cli_alpha_eric_stack2-20230512.19.58.270343.dist-info/RECORD' 2023-05-14T19:54:47,517 removing build/bdist.linux-aarch64/wheel 2023-05-14T19:54:47,632 Building wheel for certora-cli-alpha-eric-stack2 (setup.py): finished with status 'done' 2023-05-14T19:54:47,961 Created wheel for certora-cli-alpha-eric-stack2: filename=certora_cli_alpha_eric_stack2-20230512.19.58.270343-py3-none-any.whl size=39468885 sha256=7380a9df3d0909fee7f02338cb8684944dc6196c154414993f3cac3d455b4ce8 2023-05-14T19:54:47,962 Stored in directory: /tmp/pip-ephem-wheel-cache-nvo7vq0u/wheels/6e/3a/00/7fd3122674e41a2f34ce9010996b9a9de6f9f33fea93245a30 2023-05-14T19:54:47,991 Successfully built certora-cli-alpha-eric-stack2 2023-05-14T19:54:48,947 Removed build tracker: '/tmp/pip-build-tracker-64vicn_n'