2023-05-15T17:10:53,065 Created temporary directory: /tmp/pip-build-tracker-ulbbkzfk
2023-05-15T17:10:53,066 Initialized build tracking at /tmp/pip-build-tracker-ulbbkzfk
2023-05-15T17:10:53,066 Created build tracker: /tmp/pip-build-tracker-ulbbkzfk
2023-05-15T17:10:53,066 Entered build tracker: /tmp/pip-build-tracker-ulbbkzfk
2023-05-15T17:10:53,067 Created temporary directory: /tmp/pip-wheel-0ilsd_vk
2023-05-15T17:10:53,071 Created temporary directory: /tmp/pip-ephem-wheel-cache-be8lhyda
2023-05-15T17:10:53,095 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-15T17:10:53,099 2 location(s) to search for versions of certora-cli-alpha-andrew-satisfy:
2023-05-15T17:10:53,099 * https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:10:53,099 * https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:10:53,100 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:10:53,100 Getting page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:10:53,102 Found index url https://pypi.org/simple/
2023-05-15T17:10:53,153 Fetched page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ as application/vnd.pypi.simple.v1+json
2023-05-15T17:10:53,156   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:10:53,156   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:10:53,157   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:10:53,157   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:10:53,157   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:10:53,158   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:10:53,158 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:10:53,158 Getting page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:10:53,159 Found index url https://www.piwheels.org/simple/
2023-05-15T17:10:53,317 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ as text/html
2023-05-15T17:10:53,318   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:10:53,319 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:10:53,319 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:10:53,337 Given no hashes to check 1 links for project 'certora-cli-alpha-andrew-satisfy': discarding no candidates
2023-05-15T17:10:53,355 Collecting certora-cli-alpha-andrew-satisfy==20230515.15.37.121924
2023-05-15T17:10:53,357   Created temporary directory: /tmp/pip-unpack-et1ndzid
2023-05-15T17:10:53,730   Downloading certora-cli-alpha-andrew-satisfy-20230515.15.37.121924.tar.gz (39.5 MB)
2023-05-15T17:11:18,415   Added certora-cli-alpha-andrew-satisfy==20230515.15.37.121924 from https://files.pythonhosted.org/packages/a2/d3/5d51fee247e4aed92089f612aad981a5a28f3ea1236cd8b4a46877b219d5/certora-cli-alpha-andrew-satisfy-20230515.15.37.121924.tar.gz to build tracker '/tmp/pip-build-tracker-ulbbkzfk'
2023-05-15T17:11:18,419   Running setup.py (path:/tmp/pip-wheel-0ilsd_vk/certora-cli-alpha-andrew-satisfy_1bc5026ead8b4606a499428a2bab9d43/setup.py) egg_info for package certora-cli-alpha-andrew-satisfy
2023-05-15T17:11:18,419   Created temporary directory: /tmp/pip-pip-egg-info-8gi35nep
2023-05-15T17:11:18,420   Preparing metadata (setup.py): started
2023-05-15T17:11:18,421   Running command python setup.py egg_info
2023-05-15T17:11:19,102   running egg_info
2023-05-15T17:11:19,103   creating /tmp/pip-pip-egg-info-8gi35nep/certora_cli_alpha_andrew_satisfy.egg-info
2023-05-15T17:11:19,133   writing /tmp/pip-pip-egg-info-8gi35nep/certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO
2023-05-15T17:11:19,136   writing dependency_links to /tmp/pip-pip-egg-info-8gi35nep/certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt
2023-05-15T17:11:19,138   writing entry points to /tmp/pip-pip-egg-info-8gi35nep/certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt
2023-05-15T17:11:19,139   writing requirements to /tmp/pip-pip-egg-info-8gi35nep/certora_cli_alpha_andrew_satisfy.egg-info/requires.txt
2023-05-15T17:11:19,141   writing top-level names to /tmp/pip-pip-egg-info-8gi35nep/certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt
2023-05-15T17:11:19,142   writing manifest file '/tmp/pip-pip-egg-info-8gi35nep/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:11:19,232   reading manifest file '/tmp/pip-pip-egg-info-8gi35nep/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:11:19,234   reading manifest template 'MANIFEST.in'
2023-05-15T17:11:19,244   adding license file 'LICENSE'
2023-05-15T17:11:19,248   writing manifest file '/tmp/pip-pip-egg-info-8gi35nep/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:11:19,308   Preparing metadata (setup.py): finished with status 'done'
2023-05-15T17:11:19,314   Source in /tmp/pip-wheel-0ilsd_vk/certora-cli-alpha-andrew-satisfy_1bc5026ead8b4606a499428a2bab9d43 has version 20230515.15.37.121924, which satisfies requirement certora-cli-alpha-andrew-satisfy==20230515.15.37.121924 from https://files.pythonhosted.org/packages/a2/d3/5d51fee247e4aed92089f612aad981a5a28f3ea1236cd8b4a46877b219d5/certora-cli-alpha-andrew-satisfy-20230515.15.37.121924.tar.gz
2023-05-15T17:11:19,315   Removed certora-cli-alpha-andrew-satisfy==20230515.15.37.121924 from https://files.pythonhosted.org/packages/a2/d3/5d51fee247e4aed92089f612aad981a5a28f3ea1236cd8b4a46877b219d5/certora-cli-alpha-andrew-satisfy-20230515.15.37.121924.tar.gz from build tracker '/tmp/pip-build-tracker-ulbbkzfk'
2023-05-15T17:11:19,322 Created temporary directory: /tmp/pip-unpack-z6f177_o
2023-05-15T17:11:19,322 Building wheels for collected packages: certora-cli-alpha-andrew-satisfy
2023-05-15T17:11:19,327   Created temporary directory: /tmp/pip-wheel-9baqm0au
2023-05-15T17:11:19,327   Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): started
2023-05-15T17:11:19,328   Destination directory: /tmp/pip-wheel-9baqm0au
2023-05-15T17:11:19,328   Running command python setup.py bdist_wheel
2023-05-15T17:11:20,005   running bdist_wheel
2023-05-15T17:11:20,304   running build
2023-05-15T17:11:20,305   running build_py
2023-05-15T17:11:20,336   creating build
2023-05-15T17:11:20,336   creating build/lib
2023-05-15T17:11:20,337   creating build/lib/certora_cli
2023-05-15T17:11:20,339   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-15T17:11:20,340   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-15T17:11:20,342   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-15T17:11:20,345   creating build/lib/certora_jars
2023-05-15T17:11:20,346   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-15T17:11:20,349   creating build/lib/certora_cli/Shared
2023-05-15T17:11:20,350   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-15T17:11:20,352   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-15T17:11:20,355   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-15T17:11:20,358   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-15T17:11:20,362   creating build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,363   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,365   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,367   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,369   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,371   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,374   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,378   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,381   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,383   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,387   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,393   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,397   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,399   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,401   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:11:20,405   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:11:20,406   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:11:20,408   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:11:20,411   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:11:20,413   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:11:20,415   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:11:20,418   running egg_info
2023-05-15T17:11:20,483   writing certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO
2023-05-15T17:11:20,485   writing dependency_links to certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt
2023-05-15T17:11:20,487   writing entry points to certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt
2023-05-15T17:11:20,489   writing requirements to certora_cli_alpha_andrew_satisfy.egg-info/requires.txt
2023-05-15T17:11:20,490   writing top-level names to certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt
2023-05-15T17:11:20,523   reading manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:11:20,526   reading manifest template 'MANIFEST.in'
2023-05-15T17:11:20,537   adding license file 'LICENSE'
2023-05-15T17:11:20,541   writing manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:11:20,544   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-15T17:11:20,547   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-15T17:11:20,783   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-15T17:11:20,962   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-15T17:11:21,180   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-15T17:11:21,286   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-15T17:11:21,412   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-15T17:11:21,412   !!

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

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

