2023-05-14T17:43:59,384 Created temporary directory: /tmp/pip-build-tracker-1b9q3z4m
2023-05-14T17:43:59,386 Initialized build tracking at /tmp/pip-build-tracker-1b9q3z4m
2023-05-14T17:43:59,386 Created build tracker: /tmp/pip-build-tracker-1b9q3z4m
2023-05-14T17:43:59,386 Entered build tracker: /tmp/pip-build-tracker-1b9q3z4m
2023-05-14T17:43:59,387 Created temporary directory: /tmp/pip-wheel-8o1yknk4
2023-05-14T17:43:59,390 Created temporary directory: /tmp/pip-ephem-wheel-cache-xe1wwka3
2023-05-14T17:43:59,415 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-14T17:43:59,419 2 location(s) to search for versions of certora-cli-alpha-alex-configscope:
2023-05-14T17:43:59,419 * https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T17:43:59,419 * https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T17:43:59,419 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T17:43:59,420 Getting page https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T17:43:59,422 Found index url https://pypi.org/simple/
2023-05-14T17:43:59,472 Fetched page https://pypi.org/simple/certora-cli-alpha-alex-configscope/ as application/vnd.pypi.simple.v1+json
2023-05-14T17:43:59,475   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-14T17:43:59,475   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-14T17:43:59,476   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-14T17:43:59,476   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-14T17:43:59,477   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-14T17:43:59,477   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-14T17:43:59,477   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-14T17:43:59,478   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-14T17:43:59,478 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T17:43:59,478 Getting page https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T17:43:59,479 Found index url https://www.piwheels.org/simple/
2023-05-14T17:43:59,678 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/ as text/html
2023-05-14T17:43:59,680   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.17.10.146211-py3-none-any.whl#sha256=6ac661a310fc91eb04116cd84dbcb9cfbc770324de72101d35aea00c85816be2 (from https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16)
2023-05-14T17:43:59,680   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-14T17:43:59,680 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T17:43:59,681 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T17:43:59,699 Given no hashes to check 1 links for project 'certora-cli-alpha-alex-configscope': discarding no candidates
2023-05-14T17:43:59,717 Collecting certora-cli-alpha-alex-configscope==20230512.9.39.924761
2023-05-14T17:43:59,719   Created temporary directory: /tmp/pip-unpack-89up7v23
2023-05-14T17:43:59,949   Downloading certora-cli-alpha-alex-configscope-20230512.9.39.924761.tar.gz (39.4 MB)
2023-05-14T17:44:40,317   Added certora-cli-alpha-alex-configscope==20230512.9.39.924761 from https://files.pythonhosted.org/packages/32/5d/d520957790f6c646a7bf2827965a177109bf3aaa303c27334d4dcda9e5b8/certora-cli-alpha-alex-configscope-20230512.9.39.924761.tar.gz to build tracker '/tmp/pip-build-tracker-1b9q3z4m'
2023-05-14T17:44:40,321   Running setup.py (path:/tmp/pip-wheel-8o1yknk4/certora-cli-alpha-alex-configscope_fc2443a96a15483fbe4552222f8385b6/setup.py) egg_info for package certora-cli-alpha-alex-configscope
2023-05-14T17:44:40,322   Created temporary directory: /tmp/pip-pip-egg-info-wos51048
2023-05-14T17:44:40,322   Preparing metadata (setup.py): started
2023-05-14T17:44:40,323   Running command python setup.py egg_info
2023-05-14T17:44:40,983   running egg_info
2023-05-14T17:44:40,985   creating /tmp/pip-pip-egg-info-wos51048/certora_cli_alpha_alex_configscope.egg-info
2023-05-14T17:44:41,011   writing /tmp/pip-pip-egg-info-wos51048/certora_cli_alpha_alex_configscope.egg-info/PKG-INFO
2023-05-14T17:44:41,014   writing dependency_links to /tmp/pip-pip-egg-info-wos51048/certora_cli_alpha_alex_configscope.egg-info/dependency_links.txt
2023-05-14T17:44:41,016   writing entry points to /tmp/pip-pip-egg-info-wos51048/certora_cli_alpha_alex_configscope.egg-info/entry_points.txt
2023-05-14T17:44:41,017   writing requirements to /tmp/pip-pip-egg-info-wos51048/certora_cli_alpha_alex_configscope.egg-info/requires.txt
2023-05-14T17:44:41,019   writing top-level names to /tmp/pip-pip-egg-info-wos51048/certora_cli_alpha_alex_configscope.egg-info/top_level.txt
2023-05-14T17:44:41,020   writing manifest file '/tmp/pip-pip-egg-info-wos51048/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T17:44:41,108   reading manifest file '/tmp/pip-pip-egg-info-wos51048/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T17:44:41,110   reading manifest template 'MANIFEST.in'
2023-05-14T17:44:41,119   adding license file 'LICENSE'
2023-05-14T17:44:41,123   writing manifest file '/tmp/pip-pip-egg-info-wos51048/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T17:44:41,183   Preparing metadata (setup.py): finished with status 'done'
2023-05-14T17:44:41,188   Source in /tmp/pip-wheel-8o1yknk4/certora-cli-alpha-alex-configscope_fc2443a96a15483fbe4552222f8385b6 has version 20230512.9.39.924761, which satisfies requirement certora-cli-alpha-alex-configscope==20230512.9.39.924761 from https://files.pythonhosted.org/packages/32/5d/d520957790f6c646a7bf2827965a177109bf3aaa303c27334d4dcda9e5b8/certora-cli-alpha-alex-configscope-20230512.9.39.924761.tar.gz
2023-05-14T17:44:41,189   Removed certora-cli-alpha-alex-configscope==20230512.9.39.924761 from https://files.pythonhosted.org/packages/32/5d/d520957790f6c646a7bf2827965a177109bf3aaa303c27334d4dcda9e5b8/certora-cli-alpha-alex-configscope-20230512.9.39.924761.tar.gz from build tracker '/tmp/pip-build-tracker-1b9q3z4m'
2023-05-14T17:44:41,196 Created temporary directory: /tmp/pip-unpack-0j9dkp79
2023-05-14T17:44:41,197 Building wheels for collected packages: certora-cli-alpha-alex-configscope
2023-05-14T17:44:41,201   Created temporary directory: /tmp/pip-wheel-0zurc_qr
2023-05-14T17:44:41,202   Building wheel for certora-cli-alpha-alex-configscope (setup.py): started
2023-05-14T17:44:41,203   Destination directory: /tmp/pip-wheel-0zurc_qr
2023-05-14T17:44:41,203   Running command python setup.py bdist_wheel
2023-05-14T17:44:41,864   running bdist_wheel
2023-05-14T17:44:42,188   running build
2023-05-14T17:44:42,189   running build_py
2023-05-14T17:44:42,218   creating build
2023-05-14T17:44:42,219   creating build/lib
2023-05-14T17:44:42,219   creating build/lib/certora_jars
2023-05-14T17:44:42,221   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-14T17:44:42,223   creating build/lib/certora_cli
2023-05-14T17:44:42,224   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-14T17:44:42,225   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-14T17:44:42,228   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-14T17:44:42,230   creating build/lib/certora_cli/Shared
2023-05-14T17:44:42,231   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-14T17:44:42,234   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-14T17:44:42,236   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-14T17:44:42,238   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-14T17:44:42,243   creating build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,244   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,247   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,251   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,253   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,255   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,258   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,260   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,262   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,264   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,268   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,273   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,275   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,278   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,280   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T17:44:42,283   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T17:44:42,283   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T17:44:42,286   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T17:44:42,288   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T17:44:42,291   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T17:44:42,293   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T17:44:42,295   running egg_info
2023-05-14T17:44:42,355   writing certora_cli_alpha_alex_configscope.egg-info/PKG-INFO
2023-05-14T17:44:42,357   writing dependency_links to certora_cli_alpha_alex_configscope.egg-info/dependency_links.txt
2023-05-14T17:44:42,359   writing entry points to certora_cli_alpha_alex_configscope.egg-info/entry_points.txt
2023-05-14T17:44:42,361   writing requirements to certora_cli_alpha_alex_configscope.egg-info/requires.txt
2023-05-14T17:44:42,362   writing top-level names to certora_cli_alpha_alex_configscope.egg-info/top_level.txt
2023-05-14T17:44:42,393   reading manifest file 'certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T17:44:42,395   reading manifest template 'MANIFEST.in'
2023-05-14T17:44:42,405   adding license file 'LICENSE'
2023-05-14T17:44:42,409   writing manifest file 'certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T17:44:42,412   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-14T17:44:42,415   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-14T17:44:42,647   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-14T17:44:42,834   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-14T17:44:43,045   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-14T17:44:43,152   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-14T17:44:43,285   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-14T17:44:43,286   !!

