2023-05-15T16:01:13,840 Created temporary directory: /tmp/pip-build-tracker-a_krvkyu
2023-05-15T16:01:13,842 Initialized build tracking at /tmp/pip-build-tracker-a_krvkyu
2023-05-15T16:01:13,842 Created build tracker: /tmp/pip-build-tracker-a_krvkyu
2023-05-15T16:01:13,842 Entered build tracker: /tmp/pip-build-tracker-a_krvkyu
2023-05-15T16:01:13,843 Created temporary directory: /tmp/pip-wheel-ywkqgj2n
2023-05-15T16:01:13,846 Created temporary directory: /tmp/pip-ephem-wheel-cache-h9ba4dlq
2023-05-15T16:01:13,871 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-15T16:01:13,875 2 location(s) to search for versions of certora-cli-alpha-alex-configscope:
2023-05-15T16:01:13,875 * https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-15T16:01:13,875 * https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-15T16:01:13,875 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-15T16:01:13,876 Getting page https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-15T16:01:13,878 Found index url https://pypi.org/simple/
2023-05-15T16:01:13,965 Fetched page https://pypi.org/simple/certora-cli-alpha-alex-configscope/ as application/vnd.pypi.simple.v1+json
2023-05-15T16:01:13,969   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-15T16:01:13,969   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-15T16:01:13,970   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-15T16:01:13,970   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-15T16:01:13,971   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-15T16:01:13,971   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-15T16:01:13,971   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-15T16:01:13,972   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-15T16:01:13,972   Found link https://files.pythonhosted.org/packages/88/d8/04aeab04f74c593f8d5689516314e43354a199c46c59fc6e8c5cf7dd76dd/certora-cli-alpha-alex-configscope-20230515.12.41.386387.tar.gz (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16), version: 20230515.12.41.386387
2023-05-15T16:01:13,973   Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://files.pythonhosted.org/packages/cb/43/7bb6d2460c4cc2e380e9679a46e32dff1e3e0902b51c5ca08ac4b43f2cda/certora_cli_alpha_alex_configscope-20230515.12.41.386387-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16)
2023-05-15T16:01:13,973   Found link https://files.pythonhosted.org/packages/0c/39/64a5a22492fd1db3a426af770b9f59b16087b8aea7d623ea3b66f0bfa521/certora-cli-alpha-alex-configscope-20230515.13.10.603022.tar.gz (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16), version: 20230515.13.10.603022
2023-05-15T16:01:13,973   Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://files.pythonhosted.org/packages/2a/48/01d1d8349e18b8d5459d977db9a4c7ff2197a019d09984f67e61834c21c6/certora_cli_alpha_alex_configscope-20230515.13.10.603022-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16)
2023-05-15T16:01:13,974 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-15T16:01:13,974 Getting page https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-15T16:01:13,975 Found index url https://www.piwheels.org/simple/
2023-05-15T16:01:14,203 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/ as text/html
2023-05-15T16:01:14,206   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.17.18.22359-py3-none-any.whl#sha256=db7b851b054419416c40a415a5acaac91b5021931096eddce6fe2b2253e52ee3 (from https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16)
2023-05-15T16:01:14,206   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-15T16:01:14,206   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-15T16:01:14,206   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-15T16:01:14,207 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/
2023-05-15T16:01:14,207 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-alex-configscope/
2023-05-15T16:01:14,226 Given no hashes to check 1 links for project 'certora-cli-alpha-alex-configscope': discarding no candidates
2023-05-15T16:01:14,243 Collecting certora-cli-alpha-alex-configscope==20230515.12.41.386387
2023-05-15T16:01:14,246   Created temporary directory: /tmp/pip-unpack-ttlpfbcy
2023-05-15T16:01:16,183   Downloading certora-cli-alpha-alex-configscope-20230515.12.41.386387.tar.gz (39.5 MB)
2023-05-15T16:01:40,608   Added certora-cli-alpha-alex-configscope==20230515.12.41.386387 from https://files.pythonhosted.org/packages/88/d8/04aeab04f74c593f8d5689516314e43354a199c46c59fc6e8c5cf7dd76dd/certora-cli-alpha-alex-configscope-20230515.12.41.386387.tar.gz to build tracker '/tmp/pip-build-tracker-a_krvkyu'
2023-05-15T16:01:40,612   Running setup.py (path:/tmp/pip-wheel-ywkqgj2n/certora-cli-alpha-alex-configscope_539c469b154d46cdab3f63884e891143/setup.py) egg_info for package certora-cli-alpha-alex-configscope
2023-05-15T16:01:40,613   Created temporary directory: /tmp/pip-pip-egg-info-6gsak95p
2023-05-15T16:01:40,613   Preparing metadata (setup.py): started
2023-05-15T16:01:40,614   Running command python setup.py egg_info
2023-05-15T16:01:41,264   running egg_info
2023-05-15T16:01:41,266   creating /tmp/pip-pip-egg-info-6gsak95p/certora_cli_alpha_alex_configscope.egg-info
2023-05-15T16:01:41,294   writing /tmp/pip-pip-egg-info-6gsak95p/certora_cli_alpha_alex_configscope.egg-info/PKG-INFO
2023-05-15T16:01:41,296   writing dependency_links to /tmp/pip-pip-egg-info-6gsak95p/certora_cli_alpha_alex_configscope.egg-info/dependency_links.txt
2023-05-15T16:01:41,299   writing entry points to /tmp/pip-pip-egg-info-6gsak95p/certora_cli_alpha_alex_configscope.egg-info/entry_points.txt
2023-05-15T16:01:41,300   writing requirements to /tmp/pip-pip-egg-info-6gsak95p/certora_cli_alpha_alex_configscope.egg-info/requires.txt
2023-05-15T16:01:41,301   writing top-level names to /tmp/pip-pip-egg-info-6gsak95p/certora_cli_alpha_alex_configscope.egg-info/top_level.txt
2023-05-15T16:01:41,303   writing manifest file '/tmp/pip-pip-egg-info-6gsak95p/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-15T16:01:41,392   reading manifest file '/tmp/pip-pip-egg-info-6gsak95p/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-15T16:01:41,394   reading manifest template 'MANIFEST.in'
2023-05-15T16:01:41,404   adding license file 'LICENSE'
2023-05-15T16:01:41,408   writing manifest file '/tmp/pip-pip-egg-info-6gsak95p/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-15T16:01:41,468   Preparing metadata (setup.py): finished with status 'done'
2023-05-15T16:01:41,474   Source in /tmp/pip-wheel-ywkqgj2n/certora-cli-alpha-alex-configscope_539c469b154d46cdab3f63884e891143 has version 20230515.12.41.386387, which satisfies requirement certora-cli-alpha-alex-configscope==20230515.12.41.386387 from https://files.pythonhosted.org/packages/88/d8/04aeab04f74c593f8d5689516314e43354a199c46c59fc6e8c5cf7dd76dd/certora-cli-alpha-alex-configscope-20230515.12.41.386387.tar.gz
2023-05-15T16:01:41,475   Removed certora-cli-alpha-alex-configscope==20230515.12.41.386387 from https://files.pythonhosted.org/packages/88/d8/04aeab04f74c593f8d5689516314e43354a199c46c59fc6e8c5cf7dd76dd/certora-cli-alpha-alex-configscope-20230515.12.41.386387.tar.gz from build tracker '/tmp/pip-build-tracker-a_krvkyu'
2023-05-15T16:01:41,482 Created temporary directory: /tmp/pip-unpack-c09x5_4u
2023-05-15T16:01:41,482 Building wheels for collected packages: certora-cli-alpha-alex-configscope
2023-05-15T16:01:41,487   Created temporary directory: /tmp/pip-wheel-w1s73n9t
2023-05-15T16:01:41,487   Building wheel for certora-cli-alpha-alex-configscope (setup.py): started
2023-05-15T16:01:41,488   Destination directory: /tmp/pip-wheel-w1s73n9t
2023-05-15T16:01:41,488   Running command python setup.py bdist_wheel
2023-05-15T16:01:42,173   running bdist_wheel
2023-05-15T16:01:42,470   running build
2023-05-15T16:01:42,471   running build_py
2023-05-15T16:01:42,502   creating build
2023-05-15T16:01:42,503   creating build/lib
2023-05-15T16:01:42,505   creating build/lib/certora_jars
2023-05-15T16:01:42,506   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-15T16:01:42,510   creating build/lib/certora_cli
2023-05-15T16:01:42,511   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-15T16:01:42,513   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-15T16:01:42,516   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-15T16:01:42,520   creating build/lib/certora_cli/Shared
2023-05-15T16:01:42,521   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-15T16:01:42,524   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-15T16:01:42,527   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-15T16:01:42,530   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-15T16:01:42,537   creating build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,538   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,543   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,547   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,552   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,554   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,559   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,563   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,566   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,569   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,575   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,586   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,590   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,594   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,596   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:01:42,599   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:01:42,601   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:01:42,604   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:01:42,606   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:01:42,610   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:01:42,613   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:01:42,615   running egg_info
2023-05-15T16:01:42,704   writing certora_cli_alpha_alex_configscope.egg-info/PKG-INFO
2023-05-15T16:01:42,706   writing dependency_links to certora_cli_alpha_alex_configscope.egg-info/dependency_links.txt
2023-05-15T16:01:42,709   writing entry points to certora_cli_alpha_alex_configscope.egg-info/entry_points.txt
2023-05-15T16:01:42,710   writing requirements to certora_cli_alpha_alex_configscope.egg-info/requires.txt
2023-05-15T16:01:42,712   writing top-level names to certora_cli_alpha_alex_configscope.egg-info/top_level.txt
2023-05-15T16:01:42,745   reading manifest file 'certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-15T16:01:42,748   reading manifest template 'MANIFEST.in'
2023-05-15T16:01:42,759   adding license file 'LICENSE'
2023-05-15T16:01:42,763   writing manifest file 'certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt'
2023-05-15T16:01:42,767   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-15T16:01:42,769   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-15T16:01:42,990   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-15T16:01:43,164   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-15T16:01:43,366   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-15T16:01:43,477   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-15T16:01:43,599   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-15T16:01:43,599   !!

