2023-05-15T17:17:35,685 Created temporary directory: /tmp/pip-build-tracker-6x92dmdy
2023-05-15T17:17:35,687 Initialized build tracking at /tmp/pip-build-tracker-6x92dmdy
2023-05-15T17:17:35,687 Created build tracker: /tmp/pip-build-tracker-6x92dmdy
2023-05-15T17:17:35,687 Entered build tracker: /tmp/pip-build-tracker-6x92dmdy
2023-05-15T17:17:35,688 Created temporary directory: /tmp/pip-wheel-0b8pdg8a
2023-05-15T17:17:35,692 Created temporary directory: /tmp/pip-ephem-wheel-cache-njkj58t2
2023-05-15T17:17:35,716 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-15T17:17:35,720 2 location(s) to search for versions of certora-cli-alpha-andrew-satisfy:
2023-05-15T17:17:35,720 * https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:17:35,720 * https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:17:35,721 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:17:35,721 Getting page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:17:35,723 Found index url https://pypi.org/simple/
2023-05-15T17:17:35,774 Fetched page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ as application/vnd.pypi.simple.v1+json
2023-05-15T17:17:35,777   Found link https://files.pythonhosted.org/packages/d3/a1/c091b6a641ece1d7aa00ba8c5146a2526fa9be0eb510d26e44759ec9f7dc/certora-cli-alpha-andrew-satisfy-20230515.14.17.18468.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230515.14.17.18468
2023-05-15T17:17:35,777   Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/f8/b0/aecd2a04480aef66dc0805ea21aaf7d1cadea43c554197cae893642b12b8/certora_cli_alpha_andrew_satisfy-20230515.14.17.18468-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16)
2023-05-15T17:17:35,778   Found link https://files.pythonhosted.org/packages/a2/d3/5d51fee247e4aed92089f612aad981a5a28f3ea1236cd8b4a46877b219d5/certora-cli-alpha-andrew-satisfy-20230515.15.37.121924.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230515.15.37.121924
2023-05-15T17:17:35,778   Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/3c/ae/e7607d963661c1f42be2d97c356093f90ac3ce88e2d062d799bbde0e5840/certora_cli_alpha_andrew_satisfy-20230515.15.37.121924-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16)
2023-05-15T17:17:35,779   Found link https://files.pythonhosted.org/packages/37/11/db2f2a8cf00caa30d0cccf583ef648c4803cf6cdb93528f644629c056d9e/certora-cli-alpha-andrew-satisfy-20230515.16.38.921195.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230515.16.38.921195
2023-05-15T17:17:35,779   Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/20/a6/ce94cdf8270600d9bbf91d942dc237280c7c1c7b33d6a187713a102f727b/certora_cli_alpha_andrew_satisfy-20230515.16.38.921195-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16)
2023-05-15T17:17:35,779 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:17:35,779 Getting page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:17:35,781 Found index url https://www.piwheels.org/simple/
2023-05-15T17:17:35,951 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ as text/html
2023-05-15T17:17:35,953   Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/certora_cli_alpha_andrew_satisfy-20230515.15.37.121924-py3-none-any.whl#sha256=ea20bdbf6f9b42fb39efdb72fa41ec6c457fdb76fdbadc9ffe62a45b383836e9 (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16)
2023-05-15T17:17:35,953   Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/certora_cli_alpha_andrew_satisfy-20230515.14.17.18468-py3-none-any.whl#sha256=11080c728343466d0949b06ddae3970c42138947b9d5a005f53c9c2c98661fae (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16)
2023-05-15T17:17:35,954 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:17:35,954 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:17:35,973 Given no hashes to check 1 links for project 'certora-cli-alpha-andrew-satisfy': discarding no candidates
2023-05-15T17:17:35,990 Collecting certora-cli-alpha-andrew-satisfy==20230515.16.38.921195
2023-05-15T17:17:35,993   Created temporary directory: /tmp/pip-unpack-7hqv03be
2023-05-15T17:17:36,240   Downloading certora-cli-alpha-andrew-satisfy-20230515.16.38.921195.tar.gz (39.5 MB)
2023-05-15T17:18:04,246   Added certora-cli-alpha-andrew-satisfy==20230515.16.38.921195 from https://files.pythonhosted.org/packages/37/11/db2f2a8cf00caa30d0cccf583ef648c4803cf6cdb93528f644629c056d9e/certora-cli-alpha-andrew-satisfy-20230515.16.38.921195.tar.gz to build tracker '/tmp/pip-build-tracker-6x92dmdy'
2023-05-15T17:18:04,248   Running setup.py (path:/tmp/pip-wheel-0b8pdg8a/certora-cli-alpha-andrew-satisfy_f07cb19f713e4b9a8318d9a73c1415db/setup.py) egg_info for package certora-cli-alpha-andrew-satisfy
2023-05-15T17:18:04,248   Created temporary directory: /tmp/pip-pip-egg-info-p712g3yo
2023-05-15T17:18:04,249   Preparing metadata (setup.py): started
2023-05-15T17:18:04,250   Running command python setup.py egg_info
2023-05-15T17:18:04,898   running egg_info
2023-05-15T17:18:04,899   creating /tmp/pip-pip-egg-info-p712g3yo/certora_cli_alpha_andrew_satisfy.egg-info
2023-05-15T17:18:04,928   writing /tmp/pip-pip-egg-info-p712g3yo/certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO
2023-05-15T17:18:04,931   writing dependency_links to /tmp/pip-pip-egg-info-p712g3yo/certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt
2023-05-15T17:18:04,933   writing entry points to /tmp/pip-pip-egg-info-p712g3yo/certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt
2023-05-15T17:18:04,934   writing requirements to /tmp/pip-pip-egg-info-p712g3yo/certora_cli_alpha_andrew_satisfy.egg-info/requires.txt
2023-05-15T17:18:04,935   writing top-level names to /tmp/pip-pip-egg-info-p712g3yo/certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt
2023-05-15T17:18:04,937   writing manifest file '/tmp/pip-pip-egg-info-p712g3yo/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:18:05,025   reading manifest file '/tmp/pip-pip-egg-info-p712g3yo/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:18:05,027   reading manifest template 'MANIFEST.in'
2023-05-15T17:18:05,036   adding license file 'LICENSE'
2023-05-15T17:18:05,040   writing manifest file '/tmp/pip-pip-egg-info-p712g3yo/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:18:05,099   Preparing metadata (setup.py): finished with status 'done'
2023-05-15T17:18:05,105   Source in /tmp/pip-wheel-0b8pdg8a/certora-cli-alpha-andrew-satisfy_f07cb19f713e4b9a8318d9a73c1415db has version 20230515.16.38.921195, which satisfies requirement certora-cli-alpha-andrew-satisfy==20230515.16.38.921195 from https://files.pythonhosted.org/packages/37/11/db2f2a8cf00caa30d0cccf583ef648c4803cf6cdb93528f644629c056d9e/certora-cli-alpha-andrew-satisfy-20230515.16.38.921195.tar.gz
2023-05-15T17:18:05,106   Removed certora-cli-alpha-andrew-satisfy==20230515.16.38.921195 from https://files.pythonhosted.org/packages/37/11/db2f2a8cf00caa30d0cccf583ef648c4803cf6cdb93528f644629c056d9e/certora-cli-alpha-andrew-satisfy-20230515.16.38.921195.tar.gz from build tracker '/tmp/pip-build-tracker-6x92dmdy'
2023-05-15T17:18:05,113 Created temporary directory: /tmp/pip-unpack-vp04l0v9
2023-05-15T17:18:05,114 Building wheels for collected packages: certora-cli-alpha-andrew-satisfy
2023-05-15T17:18:05,120   Created temporary directory: /tmp/pip-wheel-geawpd43
2023-05-15T17:18:05,121   Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): started
2023-05-15T17:18:05,122   Destination directory: /tmp/pip-wheel-geawpd43
2023-05-15T17:18:05,122   Running command python setup.py bdist_wheel
2023-05-15T17:18:05,782   running bdist_wheel
2023-05-15T17:18:06,083   running build
2023-05-15T17:18:06,083   running build_py
2023-05-15T17:18:06,113   creating build
2023-05-15T17:18:06,114   creating build/lib
2023-05-15T17:18:06,114   creating build/lib/certora_cli
2023-05-15T17:18:06,116   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-15T17:18:06,117   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-15T17:18:06,119   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-15T17:18:06,122   creating build/lib/certora_jars
2023-05-15T17:18:06,123   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-15T17:18:06,125   creating build/lib/certora_cli/Shared
2023-05-15T17:18:06,126   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-15T17:18:06,128   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-15T17:18:06,131   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-15T17:18:06,133   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-15T17:18:06,136   creating build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,137   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,139   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,142   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,143   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,145   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,148   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,151   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,154   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,156   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,159   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,164   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,168   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,170   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,172   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:18:06,175   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:18:06,176   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:18:06,178   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:18:06,180   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:18:06,183   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:18:06,185   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:18:06,187   running egg_info
2023-05-15T17:18:06,250   writing certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO
2023-05-15T17:18:06,252   writing dependency_links to certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt
2023-05-15T17:18:06,255   writing entry points to certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt
2023-05-15T17:18:06,256   writing requirements to certora_cli_alpha_andrew_satisfy.egg-info/requires.txt
2023-05-15T17:18:06,258   writing top-level names to certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt
2023-05-15T17:18:06,289   reading manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:18:06,292   reading manifest template 'MANIFEST.in'
2023-05-15T17:18:06,301   adding license file 'LICENSE'
2023-05-15T17:18:06,305   writing manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:18:06,309   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-15T17:18:06,311   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-15T17:18:06,538   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-15T17:18:06,712   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-15T17:18:06,901   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-15T17:18:07,015   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-15T17:18:07,138   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-15T17:18:07,139   !!

