2023-05-13T17:48:51,263 Created temporary directory: /tmp/pip-build-tracker-5ckze8eb 2023-05-13T17:48:51,264 Initialized build tracking at /tmp/pip-build-tracker-5ckze8eb 2023-05-13T17:48:51,265 Created build tracker: /tmp/pip-build-tracker-5ckze8eb 2023-05-13T17:48:51,265 Entered build tracker: /tmp/pip-build-tracker-5ckze8eb 2023-05-13T17:48:51,265 Created temporary directory: /tmp/pip-wheel-wqlldf8c 2023-05-13T17:48:51,269 Created temporary directory: /tmp/pip-ephem-wheel-cache-3iaqc28x 2023-05-13T17:48:51,293 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-13T17:48:51,297 2 location(s) to search for versions of certora-cli-alpha-mike-cvl2-migration-errors: 2023-05-13T17:48:51,297 * https://pypi.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/ 2023-05-13T17:48:51,297 * https://www.piwheels.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/ 2023-05-13T17:48:51,297 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/ 2023-05-13T17:48:51,298 Getting page https://pypi.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/ 2023-05-13T17:48:51,300 Found index url https://pypi.org/simple/ 2023-05-13T17:48:51,349 Fetched page https://pypi.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/ as application/vnd.pypi.simple.v1+json 2023-05-13T17:48:51,351 Found link https://files.pythonhosted.org/packages/25/98/59a7ec9e8425266b88f078ac8e2c0e978d6d50817e55841b176af6c4333e/certora-cli-alpha-mike-cvl2-migration-errors-20230502.15.18.397295.tar.gz (from https://pypi.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/) (requires-python:>=3.8.16), version: 20230502.15.18.397295 2023-05-13T17:48:51,352 Skipping link: No binaries permitted for certora-cli-alpha-mike-cvl2-migration-errors: https://files.pythonhosted.org/packages/9e/26/27a8e2eba94e04d1cb1ff8bac86f31937dfe06d8cd1b737ec3948a92a0fa/certora_cli_alpha_mike_cvl2_migration_errors-20230502.15.18.397295-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/) (requires-python:>=3.8.16) 2023-05-13T17:48:51,352 Found link https://files.pythonhosted.org/packages/40/63/e2dcac2685e572a67dfbc3d6d32b05bbd24659f167d4a2c6b4eb7d7494fe/certora-cli-alpha-mike-cvl2-migration-errors-20230502.16.43.419119.tar.gz (from https://pypi.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/) (requires-python:>=3.8.16), version: 20230502.16.43.419119 2023-05-13T17:48:51,353 Skipping link: No binaries permitted for certora-cli-alpha-mike-cvl2-migration-errors: https://files.pythonhosted.org/packages/de/10/8c8117a1ec03fafac7199f52889a49f488ff4f1f39086881219834b1d622/certora_cli_alpha_mike_cvl2_migration_errors-20230502.16.43.419119-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/) (requires-python:>=3.8.16) 2023-05-13T17:48:51,353 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/ 2023-05-13T17:48:51,353 Getting page https://www.piwheels.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/ 2023-05-13T17:48:51,354 Found index url https://www.piwheels.org/simple/ 2023-05-13T17:48:51,547 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/ as text/html 2023-05-13T17:48:51,549 Skipping link: No binaries permitted for certora-cli-alpha-mike-cvl2-migration-errors: https://www.piwheels.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/certora_cli_alpha_mike_cvl2_migration_errors-20230502.15.18.397295-py3-none-any.whl#sha256=1241976869c48d7f1a382e510f45d3e68512fa8fe638bbc5298a77e6a559c900 (from https://www.piwheels.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/) (requires-python:>=3.8.16) 2023-05-13T17:48:51,549 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/ 2023-05-13T17:48:51,549 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-mike-cvl2-migration-errors/ 2023-05-13T17:48:51,567 Given no hashes to check 1 links for project 'certora-cli-alpha-mike-cvl2-migration-errors': discarding no candidates 2023-05-13T17:48:51,585 Collecting certora-cli-alpha-mike-cvl2-migration-errors==20230502.16.43.419119 2023-05-13T17:48:51,587 Created temporary directory: /tmp/pip-unpack-brc5mudz 2023-05-13T17:48:51,959 Downloading certora-cli-alpha-mike-cvl2-migration-errors-20230502.16.43.419119.tar.gz (38.4 MB) 2023-05-13T17:49:01,355 Added certora-cli-alpha-mike-cvl2-migration-errors==20230502.16.43.419119 from https://files.pythonhosted.org/packages/40/63/e2dcac2685e572a67dfbc3d6d32b05bbd24659f167d4a2c6b4eb7d7494fe/certora-cli-alpha-mike-cvl2-migration-errors-20230502.16.43.419119.tar.gz to build tracker '/tmp/pip-build-tracker-5ckze8eb' 2023-05-13T17:49:01,357 Running setup.py (path:/tmp/pip-wheel-wqlldf8c/certora-cli-alpha-mike-cvl2-migration-errors_d2743a37ad804433894b17f3de199d57/setup.py) egg_info for package certora-cli-alpha-mike-cvl2-migration-errors 2023-05-13T17:49:01,358 Created temporary directory: /tmp/pip-pip-egg-info-trgssvn9 2023-05-13T17:49:01,358 Preparing metadata (setup.py): started 2023-05-13T17:49:01,359 Running command python setup.py egg_info 2023-05-13T17:49:01,965 running egg_info 2023-05-13T17:49:01,966 creating /tmp/pip-pip-egg-info-trgssvn9/certora_cli_alpha_mike_cvl2_migration_errors.egg-info 2023-05-13T17:49:01,992 writing /tmp/pip-pip-egg-info-trgssvn9/certora_cli_alpha_mike_cvl2_migration_errors.egg-info/PKG-INFO 2023-05-13T17:49:01,994 writing dependency_links to /tmp/pip-pip-egg-info-trgssvn9/certora_cli_alpha_mike_cvl2_migration_errors.egg-info/dependency_links.txt 2023-05-13T17:49:01,996 writing entry points to /tmp/pip-pip-egg-info-trgssvn9/certora_cli_alpha_mike_cvl2_migration_errors.egg-info/entry_points.txt 2023-05-13T17:49:01,997 writing requirements to /tmp/pip-pip-egg-info-trgssvn9/certora_cli_alpha_mike_cvl2_migration_errors.egg-info/requires.txt 2023-05-13T17:49:01,998 writing top-level names to /tmp/pip-pip-egg-info-trgssvn9/certora_cli_alpha_mike_cvl2_migration_errors.egg-info/top_level.txt 2023-05-13T17:49:02,000 writing manifest file '/tmp/pip-pip-egg-info-trgssvn9/certora_cli_alpha_mike_cvl2_migration_errors.egg-info/SOURCES.txt' 2023-05-13T17:49:02,085 reading manifest file '/tmp/pip-pip-egg-info-trgssvn9/certora_cli_alpha_mike_cvl2_migration_errors.egg-info/SOURCES.txt' 2023-05-13T17:49:02,087 reading manifest template 'MANIFEST.in' 2023-05-13T17:49:02,096 adding license file 'LICENSE' 2023-05-13T17:49:02,100 writing manifest file '/tmp/pip-pip-egg-info-trgssvn9/certora_cli_alpha_mike_cvl2_migration_errors.egg-info/SOURCES.txt' 2023-05-13T17:49:02,160 Preparing metadata (setup.py): finished with status 'done' 2023-05-13T17:49:02,166 Source in /tmp/pip-wheel-wqlldf8c/certora-cli-alpha-mike-cvl2-migration-errors_d2743a37ad804433894b17f3de199d57 has version 20230502.16.43.419119, which satisfies requirement certora-cli-alpha-mike-cvl2-migration-errors==20230502.16.43.419119 from https://files.pythonhosted.org/packages/40/63/e2dcac2685e572a67dfbc3d6d32b05bbd24659f167d4a2c6b4eb7d7494fe/certora-cli-alpha-mike-cvl2-migration-errors-20230502.16.43.419119.tar.gz 2023-05-13T17:49:02,167 Removed certora-cli-alpha-mike-cvl2-migration-errors==20230502.16.43.419119 from https://files.pythonhosted.org/packages/40/63/e2dcac2685e572a67dfbc3d6d32b05bbd24659f167d4a2c6b4eb7d7494fe/certora-cli-alpha-mike-cvl2-migration-errors-20230502.16.43.419119.tar.gz from build tracker '/tmp/pip-build-tracker-5ckze8eb' 2023-05-13T17:49:02,174 Created temporary directory: /tmp/pip-unpack-4im519_j 2023-05-13T17:49:02,174 Building wheels for collected packages: certora-cli-alpha-mike-cvl2-migration-errors 2023-05-13T17:49:02,178 Created temporary directory: /tmp/pip-wheel-fc3qa4go 2023-05-13T17:49:02,179 Building wheel for certora-cli-alpha-mike-cvl2-migration-errors (setup.py): started 2023-05-13T17:49:02,180 Destination directory: /tmp/pip-wheel-fc3qa4go 2023-05-13T17:49:02,180 Running command python setup.py bdist_wheel 2023-05-13T17:49:03,190 running bdist_wheel 2023-05-13T17:49:03,481 running build 2023-05-13T17:49:03,481 running build_py 2023-05-13T17:49:03,510 creating build 2023-05-13T17:49:03,510 creating build/lib 2023-05-13T17:49:03,511 creating build/lib/certora_jars 2023-05-13T17:49:03,512 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-13T17:49:03,515 creating build/lib/certora_cli 2023-05-13T17:49:03,516 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-13T17:49:03,518 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-13T17:49:03,520 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-13T17:49:03,523 creating build/lib/certora_cli/Shared 2023-05-13T17:49:03,524 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-13T17:49:03,527 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-13T17:49:03,529 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-13T17:49:03,532 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-13T17:49:03,535 creating build/lib/certora_cli/EVMVerifier 2023-05-13T17:49:03,536 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:49:03,542 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:49:03,544 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:49:03,546 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:49:03,548 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:49:03,551 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:49:03,555 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:49:03,557 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:49:03,559 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:49:03,562 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:49:03,565 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:49:03,569 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:49:03,571 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:49:03,575 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:49:03,576 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:49:03,578 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:49:03,580 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:49:03,583 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:49:03,585 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:49:03,587 running egg_info 2023-05-13T17:49:03,648 writing certora_cli_alpha_mike_cvl2_migration_errors.egg-info/PKG-INFO 2023-05-13T17:49:03,650 writing dependency_links to certora_cli_alpha_mike_cvl2_migration_errors.egg-info/dependency_links.txt 2023-05-13T17:49:03,652 writing entry points to certora_cli_alpha_mike_cvl2_migration_errors.egg-info/entry_points.txt 2023-05-13T17:49:03,653 writing requirements to certora_cli_alpha_mike_cvl2_migration_errors.egg-info/requires.txt 2023-05-13T17:49:03,655 writing top-level names to certora_cli_alpha_mike_cvl2_migration_errors.egg-info/top_level.txt 2023-05-13T17:49:03,685 reading manifest file 'certora_cli_alpha_mike_cvl2_migration_errors.egg-info/SOURCES.txt' 2023-05-13T17:49:03,688 reading manifest template 'MANIFEST.in' 2023-05-13T17:49:03,698 adding license file 'LICENSE' 2023-05-13T17:49:03,702 writing manifest file 'certora_cli_alpha_mike_cvl2_migration_errors.egg-info/SOURCES.txt' 2023-05-13T17:49:03,705 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-13T17:49:03,707 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-13T17:49:03,951 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-13T17:49:04,154 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-13T17:49:04,402 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-13T17:49:04,526 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-13T17:49:04,655 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-13T17:49:04,656 !! 2023-05-13T17:49:04,656 ******************************************************************************** 2023-05-13T17:49:04,656 Please avoid running ``setup.py`` directly. 2023-05-13T17:49:04,656 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-13T17:49:04,656 other standards-based tools. 2023-05-13T17:49:04,657 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-13T17:49:04,657 ******************************************************************************** 2023-05-13T17:49:04,657 !! 2023-05-13T17:49:04,657 self.initialize_options() 2023-05-13T17:49:04,684 installing to build/bdist.linux-aarch64/wheel 2023-05-13T17:49:04,684 running install 2023-05-13T17:49:04,710 running install_lib 2023-05-13T17:49:04,736 creating build/bdist.linux-aarch64 2023-05-13T17:49:04,737 creating build/bdist.linux-aarch64/wheel 2023-05-13T17:49:04,738 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:49:04,739 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:49:04,741 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:49:04,913 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:49:05,022 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:49:05,216 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:49:05,309 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:49:05,505 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:49:05,508 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T17:49:05,509 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:49:05,511 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:49:05,514 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:49:05,517 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:49:05,520 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:49:05,523 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:49:05,524 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:49:05,530 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:49:05,534 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:49:05,535 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:49:05,537 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:49:05,540 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:49:05,542 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:49:05,544 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:49:05,548 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:49:05,550 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:49:05,551 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:49:05,554 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:49:05,558 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:49:05,561 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:49:05,563 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:49:05,566 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:49:05,569 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:49:05,573 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:49:05,575 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:49:05,578 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T17:49:05,580 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T17:49:05,581 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T17:49:05,584 running install_egg_info 2023-05-13T17:49:05,614 Copying certora_cli_alpha_mike_cvl2_migration_errors.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_mike_cvl2_migration_errors-20230502.16.43.419119-py3.9.egg-info 2023-05-13T17:49:05,627 running install_scripts 2023-05-13T17:49:05,645 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-13T17:49:05,649 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_mike_cvl2_migration_errors-20230502.16.43.419119.dist-info/WHEEL 2023-05-13T17:49:05,652 creating '/tmp/pip-wheel-fc3qa4go/certora_cli_alpha_mike_cvl2_migration_errors-20230502.16.43.419119-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-13T17:49:05,654 adding 'certora_cli/__init__.py' 2023-05-13T17:49:05,656 adding 'certora_cli/certoraMutate.py' 2023-05-13T17:49:05,658 adding 'certora_cli/certoraRun.py' 2023-05-13T17:49:05,660 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-13T17:49:05,682 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-13T17:49:05,689 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-13T17:49:05,691 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-13T17:49:05,692 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-13T17:49:05,697 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-13T17:49:05,701 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-13T17:49:05,702 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-13T17:49:05,708 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-13T17:49:05,710 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-13T17:49:05,712 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-13T17:49:05,715 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-13T17:49:05,718 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-13T17:49:05,721 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-13T17:49:05,723 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-13T17:49:05,724 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-13T17:49:05,728 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-13T17:49:05,730 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-13T17:49:05,732 adding 'certora_cli/Shared/__init__.py' 2023-05-13T17:49:05,735 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-13T17:49:05,737 adding 'certora_cli/Shared/certoraTester.py' 2023-05-13T17:49:05,743 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-13T17:49:05,747 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-13T17:49:07,328 adding 'certora_jars/MutationTest.jar' 2023-05-13T17:49:08,639 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-13T17:49:10,128 adding 'certora_jars/Typechecker.jar' 2023-05-13T17:49:10,207 adding 'certora_jars/__init__.py' 2023-05-13T17:49:11,064 adding 'certora_jars/gambit-linux' 2023-05-13T17:49:11,923 adding 'certora_jars/gambit-macos' 2023-05-13T17:49:11,959 adding 'certora_cli_alpha_mike_cvl2_migration_errors-20230502.16.43.419119.dist-info/LICENSE' 2023-05-13T17:49:11,960 adding 'certora_cli_alpha_mike_cvl2_migration_errors-20230502.16.43.419119.dist-info/METADATA' 2023-05-13T17:49:11,961 adding 'certora_cli_alpha_mike_cvl2_migration_errors-20230502.16.43.419119.dist-info/WHEEL' 2023-05-13T17:49:11,962 adding 'certora_cli_alpha_mike_cvl2_migration_errors-20230502.16.43.419119.dist-info/entry_points.txt' 2023-05-13T17:49:11,963 adding 'certora_cli_alpha_mike_cvl2_migration_errors-20230502.16.43.419119.dist-info/top_level.txt' 2023-05-13T17:49:11,965 adding 'certora_cli_alpha_mike_cvl2_migration_errors-20230502.16.43.419119.dist-info/RECORD' 2023-05-13T17:49:12,380 removing build/bdist.linux-aarch64/wheel 2023-05-13T17:49:12,502 Building wheel for certora-cli-alpha-mike-cvl2-migration-errors (setup.py): finished with status 'done' 2023-05-13T17:49:12,893 Created wheel for certora-cli-alpha-mike-cvl2-migration-errors: filename=certora_cli_alpha_mike_cvl2_migration_errors-20230502.16.43.419119-py3-none-any.whl size=38412269 sha256=fa33c82a1641066c90ba5593783557625127832df85033c7c74fbe6fa89e8744 2023-05-13T17:49:12,894 Stored in directory: /tmp/pip-ephem-wheel-cache-3iaqc28x/wheels/a4/74/0f/202c5254166d5c788740ca3bcf21d522cf2d569cfed6122c3a 2023-05-13T17:49:12,922 Successfully built certora-cli-alpha-mike-cvl2-migration-errors 2023-05-13T17:49:13,901 Removed build tracker: '/tmp/pip-build-tracker-5ckze8eb'