2023-05-15T16:01:43,599           ********************************************************************************
2023-05-15T16:01:43,599           Please avoid running ``setup.py`` directly.
2023-05-15T16:01:43,600           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-15T16:01:43,600           other standards-based tools.

2023-05-15T16:01:43,600           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-15T16:01:43,600           ********************************************************************************

2023-05-15T16:01:43,600   !!
2023-05-15T16:01:43,601     self.initialize_options()
2023-05-15T16:01:43,627   installing to build/bdist.linux-aarch64/wheel
2023-05-15T16:01:43,628   running install
2023-05-15T16:01:43,653   running install_lib
2023-05-15T16:01:43,681   creating build/bdist.linux-aarch64
2023-05-15T16:01:43,682   creating build/bdist.linux-aarch64/wheel
2023-05-15T16:01:43,683   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:01:43,685   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:01:43,911   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:01:43,913   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:01:44,147   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:01:44,239   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:01:44,355   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:01:44,358   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:01:44,537   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T16:01:44,538   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T16:01:44,541   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:01:44,542   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:01:44,545   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:01:44,548   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:01:44,551   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:01:44,554   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T16:01:44,557   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T16:01:44,560   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,561   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,565   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,569   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,572   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,574   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,577   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,579   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,581   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,584   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,588   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:01:44,589   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:01:44,591   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:01:44,593   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:01:44,596   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:01:44,598   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:01:44,600   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,606   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,609   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,611   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,613   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:01:44,615   running install_egg_info
2023-05-15T16:01:44,647   Copying certora_cli_alpha_alex_configscope.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_alex_configscope-20230515.12.41.386387-py3.9.egg-info
2023-05-15T16:01:44,659   running install_scripts
2023-05-15T16:01:44,678   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_alex_configscope-20230515.12.41.386387.dist-info/WHEEL
2023-05-15T16:01:44,682   creating '/tmp/pip-wheel-w1s73n9t/certora_cli_alpha_alex_configscope-20230515.12.41.386387-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-15T16:01:44,684   adding 'certora_cli/__init__.py'
2023-05-15T16:01:44,686   adding 'certora_cli/certoraMutate.py'
2023-05-15T16:01:44,688   adding 'certora_cli/certoraRun.py'
2023-05-15T16:01:44,690   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-15T16:01:44,712   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-15T16:01:44,719   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-15T16:01:44,721   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-15T16:01:44,723   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-15T16:01:44,728   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-15T16:01:44,731   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-15T16:01:44,733   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-15T16:01:44,739   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-15T16:01:44,740   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-15T16:01:44,743   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-15T16:01:44,745   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-15T16:01:44,748   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-15T16:01:44,752   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-15T16:01:44,754   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-15T16:01:44,756   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-15T16:01:44,758   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-15T16:01:44,762   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-15T16:01:44,764   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-15T16:01:44,766   adding 'certora_cli/Shared/__init__.py'
2023-05-15T16:01:44,768   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-15T16:01:44,770   adding 'certora_cli/Shared/certoraTester.py'
2023-05-15T16:01:44,777   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-15T16:01:44,780   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-15T16:01:46,427   adding 'certora_jars/MutationTest.jar'
2023-05-15T16:01:47,742   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-15T16:01:49,295   adding 'certora_jars/Typechecker.jar'
2023-05-15T16:01:49,379   adding 'certora_jars/__init__.py'
2023-05-15T16:01:50,237   adding 'certora_jars/gambit-linux'
2023-05-15T16:01:51,099   adding 'certora_jars/gambit-macos'
2023-05-15T16:01:51,134   adding 'certora_cli_alpha_alex_configscope-20230515.12.41.386387.dist-info/LICENSE'
2023-05-15T16:01:51,136   adding 'certora_cli_alpha_alex_configscope-20230515.12.41.386387.dist-info/METADATA'
2023-05-15T16:01:51,137   adding 'certora_cli_alpha_alex_configscope-20230515.12.41.386387.dist-info/WHEEL'
2023-05-15T16:01:51,138   adding 'certora_cli_alpha_alex_configscope-20230515.12.41.386387.dist-info/entry_points.txt'
2023-05-15T16:01:51,139   adding 'certora_cli_alpha_alex_configscope-20230515.12.41.386387.dist-info/top_level.txt'
2023-05-15T16:01:51,140   adding 'certora_cli_alpha_alex_configscope-20230515.12.41.386387.dist-info/RECORD'
2023-05-15T16:01:51,571   removing build/bdist.linux-aarch64/wheel
2023-05-15T16:01:51,687   Building wheel for certora-cli-alpha-alex-configscope (setup.py): finished with status 'done'
2023-05-15T16:01:52,018   Created wheel for certora-cli-alpha-alex-configscope: filename=certora_cli_alpha_alex_configscope-20230515.12.41.386387-py3-none-any.whl size=39499792 sha256=9649ba5a26986e94ce6e17807eac7b21fb536a87ffefc063635bf54d6c23e556
2023-05-15T16:01:52,019   Stored in directory: /tmp/pip-ephem-wheel-cache-h9ba4dlq/wheels/20/e1/15/1e1b6cc2d3e4af98697e21e8c3828bdef0a38fd0f65f497da9
2023-05-15T16:01:52,051 Successfully built certora-cli-alpha-alex-configscope
2023-05-15T16:01:52,993 Removed build tracker: '/tmp/pip-build-tracker-a_krvkyu'