2023-05-14T16:21:28,740 Created temporary directory: /tmp/pip-build-tracker-9d670wx1
2023-05-14T16:21:28,741 Initialized build tracking at /tmp/pip-build-tracker-9d670wx1
2023-05-14T16:21:28,741 Created build tracker: /tmp/pip-build-tracker-9d670wx1
2023-05-14T16:21:28,741 Entered build tracker: /tmp/pip-build-tracker-9d670wx1
2023-05-14T16:21:28,742 Created temporary directory: /tmp/pip-wheel-ulwj9f8i
2023-05-14T16:21:28,746 Created temporary directory: /tmp/pip-ephem-wheel-cache-1h0kk7sm
2023-05-14T16:21:28,770 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-14T16:21:28,774 2 location(s) to search for versions of certora-cli-alpha-alex-configscope:
2023-05-14T16:21:28,774 * https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T16:21:28,774 * https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T16:21:28,774 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T16:21:28,775 Getting page https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T16:21:28,777 Found index url https://pypi.org/simple/
2023-05-14T16:21:28,827 Fetched page https://pypi.org/simple/certora-cli-alpha-alex-configscope/ as application/vnd.pypi.simple.v1+json
2023-05-14T16:21:28,830   Found link https://files.pythonhosted.org/packages/d3/00/bd75c5342506108387a60b7915f10000643d164eff3c3e7870026ead10eb/certora-cli-alpha-alex-configscope-20230511.15.8.369076.tar.gz (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16), version: 20230511.15.8.369076
2023-05-14T16:21:28,830   Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://files.pythonhosted.org/packages/6b/bd/a7efe7e81637b18f3353ba0fa87c3c697da9dd31486835da970f20aa2db6/certora_cli_alpha_alex_configscope-20230511.15.8.369076-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16)
2023-05-14T16:21:28,831   Found link https://files.pythonhosted.org/packages/38/c5/ab60052a91904aae740f447c3141ea51a70d83311f7afdd3aad7c856ad3d/certora-cli-alpha-alex-configscope-20230511.17.10.146211.tar.gz (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16), version: 20230511.17.10.146211
2023-05-14T16:21:28,831   Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://files.pythonhosted.org/packages/b5/e4/736e00b0be561be96e01b4601f238d610bbf2e1be021c3579191bc8d75b4/certora_cli_alpha_alex_configscope-20230511.17.10.146211-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16)
2023-05-14T16:21:28,831   Found link https://files.pythonhosted.org/packages/32/5d/d520957790f6c646a7bf2827965a177109bf3aaa303c27334d4dcda9e5b8/certora-cli-alpha-alex-configscope-20230512.9.39.924761.tar.gz (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16), version: 20230512.9.39.924761
2023-05-14T16:21:28,832   Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://files.pythonhosted.org/packages/d4/a6/24da587628cead88617217b6974a0ddeef994e54c39a2146f40f73960c49/certora_cli_alpha_alex_configscope-20230512.9.39.924761-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16)
2023-05-14T16:21:28,832   Found link https://files.pythonhosted.org/packages/0d/1f/661fc3884b7e631bfca9fd2d71da559d215e99d48ea0bb99830f8f2f6c79/certora-cli-alpha-alex-configscope-20230512.17.18.22359.tar.gz (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16), version: 20230512.17.18.22359
2023-05-14T16:21:28,833   Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://files.pythonhosted.org/packages/63/e4/1afe726ee3ba23237eee51e6347bc30240e7d9ade9d87c877a096b8ebfc5/certora_cli_alpha_alex_configscope-20230512.17.18.22359-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16)
2023-05-14T16:21:28,833 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T16:21:28,833 Getting page https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T16:21:28,834 Found index url https://www.piwheels.org/simple/
2023-05-14T16:21:29,025 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/ as text/html
2023-05-14T16:21:29,026   Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/certora_cli_alpha_alex_configscope-20230511.15.8.369076-py3-none-any.whl#sha256=e9a9b3042a44a61c97ef356f732f8632badc02d79ad345e2535e070122626327 (from https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16)
2023-05-14T16:21:29,027 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T16:21:29,027 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T16:21:29,044 Given no hashes to check 1 links for project 'certora-cli-alpha-alex-configscope': discarding no candidates
2023-05-14T16:21:29,060 Collecting certora-cli-alpha-alex-configscope==20230511.17.10.146211
2023-05-14T16:21:29,063   Created temporary directory: /tmp/pip-unpack-u3_icv2c
2023-05-14T16:21:29,119   Downloading certora-cli-alpha-alex-configscope-20230511.17.10.146211.tar.gz (39.4 MB)
2023-05-14T16:21:33,613   Added certora-cli-alpha-alex-configscope==20230511.17.10.146211 from https://files.pythonhosted.org/packages/38/c5/ab60052a91904aae740f447c3141ea51a70d83311f7afdd3aad7c856ad3d/certora-cli-alpha-alex-configscope-20230511.17.10.146211.tar.gz to build tracker '/tmp/pip-build-tracker-9d670wx1'
2023-05-14T16:21:33,615   Running setup.py (path:/tmp/pip-wheel-ulwj9f8i/certora-cli-alpha-alex-configscope_6acf92ec80b2470585f6c02487167e6f/setup.py) egg_info for package certora-cli-alpha-alex-configscope
2023-05-14T16:21:33,616   Created temporary directory: /tmp/pip-pip-egg-info-if67wiaf
2023-05-14T16:21:33,616   Preparing metadata (setup.py): started
2023-05-14T16:21:33,617   Running command python setup.py egg_info
2023-05-14T16:21:34,222   running egg_info
2023-05-14T16:21:34,224   creating /tmp/pip-pip-egg-info-if67wiaf/certora_cli_alpha_alex_configscope.egg-info
2023-05-14T16:21:34,248   writing /tmp/pip-pip-egg-info-if67wiaf/certora_cli_alpha_alex_configscope.egg-info/PKG-INFO
2023-05-14T16:21:34,251   writing dependency_links to /tmp/pip-pip-egg-info-if67wiaf/certora_cli_alpha_alex_configscope.egg-info/dependency_links.txt
2023-05-14T16:21:34,253   writing entry points to /tmp/pip-pip-egg-info-if67wiaf/certora_cli_alpha_alex_configscope.egg-info/entry_points.txt
2023-05-14T16:21:34,254   writing requirements to /tmp/pip-pip-egg-info-if67wiaf/certora_cli_alpha_alex_configscope.egg-info/requires.txt
2023-05-14T16:21:34,255   writing top-level names to /tmp/pip-pip-egg-info-if67wiaf/certora_cli_alpha_alex_configscope.egg-info/top_level.txt
2023-05-14T16:21:34,257   writing manifest file '/tmp/pip-pip-egg-info-if67wiaf/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T16:21:34,342   reading manifest file '/tmp/pip-pip-egg-info-if67wiaf/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T16:21:34,343   reading manifest template 'MANIFEST.in'
2023-05-14T16:21:34,353   adding license file 'LICENSE'
2023-05-14T16:21:34,356   writing manifest file '/tmp/pip-pip-egg-info-if67wiaf/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T16:21:34,416   Preparing metadata (setup.py): finished with status 'done'
2023-05-14T16:21:34,421   Source in /tmp/pip-wheel-ulwj9f8i/certora-cli-alpha-alex-configscope_6acf92ec80b2470585f6c02487167e6f has version 20230511.17.10.146211, which satisfies requirement certora-cli-alpha-alex-configscope==20230511.17.10.146211 from https://files.pythonhosted.org/packages/38/c5/ab60052a91904aae740f447c3141ea51a70d83311f7afdd3aad7c856ad3d/certora-cli-alpha-alex-configscope-20230511.17.10.146211.tar.gz
2023-05-14T16:21:34,422   Removed certora-cli-alpha-alex-configscope==20230511.17.10.146211 from https://files.pythonhosted.org/packages/38/c5/ab60052a91904aae740f447c3141ea51a70d83311f7afdd3aad7c856ad3d/certora-cli-alpha-alex-configscope-20230511.17.10.146211.tar.gz from build tracker '/tmp/pip-build-tracker-9d670wx1'
2023-05-14T16:21:34,429 Created temporary directory: /tmp/pip-unpack-x3h_akto
2023-05-14T16:21:34,430 Building wheels for collected packages: certora-cli-alpha-alex-configscope
2023-05-14T16:21:34,434   Created temporary directory: /tmp/pip-wheel-vjyml9lh
2023-05-14T16:21:34,435   Building wheel for certora-cli-alpha-alex-configscope (setup.py): started
2023-05-14T16:21:34,436   Destination directory: /tmp/pip-wheel-vjyml9lh
2023-05-14T16:21:34,436   Running command python setup.py bdist_wheel
2023-05-14T16:21:35,243   running bdist_wheel
2023-05-14T16:21:35,520   running build
2023-05-14T16:21:35,521   running build_py
2023-05-14T16:21:35,549   creating build
2023-05-14T16:21:35,550   creating build/lib
2023-05-14T16:21:35,551   creating build/lib/certora_cli
2023-05-14T16:21:35,552   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-14T16:21:35,554   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-14T16:21:35,556   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-14T16:21:35,559   creating build/lib/certora_jars
2023-05-14T16:21:35,560   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-14T16:21:35,562   creating build/lib/certora_cli/Shared
2023-05-14T16:21:35,563   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-14T16:21:35,565   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-14T16:21:35,568   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-14T16:21:35,570   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-14T16:21:35,574   creating build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,575   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,577   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,579   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,581   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,583   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,585   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,588   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,591   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,594   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,598   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,605   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,609   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,611   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,613   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T16:21:35,616   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T16:21:35,617   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T16:21:35,619   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T16:21:35,621   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T16:21:35,623   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T16:21:35,625   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T16:21:35,628   running egg_info
2023-05-14T16:21:35,688   writing certora_cli_alpha_alex_configscope.egg-info/PKG-INFO
2023-05-14T16:21:35,690   writing dependency_links to certora_cli_alpha_alex_configscope.egg-info/dependency_links.txt
2023-05-14T16:21:35,692   writing entry points to certora_cli_alpha_alex_configscope.egg-info/entry_points.txt
2023-05-14T16:21:35,694   writing requirements to certora_cli_alpha_alex_configscope.egg-info/requires.txt
2023-05-14T16:21:35,695   writing top-level names to certora_cli_alpha_alex_configscope.egg-info/top_level.txt
2023-05-14T16:21:35,726   reading manifest file 'certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T16:21:35,729   reading manifest template 'MANIFEST.in'
2023-05-14T16:21:35,738   adding license file 'LICENSE'
2023-05-14T16:21:35,743   writing manifest file 'certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T16:21:35,746   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-14T16:21:35,748   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-14T16:21:35,982   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-14T16:21:36,157   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-14T16:21:36,370   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-14T16:21:36,490   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-14T16:21:36,697   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-14T16:21:36,697   !!