2023-05-14T17:44:43,286           ********************************************************************************
2023-05-14T17:44:43,286           Please avoid running ``setup.py`` directly.
2023-05-14T17:44:43,286           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-14T17:44:43,286           other standards-based tools.

2023-05-14T17:44:43,287           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-14T17:44:43,287           ********************************************************************************

2023-05-14T17:44:43,287   !!
2023-05-14T17:44:43,287     self.initialize_options()
2023-05-14T17:44:43,313   installing to build/bdist.linux-aarch64/wheel
2023-05-14T17:44:43,313   running install
2023-05-14T17:44:43,337   running install_lib
2023-05-14T17:44:43,364   creating build/bdist.linux-aarch64
2023-05-14T17:44:43,365   creating build/bdist.linux-aarch64/wheel
2023-05-14T17:44:43,366   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:44:43,367   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:44:43,585   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:44:43,586   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:44:43,775   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:44:43,864   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:44:43,980   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:44:43,983   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T17:44:44,139   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T17:44:44,141   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T17:44:44,143   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T17:44:44,145   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T17:44:44,147   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T17:44:44,150   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T17:44:44,153   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T17:44:44,156   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T17:44:44,159   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T17:44:44,162   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,163   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,167   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,171   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,174   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,176   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,180   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,183   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,185   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,188   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,192   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T17:44:44,194   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T17:44:44,196   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T17:44:44,199   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T17:44:44,202   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T17:44:44,205   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T17:44:44,207   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,213   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,216   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,219   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,221   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T17:44:44,223   running install_egg_info
2023-05-14T17:44:44,256   Copying certora_cli_alpha_alex_configscope.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_alex_configscope-20230512.9.39.924761-py3.9.egg-info
2023-05-14T17:44:44,268   running install_scripts
2023-05-14T17:44:44,286   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_alex_configscope-20230512.9.39.924761.dist-info/WHEEL
2023-05-14T17:44:44,289   creating '/tmp/pip-wheel-0zurc_qr/certora_cli_alpha_alex_configscope-20230512.9.39.924761-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-14T17:44:44,292   adding 'certora_cli/__init__.py'
2023-05-14T17:44:44,294   adding 'certora_cli/certoraMutate.py'
2023-05-14T17:44:44,296   adding 'certora_cli/certoraRun.py'
2023-05-14T17:44:44,299   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-14T17:44:44,321   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-14T17:44:44,328   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-14T17:44:44,331   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-14T17:44:44,333   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-14T17:44:44,337   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-14T17:44:44,342   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-14T17:44:44,343   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-14T17:44:44,349   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-14T17:44:44,352   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-14T17:44:44,354   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-14T17:44:44,356   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-14T17:44:44,359   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-14T17:44:44,363   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-14T17:44:44,366   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-14T17:44:44,368   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-14T17:44:44,370   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-14T17:44:44,374   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-14T17:44:44,376   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-14T17:44:44,378   adding 'certora_cli/Shared/__init__.py'
2023-05-14T17:44:44,380   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-14T17:44:44,382   adding 'certora_cli/Shared/certoraTester.py'
2023-05-14T17:44:44,388   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-14T17:44:44,391   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-14T17:44:46,036   adding 'certora_jars/MutationTest.jar'
2023-05-14T17:44:47,349   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-14T17:44:48,900   adding 'certora_jars/Typechecker.jar'
2023-05-14T17:44:48,984   adding 'certora_jars/__init__.py'
2023-05-14T17:44:49,837   adding 'certora_jars/gambit-linux'
2023-05-14T17:44:50,697   adding 'certora_jars/gambit-macos'
2023-05-14T17:44:50,733   adding 'certora_cli_alpha_alex_configscope-20230512.9.39.924761.dist-info/LICENSE'
2023-05-14T17:44:50,734   adding 'certora_cli_alpha_alex_configscope-20230512.9.39.924761.dist-info/METADATA'
2023-05-14T17:44:50,735   adding 'certora_cli_alpha_alex_configscope-20230512.9.39.924761.dist-info/WHEEL'
2023-05-14T17:44:50,736   adding 'certora_cli_alpha_alex_configscope-20230512.9.39.924761.dist-info/entry_points.txt'
2023-05-14T17:44:50,738   adding 'certora_cli_alpha_alex_configscope-20230512.9.39.924761.dist-info/top_level.txt'
2023-05-14T17:44:50,739   adding 'certora_cli_alpha_alex_configscope-20230512.9.39.924761.dist-info/RECORD'
2023-05-14T17:44:51,170   removing build/bdist.linux-aarch64/wheel
2023-05-14T17:44:51,291   Building wheel for certora-cli-alpha-alex-configscope (setup.py): finished with status 'done'
2023-05-14T17:44:51,619   Created wheel for certora-cli-alpha-alex-configscope: filename=certora_cli_alpha_alex_configscope-20230512.9.39.924761-py3-none-any.whl size=39481324 sha256=250278fb0c10e429441a5443a163a27bfbaca425cca87911e4132bdc85431862
2023-05-14T17:44:51,620   Stored in directory: /tmp/pip-ephem-wheel-cache-xe1wwka3/wheels/e7/a5/ea/0431243e60e6f6303f5587c2fa5f5900ce4d68c1470b681dfd
2023-05-14T17:44:51,649 Successfully built certora-cli-alpha-alex-configscope
2023-05-14T17:44:52,891 Removed build tracker: '/tmp/pip-build-tracker-1b9q3z4m'