2023-05-14T19:40:04,757 Created temporary directory: /tmp/pip-build-tracker-z_52rsqm
2023-05-14T19:40:04,758 Initialized build tracking at /tmp/pip-build-tracker-z_52rsqm
2023-05-14T19:40:04,758 Created build tracker: /tmp/pip-build-tracker-z_52rsqm
2023-05-14T19:40:04,758 Entered build tracker: /tmp/pip-build-tracker-z_52rsqm
2023-05-14T19:40:04,759 Created temporary directory: /tmp/pip-wheel-h_6nzu2_
2023-05-14T19:40:04,763 Created temporary directory: /tmp/pip-ephem-wheel-cache-yit503s7
2023-05-14T19:40:04,787 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-14T19:40:04,791 2 location(s) to search for versions of certora-cli-alpha-alex-configscope:
2023-05-14T19:40:04,791 * https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T19:40:04,791 * https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T19:40:04,791 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T19:40:04,792 Getting page https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T19:40:04,793 Found index url https://pypi.org/simple/
2023-05-14T19:40:04,844 Fetched page https://pypi.org/simple/certora-cli-alpha-alex-configscope/ as application/vnd.pypi.simple.v1+json
2023-05-14T19:40:04,847   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-14T19:40:04,847   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-14T19:40:04,848   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-14T19:40:04,848   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-14T19:40:04,849   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-14T19:40:04,849   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-14T19:40:04,850   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-14T19:40:04,850   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-14T19:40:04,850 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T19:40:04,851 Getting page https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T19:40:04,852 Found index url https://www.piwheels.org/simple/
2023-05-14T19:40:05,031 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/ as text/html
2023-05-14T19:40:05,033   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-20230512.9.39.924761-py3-none-any.whl#sha256=250278fb0c10e429441a5443a163a27bfbaca425cca87911e4132bdc85431862 (from https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16)
2023-05-14T19:40:05,033   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-14T19:40:05,033   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-14T19:40:05,033 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T19:40:05,034 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-14T19:40:05,052 Given no hashes to check 1 links for project 'certora-cli-alpha-alex-configscope': discarding no candidates
2023-05-14T19:40:05,070 Collecting certora-cli-alpha-alex-configscope==20230512.17.18.22359
2023-05-14T19:40:05,073   Created temporary directory: /tmp/pip-unpack-23_rdnd4
2023-05-14T19:40:05,373   Downloading certora-cli-alpha-alex-configscope-20230512.17.18.22359.tar.gz (39.4 MB)
2023-05-14T19:40:35,631   Added certora-cli-alpha-alex-configscope==20230512.17.18.22359 from https://files.pythonhosted.org/packages/0d/1f/661fc3884b7e631bfca9fd2d71da559d215e99d48ea0bb99830f8f2f6c79/certora-cli-alpha-alex-configscope-20230512.17.18.22359.tar.gz to build tracker '/tmp/pip-build-tracker-z_52rsqm'
2023-05-14T19:40:35,633   Running setup.py (path:/tmp/pip-wheel-h_6nzu2_/certora-cli-alpha-alex-configscope_d694d08bb4e04f67bd87c3aec849a04e/setup.py) egg_info for package certora-cli-alpha-alex-configscope
2023-05-14T19:40:35,634   Created temporary directory: /tmp/pip-pip-egg-info-p_9mc2g3
2023-05-14T19:40:35,634   Preparing metadata (setup.py): started
2023-05-14T19:40:35,635   Running command python setup.py egg_info
2023-05-14T19:40:36,235   /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230512.17.18.022359' to '20230512.17.18.22359'
2023-05-14T19:40:36,236     self.metadata.version = self._normalize_version(
2023-05-14T19:40:36,286   running egg_info
2023-05-14T19:40:36,288   creating /tmp/pip-pip-egg-info-p_9mc2g3/certora_cli_alpha_alex_configscope.egg-info
2023-05-14T19:40:36,314   writing /tmp/pip-pip-egg-info-p_9mc2g3/certora_cli_alpha_alex_configscope.egg-info/PKG-INFO
2023-05-14T19:40:36,316   writing dependency_links to /tmp/pip-pip-egg-info-p_9mc2g3/certora_cli_alpha_alex_configscope.egg-info/dependency_links.txt
2023-05-14T19:40:36,318   writing entry points to /tmp/pip-pip-egg-info-p_9mc2g3/certora_cli_alpha_alex_configscope.egg-info/entry_points.txt
2023-05-14T19:40:36,319   writing requirements to /tmp/pip-pip-egg-info-p_9mc2g3/certora_cli_alpha_alex_configscope.egg-info/requires.txt
2023-05-14T19:40:36,321   writing top-level names to /tmp/pip-pip-egg-info-p_9mc2g3/certora_cli_alpha_alex_configscope.egg-info/top_level.txt
2023-05-14T19:40:36,322   writing manifest file '/tmp/pip-pip-egg-info-p_9mc2g3/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T19:40:36,409   reading manifest file '/tmp/pip-pip-egg-info-p_9mc2g3/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T19:40:36,411   reading manifest template 'MANIFEST.in'
2023-05-14T19:40:36,420   adding license file 'LICENSE'
2023-05-14T19:40:36,424   writing manifest file '/tmp/pip-pip-egg-info-p_9mc2g3/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T19:40:36,483   Preparing metadata (setup.py): finished with status 'done'
2023-05-14T19:40:36,489   Source in /tmp/pip-wheel-h_6nzu2_/certora-cli-alpha-alex-configscope_d694d08bb4e04f67bd87c3aec849a04e has version 20230512.17.18.22359, which satisfies requirement certora-cli-alpha-alex-configscope==20230512.17.18.22359 from https://files.pythonhosted.org/packages/0d/1f/661fc3884b7e631bfca9fd2d71da559d215e99d48ea0bb99830f8f2f6c79/certora-cli-alpha-alex-configscope-20230512.17.18.22359.tar.gz
2023-05-14T19:40:36,490   Removed certora-cli-alpha-alex-configscope==20230512.17.18.22359 from https://files.pythonhosted.org/packages/0d/1f/661fc3884b7e631bfca9fd2d71da559d215e99d48ea0bb99830f8f2f6c79/certora-cli-alpha-alex-configscope-20230512.17.18.22359.tar.gz from build tracker '/tmp/pip-build-tracker-z_52rsqm'
2023-05-14T19:40:36,496 Created temporary directory: /tmp/pip-unpack-zi9ogi7d
2023-05-14T19:40:36,497 Building wheels for collected packages: certora-cli-alpha-alex-configscope
2023-05-14T19:40:36,501   Created temporary directory: /tmp/pip-wheel-yfliq_s6
2023-05-14T19:40:36,502   Building wheel for certora-cli-alpha-alex-configscope (setup.py): started
2023-05-14T19:40:36,503   Destination directory: /tmp/pip-wheel-yfliq_s6
2023-05-14T19:40:36,503   Running command python setup.py bdist_wheel
2023-05-14T19:40:37,056   /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230512.17.18.022359' to '20230512.17.18.22359'
2023-05-14T19:40:37,057     self.metadata.version = self._normalize_version(
2023-05-14T19:40:37,328   running bdist_wheel
2023-05-14T19:40:37,617   running build
2023-05-14T19:40:37,617   running build_py
2023-05-14T19:40:37,647   creating build
2023-05-14T19:40:37,647   creating build/lib
2023-05-14T19:40:37,648   creating build/lib/certora_cli
2023-05-14T19:40:37,649   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-14T19:40:37,651   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-14T19:40:37,653   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-14T19:40:37,656   creating build/lib/certora_jars
2023-05-14T19:40:37,657   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-14T19:40:37,660   creating build/lib/certora_cli/Shared
2023-05-14T19:40:37,661   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-14T19:40:37,663   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-14T19:40:37,666   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-14T19:40:37,669   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-14T19:40:37,673   creating build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,674   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,676   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,679   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,681   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,683   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,686   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,690   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,693   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,696   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,701   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,709   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,713   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,715   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,718   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T19:40:37,722   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T19:40:37,723   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T19:40:37,725   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T19:40:37,728   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T19:40:37,731   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T19:40:37,733   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T19:40:37,736   running egg_info
2023-05-14T19:40:37,797   writing certora_cli_alpha_alex_configscope.egg-info/PKG-INFO
2023-05-14T19:40:37,799   writing dependency_links to certora_cli_alpha_alex_configscope.egg-info/dependency_links.txt
2023-05-14T19:40:37,801   writing entry points to certora_cli_alpha_alex_configscope.egg-info/entry_points.txt
2023-05-14T19:40:37,803   writing requirements to certora_cli_alpha_alex_configscope.egg-info/requires.txt
2023-05-14T19:40:37,804   writing top-level names to certora_cli_alpha_alex_configscope.egg-info/top_level.txt
2023-05-14T19:40:37,836   reading manifest file 'certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T19:40:37,839   reading manifest template 'MANIFEST.in'
2023-05-14T19:40:37,849   adding license file 'LICENSE'
2023-05-14T19:40:37,853   writing manifest file 'certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-14T19:40:37,857   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-14T19:40:37,859   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-14T19:40:38,077   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-14T19:40:38,274   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-14T19:40:38,476   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-14T19:40:38,610   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-14T19:40:38,725   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-14T19:40:38,725   !!

2023-05-14T19:40:38,726           ********************************************************************************
2023-05-14T19:40:38,726           Please avoid running ``setup.py`` directly.
2023-05-14T19:40:38,726           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-14T19:40:38,726           other standards-based tools.

2023-05-14T19:40:38,726           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-14T19:40:38,726           ********************************************************************************

2023-05-14T19:40:38,727   !!
2023-05-14T19:40:38,727     self.initialize_options()
2023-05-14T19:40:38,753   installing to build/bdist.linux-aarch64/wheel
2023-05-14T19:40:38,754   running install
2023-05-14T19:40:38,780   running install_lib
2023-05-14T19:40:38,807   creating build/bdist.linux-aarch64
2023-05-14T19:40:38,808   creating build/bdist.linux-aarch64/wheel
2023-05-14T19:40:38,810   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T19:40:38,812   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T19:40:38,813   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T19:40:38,816   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T19:40:38,819   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T19:40:38,822   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T19:40:38,825   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,826   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,828   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,830   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,832   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,835   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T19:40:38,836   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T19:40:38,838   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T19:40:38,841   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T19:40:38,843   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T19:40:38,845   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T19:40:38,848   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,851   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,853   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,856   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,859   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,862   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,867   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,871   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,873   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,875   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T19:40:38,878   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T19:40:38,880   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T19:40:38,882   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T19:40:38,885   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T19:40:38,886   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T19:40:38,888   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T19:40:39,094   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T19:40:39,096   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T19:40:39,269   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T19:40:39,387   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T19:40:39,507   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T19:40:39,727   running install_egg_info
2023-05-14T19:40:39,758   Copying certora_cli_alpha_alex_configscope.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_alex_configscope-20230512.17.18.22359-py3.9.egg-info
2023-05-14T19:40:39,771   running install_scripts
2023-05-14T19:40:39,788   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-14T19:40:39,793   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_alex_configscope-20230512.17.18.22359.dist-info/WHEEL
2023-05-14T19:40:39,795   creating '/tmp/pip-wheel-yfliq_s6/certora_cli_alpha_alex_configscope-20230512.17.18.22359-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-14T19:40:39,798   adding 'certora_cli/__init__.py'
2023-05-14T19:40:39,799   adding 'certora_cli/certoraMutate.py'
2023-05-14T19:40:39,801   adding 'certora_cli/certoraRun.py'
2023-05-14T19:40:39,804   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-14T19:40:39,826   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-14T19:40:39,833   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-14T19:40:39,835   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-14T19:40:39,836   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-14T19:40:39,841   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-14T19:40:39,845   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-14T19:40:39,846   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-14T19:40:39,852   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-14T19:40:39,854   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-14T19:40:39,856   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-14T19:40:39,858   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-14T19:40:39,861   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-14T19:40:39,865   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-14T19:40:39,867   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-14T19:40:39,869   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-14T19:40:39,871   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-14T19:40:39,875   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-14T19:40:39,876   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-14T19:40:39,878   adding 'certora_cli/Shared/__init__.py'
2023-05-14T19:40:39,881   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-14T19:40:39,883   adding 'certora_cli/Shared/certoraTester.py'
2023-05-14T19:40:39,889   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-14T19:40:39,893   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-14T19:40:41,548   adding 'certora_jars/MutationTest.jar'
2023-05-14T19:40:42,868   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-14T19:40:44,427   adding 'certora_jars/Typechecker.jar'
2023-05-14T19:40:44,510   adding 'certora_jars/__init__.py'
2023-05-14T19:40:45,368   adding 'certora_jars/gambit-linux'
2023-05-14T19:40:46,227   adding 'certora_jars/gambit-macos'
2023-05-14T19:40:46,263   adding 'certora_cli_alpha_alex_configscope-20230512.17.18.22359.dist-info/LICENSE'
2023-05-14T19:40:46,264   adding 'certora_cli_alpha_alex_configscope-20230512.17.18.22359.dist-info/METADATA'
2023-05-14T19:40:46,265   adding 'certora_cli_alpha_alex_configscope-20230512.17.18.22359.dist-info/WHEEL'
2023-05-14T19:40:46,267   adding 'certora_cli_alpha_alex_configscope-20230512.17.18.22359.dist-info/entry_points.txt'
2023-05-14T19:40:46,268   adding 'certora_cli_alpha_alex_configscope-20230512.17.18.22359.dist-info/top_level.txt'
2023-05-14T19:40:46,269   adding 'certora_cli_alpha_alex_configscope-20230512.17.18.22359.dist-info/RECORD'
2023-05-14T19:40:46,764   removing build/bdist.linux-aarch64/wheel
2023-05-14T19:40:46,888   Building wheel for certora-cli-alpha-alex-configscope (setup.py): finished with status 'done'
2023-05-14T19:40:47,216   Created wheel for certora-cli-alpha-alex-configscope: filename=certora_cli_alpha_alex_configscope-20230512.17.18.22359-py3-none-any.whl size=39479811 sha256=db7b851b054419416c40a415a5acaac91b5021931096eddce6fe2b2253e52ee3
2023-05-14T19:40:47,217   Stored in directory: /tmp/pip-ephem-wheel-cache-yit503s7/wheels/c4/a4/46/f428523f2b075e6abbd1ceb589e823499896905e76ef76b3dd
2023-05-14T19:40:47,247 Successfully built certora-cli-alpha-alex-configscope
2023-05-14T19:40:48,290 Removed build tracker: '/tmp/pip-build-tracker-z_52rsqm'