2023-05-14T16:21:36,698           ********************************************************************************
2023-05-14T16:21:36,698           Please avoid running ``setup.py`` directly.
2023-05-14T16:21:36,698           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-14T16:21:36,698           other standards-based tools.

2023-05-14T16:21:36,698           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-14T16:21:36,698           ********************************************************************************

2023-05-14T16:21:36,699   !!
2023-05-14T16:21:36,699     self.initialize_options()
2023-05-14T16:21:36,725   installing to build/bdist.linux-aarch64/wheel
2023-05-14T16:21:36,725   running install
2023-05-14T16:21:36,751   running install_lib
2023-05-14T16:21:36,777   creating build/bdist.linux-aarch64
2023-05-14T16:21:36,778   creating build/bdist.linux-aarch64/wheel
2023-05-14T16:21:36,780   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T16:21:36,782   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T16:21:36,783   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T16:21:36,786   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T16:21:36,789   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T16:21:36,792   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T16:21:36,796   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,797   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,799   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,802   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,804   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,807   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T16:21:36,808   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T16:21:36,811   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T16:21:36,813   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T16:21:36,816   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T16:21:36,818   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T16:21:36,821   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,825   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,828   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,831   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,834   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,838   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,844   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,847   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,850   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,852   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T16:21:36,856   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T16:21:36,857   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T16:21:36,860   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T16:21:36,863   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T16:21:36,864   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T16:21:36,866   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T16:21:37,114   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T16:21:37,116   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T16:21:37,306   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T16:21:37,428   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T16:21:37,581   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T16:21:37,834   running install_egg_info
2023-05-14T16:21:37,864   Copying certora_cli_alpha_alex_configscope.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_alex_configscope-20230511.17.10.146211-py3.9.egg-info
2023-05-14T16:21:37,876   running install_scripts
2023-05-14T16:21:37,893   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-14T16:21:37,898   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_alex_configscope-20230511.17.10.146211.dist-info/WHEEL
2023-05-14T16:21:37,900   creating '/tmp/pip-wheel-vjyml9lh/certora_cli_alpha_alex_configscope-20230511.17.10.146211-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-14T16:21:37,903   adding 'certora_cli/__init__.py'
2023-05-14T16:21:37,904   adding 'certora_cli/certoraMutate.py'
2023-05-14T16:21:37,906   adding 'certora_cli/certoraRun.py'
2023-05-14T16:21:37,908   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-14T16:21:37,930   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-14T16:21:37,937   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-14T16:21:37,939   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-14T16:21:37,941   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-14T16:21:37,945   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-14T16:21:37,949   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-14T16:21:37,951   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-14T16:21:37,956   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-14T16:21:37,958   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-14T16:21:37,960   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-14T16:21:37,962   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-14T16:21:37,964   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-14T16:21:37,968   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-14T16:21:37,971   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-14T16:21:37,972   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-14T16:21:37,974   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-14T16:21:37,978   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-14T16:21:37,980   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-14T16:21:37,982   adding 'certora_cli/Shared/__init__.py'
2023-05-14T16:21:37,984   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-14T16:21:37,986   adding 'certora_cli/Shared/certoraTester.py'
2023-05-14T16:21:37,992   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-14T16:21:37,996   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-14T16:21:39,654   adding 'certora_jars/MutationTest.jar'
2023-05-14T16:21:40,979   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-14T16:21:42,544   adding 'certora_jars/Typechecker.jar'
2023-05-14T16:21:42,627   adding 'certora_jars/__init__.py'
2023-05-14T16:21:43,729   adding 'certora_jars/gambit-linux'
2023-05-14T16:21:44,588   adding 'certora_jars/gambit-macos'
2023-05-14T16:21:44,624   adding 'certora_cli_alpha_alex_configscope-20230511.17.10.146211.dist-info/LICENSE'
2023-05-14T16:21:44,626   adding 'certora_cli_alpha_alex_configscope-20230511.17.10.146211.dist-info/METADATA'
2023-05-14T16:21:44,627   adding 'certora_cli_alpha_alex_configscope-20230511.17.10.146211.dist-info/WHEEL'
2023-05-14T16:21:44,629   adding 'certora_cli_alpha_alex_configscope-20230511.17.10.146211.dist-info/entry_points.txt'
2023-05-14T16:21:44,630   adding 'certora_cli_alpha_alex_configscope-20230511.17.10.146211.dist-info/top_level.txt'
2023-05-14T16:21:44,631   adding 'certora_cli_alpha_alex_configscope-20230511.17.10.146211.dist-info/RECORD'
2023-05-14T16:21:45,064   removing build/bdist.linux-aarch64/wheel
2023-05-14T16:21:45,189   Building wheel for certora-cli-alpha-alex-configscope (setup.py): finished with status 'done'
2023-05-14T16:21:45,518   Created wheel for certora-cli-alpha-alex-configscope: filename=certora_cli_alpha_alex_configscope-20230511.17.10.146211-py3-none-any.whl size=39472949 sha256=6ac661a310fc91eb04116cd84dbcb9cfbc770324de72101d35aea00c85816be2
2023-05-14T16:21:45,519   Stored in directory: /tmp/pip-ephem-wheel-cache-1h0kk7sm/wheels/59/10/fa/358b2f1df299edc377a798b921958bfaa1f20720d5545da30c
2023-05-14T16:21:45,550 Successfully built certora-cli-alpha-alex-configscope
2023-05-14T16:21:46,510 Removed build tracker: '/tmp/pip-build-tracker-9d670wx1'