2023-05-15T17:18:07,139           ********************************************************************************
2023-05-15T17:18:07,139           Please avoid running ``setup.py`` directly.
2023-05-15T17:18:07,139           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-15T17:18:07,139           other standards-based tools.

2023-05-15T17:18:07,140           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-15T17:18:07,140           ********************************************************************************

2023-05-15T17:18:07,140   !!
2023-05-15T17:18:07,140     self.initialize_options()
2023-05-15T17:18:07,169   installing to build/bdist.linux-aarch64/wheel
2023-05-15T17:18:07,169   running install
2023-05-15T17:18:07,194   running install_lib
2023-05-15T17:18:07,223   creating build/bdist.linux-aarch64
2023-05-15T17:18:07,223   creating build/bdist.linux-aarch64/wheel
2023-05-15T17:18:07,225   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:18:07,227   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:18:07,228   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:18:07,230   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:18:07,233   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:18:07,236   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:18:07,239   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,240   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,242   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,244   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,246   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,249   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:18:07,249   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:18:07,251   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:18:07,254   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:18:07,256   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:18:07,258   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:18:07,261   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,265   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,268   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,271   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,273   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,276   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,283   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,286   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,289   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,291   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:18:07,294   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:18:07,295   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:18:07,297   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:18:07,300   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:18:07,301   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:18:07,303   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:18:07,507   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:18:07,509   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:18:07,678   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:18:07,771   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:18:07,886   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:18:08,438   running install_egg_info
2023-05-15T17:18:08,471   Copying certora_cli_alpha_andrew_satisfy.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_andrew_satisfy-20230515.16.38.921195-py3.9.egg-info
2023-05-15T17:18:08,483   running install_scripts
2023-05-15T17:18:08,499   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_andrew_satisfy-20230515.16.38.921195.dist-info/WHEEL
2023-05-15T17:18:08,502   creating '/tmp/pip-wheel-geawpd43/certora_cli_alpha_andrew_satisfy-20230515.16.38.921195-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-15T17:18:08,504   adding 'certora_cli/__init__.py'
2023-05-15T17:18:08,506   adding 'certora_cli/certoraMutate.py'
2023-05-15T17:18:08,508   adding 'certora_cli/certoraRun.py'
2023-05-15T17:18:08,510   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-15T17:18:08,532   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-15T17:18:08,539   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-15T17:18:08,541   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-15T17:18:08,543   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-15T17:18:08,548   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-15T17:18:08,551   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-15T17:18:08,553   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-15T17:18:08,559   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-15T17:18:08,561   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-15T17:18:08,563   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-15T17:18:08,564   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-15T17:18:08,567   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-15T17:18:08,571   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-15T17:18:08,574   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-15T17:18:08,575   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-15T17:18:08,577   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-15T17:18:08,581   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-15T17:18:08,583   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-15T17:18:08,585   adding 'certora_cli/Shared/__init__.py'
2023-05-15T17:18:08,587   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-15T17:18:08,589   adding 'certora_cli/Shared/certoraTester.py'
2023-05-15T17:18:08,596   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-15T17:18:08,599   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-15T17:18:10,244   adding 'certora_jars/MutationTest.jar'
2023-05-15T17:18:11,556   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-15T17:18:13,108   adding 'certora_jars/Typechecker.jar'
2023-05-15T17:18:13,191   adding 'certora_jars/__init__.py'
2023-05-15T17:18:14,045   adding 'certora_jars/gambit-linux'
2023-05-15T17:18:14,903   adding 'certora_jars/gambit-macos'
2023-05-15T17:18:14,939   adding 'certora_cli_alpha_andrew_satisfy-20230515.16.38.921195.dist-info/LICENSE'
2023-05-15T17:18:14,940   adding 'certora_cli_alpha_andrew_satisfy-20230515.16.38.921195.dist-info/METADATA'
2023-05-15T17:18:14,941   adding 'certora_cli_alpha_andrew_satisfy-20230515.16.38.921195.dist-info/WHEEL'
2023-05-15T17:18:14,942   adding 'certora_cli_alpha_andrew_satisfy-20230515.16.38.921195.dist-info/entry_points.txt'
2023-05-15T17:18:14,943   adding 'certora_cli_alpha_andrew_satisfy-20230515.16.38.921195.dist-info/top_level.txt'
2023-05-15T17:18:14,944   adding 'certora_cli_alpha_andrew_satisfy-20230515.16.38.921195.dist-info/RECORD'
2023-05-15T17:18:15,412   removing build/bdist.linux-aarch64/wheel
2023-05-15T17:18:15,534   Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): finished with status 'done'
2023-05-15T17:18:15,863   Created wheel for certora-cli-alpha-andrew-satisfy: filename=certora_cli_alpha_andrew_satisfy-20230515.16.38.921195-py3-none-any.whl size=39544385 sha256=9320b3a42bc7c96e404fa6486b83a2a79b9dc4b64ae1056b2e6384dbf266ed5b
2023-05-15T17:18:15,864   Stored in directory: /tmp/pip-ephem-wheel-cache-njkj58t2/wheels/06/00/96/5afc76f5f02d70105ba454f8c0b264fa5139dcefadadf67e37
2023-05-15T17:18:15,894 Successfully built certora-cli-alpha-andrew-satisfy
2023-05-15T17:18:16,887 Removed build tracker: '/tmp/pip-build-tracker-6x92dmdy'