2023-05-15T17:11:21,414   !!
2023-05-15T17:11:21,414     self.initialize_options()
2023-05-15T17:11:21,442   installing to build/bdist.linux-aarch64/wheel
2023-05-15T17:11:21,442   running install
2023-05-15T17:11:21,468   running install_lib
2023-05-15T17:11:21,496   creating build/bdist.linux-aarch64
2023-05-15T17:11:21,497   creating build/bdist.linux-aarch64/wheel
2023-05-15T17:11:21,499   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:11:21,500   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:11:21,502   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:11:21,504   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:11:21,507   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:11:21,510   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:11:21,513   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,514   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,516   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,519   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,521   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,524   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:11:21,524   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:11:21,527   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:11:21,529   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:11:21,531   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:11:21,534   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:11:21,537   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,540   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,543   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,546   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,549   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,552   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,560   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,564   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,566   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,569   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:11:21,572   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:11:21,574   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:11:21,576   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:11:21,579   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:11:21,580   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:11:21,582   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:11:21,802   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:11:21,804   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:11:21,966   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:11:22,056   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:11:22,170   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:11:22,401   running install_egg_info
2023-05-15T17:11:22,436   Copying certora_cli_alpha_andrew_satisfy.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_andrew_satisfy-20230515.15.37.121924-py3.9.egg-info
2023-05-15T17:11:22,449   running install_scripts
2023-05-15T17:11:22,467   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_andrew_satisfy-20230515.15.37.121924.dist-info/WHEEL
2023-05-15T17:11:22,470   creating '/tmp/pip-wheel-9baqm0au/certora_cli_alpha_andrew_satisfy-20230515.15.37.121924-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-15T17:11:22,473   adding 'certora_cli/__init__.py'
2023-05-15T17:11:22,474   adding 'certora_cli/certoraMutate.py'
2023-05-15T17:11:22,477   adding 'certora_cli/certoraRun.py'
2023-05-15T17:11:22,479   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-15T17:11:22,501   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-15T17:11:22,508   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-15T17:11:22,510   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-15T17:11:22,512   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-15T17:11:22,516   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-15T17:11:22,520   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-15T17:11:22,522   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-15T17:11:22,527   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-15T17:11:22,529   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-15T17:11:22,532   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-15T17:11:22,533   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-15T17:11:22,536   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-15T17:11:22,540   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-15T17:11:22,543   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-15T17:11:22,544   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-15T17:11:22,546   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-15T17:11:22,551   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-15T17:11:22,552   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-15T17:11:22,554   adding 'certora_cli/Shared/__init__.py'
2023-05-15T17:11:22,557   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-15T17:11:22,559   adding 'certora_cli/Shared/certoraTester.py'
2023-05-15T17:11:22,565   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-15T17:11:22,569   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-15T17:11:24,387   adding 'certora_jars/MutationTest.jar'
2023-05-15T17:11:25,703   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-15T17:11:27,258   adding 'certora_jars/Typechecker.jar'
2023-05-15T17:11:27,342   adding 'certora_jars/__init__.py'
2023-05-15T17:11:28,201   adding 'certora_jars/gambit-linux'
2023-05-15T17:11:29,062   adding 'certora_jars/gambit-macos'
2023-05-15T17:11:29,098   adding 'certora_cli_alpha_andrew_satisfy-20230515.15.37.121924.dist-info/LICENSE'
2023-05-15T17:11:29,099   adding 'certora_cli_alpha_andrew_satisfy-20230515.15.37.121924.dist-info/METADATA'
2023-05-15T17:11:29,100   adding 'certora_cli_alpha_andrew_satisfy-20230515.15.37.121924.dist-info/WHEEL'
2023-05-15T17:11:29,101   adding 'certora_cli_alpha_andrew_satisfy-20230515.15.37.121924.dist-info/entry_points.txt'
2023-05-15T17:11:29,102   adding 'certora_cli_alpha_andrew_satisfy-20230515.15.37.121924.dist-info/top_level.txt'
2023-05-15T17:11:29,103   adding 'certora_cli_alpha_andrew_satisfy-20230515.15.37.121924.dist-info/RECORD'
2023-05-15T17:11:29,609   removing build/bdist.linux-aarch64/wheel
2023-05-15T17:11:29,727   Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): finished with status 'done'
2023-05-15T17:11:30,062   Created wheel for certora-cli-alpha-andrew-satisfy: filename=certora_cli_alpha_andrew_satisfy-20230515.15.37.121924-py3-none-any.whl size=39544388 sha256=ea20bdbf6f9b42fb39efdb72fa41ec6c457fdb76fdbadc9ffe62a45b383836e9
2023-05-15T17:11:30,063   Stored in directory: /tmp/pip-ephem-wheel-cache-be8lhyda/wheels/76/37/67/0d1ee615cb0fc229d00f0fe747af012d0bb96b92ae6bd0b72d
2023-05-15T17:11:30,094 Successfully built certora-cli-alpha-andrew-satisfy
2023-05-15T17:11:31,087 Removed build tracker: '/tmp/pip-build-tracker-ulbbkzfk'