2023-05-14T07:57:00,393 Created temporary directory: /tmp/pip-build-tracker-ylsf0x4n
2023-05-14T07:57:00,394 Initialized build tracking at /tmp/pip-build-tracker-ylsf0x4n
2023-05-14T07:57:00,394 Created build tracker: /tmp/pip-build-tracker-ylsf0x4n
2023-05-14T07:57:00,394 Entered build tracker: /tmp/pip-build-tracker-ylsf0x4n
2023-05-14T07:57:00,395 Created temporary directory: /tmp/pip-wheel-lu19i_gi
2023-05-14T07:57:00,399 Created temporary directory: /tmp/pip-ephem-wheel-cache-cd3kneiy
2023-05-14T07:57:00,425 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-14T07:57:00,429 2 location(s) to search for versions of certora-cli-alpha-jtoman-source-copy-refactor:
2023-05-14T07:57:00,429 * https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T07:57:00,429 * https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T07:57:00,429 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T07:57:00,430 Getting page https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T07:57:00,432 Found index url https://pypi.org/simple/
2023-05-14T07:57:00,495 Fetched page https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ as application/vnd.pypi.simple.v1+json
2023-05-14T07:57:00,497   Found link https://files.pythonhosted.org/packages/c1/0a/faa0fdb808b74f685bd364ffd93791898636c0551723071d97a6c12b0f46/certora-cli-alpha-jtoman-source-copy-refactor-20230509.2.1.997423.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8.16), version: 20230509.2.1.997423
2023-05-14T07:57:00,497   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-source-copy-refactor: https://files.pythonhosted.org/packages/eb/99/bca1f9878c62612e5710d408bdb0414db354d66d3221a8343e9a80d78f16/certora_cli_alpha_jtoman_source_copy_refactor-20230509.2.1.997423-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8.16)
2023-05-14T07:57:00,498   Found link https://files.pythonhosted.org/packages/40/e0/7e3d642a2ae640361d5e80fa825f73c85e54768561c79287098b19d62e82/certora-cli-alpha-jtoman-source-copy-refactor-20230509.18.47.491829.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8.16), version: 20230509.18.47.491829
2023-05-14T07:57:00,498   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-source-copy-refactor: https://files.pythonhosted.org/packages/3a/f1/2424bde6060a1384139166ab68d71fd32158f7ce3d4e8c13400beb78b058/certora_cli_alpha_jtoman_source_copy_refactor-20230509.18.47.491829-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8.16)
2023-05-14T07:57:00,498 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T07:57:00,499 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T07:57:00,500 Found index url https://www.piwheels.org/simple/
2023-05-14T07:57:00,689 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ as text/html
2023-05-14T07:57:00,690   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-source-copy-refactor: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/certora_cli_alpha_jtoman_source_copy_refactor-20230509.18.47.491829-py3-none-any.whl#sha256=8d80f1ed8856de60e2b741e7dc0ad7f5393c55079840b82b53dcec2f0be0f2fd (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8.16)
2023-05-14T07:57:00,691   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-source-copy-refactor: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/certora_cli_alpha_jtoman_source_copy_refactor-20230509.2.1.997423-py3-none-any.whl#sha256=ca6da86e9d40132234327daa0f4ecad36cc20fec5c84e6a34f227bb6d222d52e (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8.16)
2023-05-14T07:57:00,691 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T07:57:00,691 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T07:57:00,710 Given no hashes to check 1 links for project 'certora-cli-alpha-jtoman-source-copy-refactor': discarding no candidates
2023-05-14T07:57:00,727 Collecting certora-cli-alpha-jtoman-source-copy-refactor==20230509.2.1.997423
2023-05-14T07:57:00,730   Created temporary directory: /tmp/pip-unpack-p059x_bi
2023-05-14T07:57:01,053   Downloading certora-cli-alpha-jtoman-source-copy-refactor-20230509.2.1.997423.tar.gz (38.5 MB)
2023-05-14T07:57:12,135   Added certora-cli-alpha-jtoman-source-copy-refactor==20230509.2.1.997423 from https://files.pythonhosted.org/packages/c1/0a/faa0fdb808b74f685bd364ffd93791898636c0551723071d97a6c12b0f46/certora-cli-alpha-jtoman-source-copy-refactor-20230509.2.1.997423.tar.gz to build tracker '/tmp/pip-build-tracker-ylsf0x4n'
2023-05-14T07:57:12,138   Running setup.py (path:/tmp/pip-wheel-lu19i_gi/certora-cli-alpha-jtoman-source-copy-refactor_8c4edda57fd44518900ffbc3a465be13/setup.py) egg_info for package certora-cli-alpha-jtoman-source-copy-refactor
2023-05-14T07:57:12,138   Created temporary directory: /tmp/pip-pip-egg-info-xzplf5ha
2023-05-14T07:57:12,139   Preparing metadata (setup.py): started
2023-05-14T07:57:12,140   Running command python setup.py egg_info
2023-05-14T07:57:12,746   running egg_info
2023-05-14T07:57:12,747   creating /tmp/pip-pip-egg-info-xzplf5ha/certora_cli_alpha_jtoman_source_copy_refactor.egg-info
2023-05-14T07:57:12,773   writing /tmp/pip-pip-egg-info-xzplf5ha/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/PKG-INFO
2023-05-14T07:57:12,775   writing dependency_links to /tmp/pip-pip-egg-info-xzplf5ha/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/dependency_links.txt
2023-05-14T07:57:12,777   writing entry points to /tmp/pip-pip-egg-info-xzplf5ha/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/entry_points.txt
2023-05-14T07:57:12,779   writing requirements to /tmp/pip-pip-egg-info-xzplf5ha/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/requires.txt
2023-05-14T07:57:12,780   writing top-level names to /tmp/pip-pip-egg-info-xzplf5ha/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/top_level.txt
2023-05-14T07:57:12,782   writing manifest file '/tmp/pip-pip-egg-info-xzplf5ha/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt'
2023-05-14T07:57:12,868   reading manifest file '/tmp/pip-pip-egg-info-xzplf5ha/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt'
2023-05-14T07:57:12,870   reading manifest template 'MANIFEST.in'
2023-05-14T07:57:12,880   adding license file 'LICENSE'
2023-05-14T07:57:12,883   writing manifest file '/tmp/pip-pip-egg-info-xzplf5ha/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt'
2023-05-14T07:57:12,943   Preparing metadata (setup.py): finished with status 'done'
2023-05-14T07:57:12,948   Source in /tmp/pip-wheel-lu19i_gi/certora-cli-alpha-jtoman-source-copy-refactor_8c4edda57fd44518900ffbc3a465be13 has version 20230509.2.1.997423, which satisfies requirement certora-cli-alpha-jtoman-source-copy-refactor==20230509.2.1.997423 from https://files.pythonhosted.org/packages/c1/0a/faa0fdb808b74f685bd364ffd93791898636c0551723071d97a6c12b0f46/certora-cli-alpha-jtoman-source-copy-refactor-20230509.2.1.997423.tar.gz
2023-05-14T07:57:12,949   Removed certora-cli-alpha-jtoman-source-copy-refactor==20230509.2.1.997423 from https://files.pythonhosted.org/packages/c1/0a/faa0fdb808b74f685bd364ffd93791898636c0551723071d97a6c12b0f46/certora-cli-alpha-jtoman-source-copy-refactor-20230509.2.1.997423.tar.gz from build tracker '/tmp/pip-build-tracker-ylsf0x4n'
2023-05-14T07:57:12,956 Created temporary directory: /tmp/pip-unpack-0g3k7b7y
2023-05-14T07:57:12,957 Building wheels for collected packages: certora-cli-alpha-jtoman-source-copy-refactor
2023-05-14T07:57:12,962   Created temporary directory: /tmp/pip-wheel-xasjm36s
2023-05-14T07:57:12,963   Building wheel for certora-cli-alpha-jtoman-source-copy-refactor (setup.py): started
2023-05-14T07:57:12,964   Destination directory: /tmp/pip-wheel-xasjm36s
2023-05-14T07:57:12,964   Running command python setup.py bdist_wheel
2023-05-14T07:57:13,793   running bdist_wheel
2023-05-14T07:57:14,078   running build
2023-05-14T07:57:14,078   running build_py
2023-05-14T07:57:14,108   creating build
2023-05-14T07:57:14,108   creating build/lib
2023-05-14T07:57:14,109   creating build/lib/certora_jars
2023-05-14T07:57:14,110   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-14T07:57:14,113   creating build/lib/certora_cli
2023-05-14T07:57:14,113   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-14T07:57:14,115   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-14T07:57:14,117   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-14T07:57:14,120   creating build/lib/certora_cli/Shared
2023-05-14T07:57:14,121   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-14T07:57:14,124   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-14T07:57:14,126   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-14T07:57:14,129   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-14T07:57:14,132   creating build/lib/certora_cli/EVMVerifier
2023-05-14T07:57:14,133   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T07:57:14,141   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T07:57:14,143   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T07:57:14,145   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T07:57:14,147   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T07:57:14,150   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T07:57:14,154   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T07:57:14,157   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T07:57:14,158   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T07:57:14,161   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T07:57:14,164   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T07:57:14,168   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T07:57:14,170   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T07:57:14,174   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T07:57:14,175   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T07:57:14,178   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T07:57:14,180   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T07:57:14,183   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T07:57:14,185   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T07:57:14,188   running egg_info
2023-05-14T07:57:14,250   writing certora_cli_alpha_jtoman_source_copy_refactor.egg-info/PKG-INFO
2023-05-14T07:57:14,252   writing dependency_links to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/dependency_links.txt
2023-05-14T07:57:14,255   writing entry points to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/entry_points.txt
2023-05-14T07:57:14,257   writing requirements to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/requires.txt
2023-05-14T07:57:14,258   writing top-level names to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/top_level.txt
2023-05-14T07:57:14,290   reading manifest file 'certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt'
2023-05-14T07:57:14,293   reading manifest template 'MANIFEST.in'
2023-05-14T07:57:14,303   adding license file 'LICENSE'
2023-05-14T07:57:14,308   writing manifest file 'certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt'
2023-05-14T07:57:14,311   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-14T07:57:14,314   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-14T07:57:14,524   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-14T07:57:14,687   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-14T07:57:14,867   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-14T07:57:14,990   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-14T07:57:15,104   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-14T07:57:15,104   !!

2023-05-14T07:57:15,105           ********************************************************************************
2023-05-14T07:57:15,105           Please avoid running ``setup.py`` directly.
2023-05-14T07:57:15,105           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-14T07:57:15,105           other standards-based tools.

2023-05-14T07:57:15,105           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-14T07:57:15,105           ********************************************************************************

2023-05-14T07:57:15,106   !!
2023-05-14T07:57:15,106     self.initialize_options()
2023-05-14T07:57:15,132   installing to build/bdist.linux-aarch64/wheel
2023-05-14T07:57:15,133   running install
2023-05-14T07:57:15,159   running install_lib
2023-05-14T07:57:15,185   creating build/bdist.linux-aarch64
2023-05-14T07:57:15,186   creating build/bdist.linux-aarch64/wheel
2023-05-14T07:57:15,188   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T07:57:15,189   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T07:57:15,191   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T07:57:15,371   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T07:57:15,486   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T07:57:15,715   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T07:57:15,797   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T07:57:15,986   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T07:57:15,989   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T07:57:15,991   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T07:57:15,992   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T07:57:15,995   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T07:57:15,998   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T07:57:16,001   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T07:57:16,005   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T07:57:16,006   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T07:57:16,013   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T07:57:16,016   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T07:57:16,017   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T07:57:16,019   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T07:57:16,021   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T07:57:16,023   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T07:57:16,025   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T07:57:16,029   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T07:57:16,031   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T07:57:16,032   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T07:57:16,035   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T07:57:16,039   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T07:57:16,041   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T07:57:16,043   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T07:57:16,046   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T07:57:16,049   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T07:57:16,053   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T07:57:16,055   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T07:57:16,058   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T07:57:16,060   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T07:57:16,061   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T07:57:16,063   running install_egg_info
2023-05-14T07:57:16,094   Copying certora_cli_alpha_jtoman_source_copy_refactor.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_jtoman_source_copy_refactor-20230509.2.1.997423-py3.9.egg-info
2023-05-14T07:57:16,106   running install_scripts
2023-05-14T07:57:16,124   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-14T07:57:16,129   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_jtoman_source_copy_refactor-20230509.2.1.997423.dist-info/WHEEL
2023-05-14T07:57:16,131   creating '/tmp/pip-wheel-xasjm36s/certora_cli_alpha_jtoman_source_copy_refactor-20230509.2.1.997423-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-14T07:57:16,134   adding 'certora_cli/__init__.py'
2023-05-14T07:57:16,135   adding 'certora_cli/certoraMutate.py'
2023-05-14T07:57:16,137   adding 'certora_cli/certoraRun.py'
2023-05-14T07:57:16,139   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-14T07:57:16,161   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-14T07:57:16,168   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-14T07:57:16,170   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-14T07:57:16,172   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-14T07:57:16,176   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-14T07:57:16,180   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-14T07:57:16,182   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-14T07:57:16,187   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-14T07:57:16,190   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-14T07:57:16,191   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-14T07:57:16,194   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-14T07:57:16,198   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-14T07:57:16,201   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-14T07:57:16,202   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-14T07:57:16,204   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-14T07:57:16,208   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-14T07:57:16,210   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-14T07:57:16,212   adding 'certora_cli/Shared/__init__.py'
2023-05-14T07:57:16,214   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-14T07:57:16,216   adding 'certora_cli/Shared/certoraTester.py'
2023-05-14T07:57:16,223   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-14T07:57:16,226   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-14T07:57:17,846   adding 'certora_jars/MutationTest.jar'
2023-05-14T07:57:19,155   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-14T07:57:20,645   adding 'certora_jars/Typechecker.jar'
2023-05-14T07:57:20,725   adding 'certora_jars/__init__.py'
2023-05-14T07:57:21,581   adding 'certora_jars/gambit-linux'
2023-05-14T07:57:22,439   adding 'certora_jars/gambit-macos'
2023-05-14T07:57:22,475   adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230509.2.1.997423.dist-info/LICENSE'
2023-05-14T07:57:22,476   adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230509.2.1.997423.dist-info/METADATA'
2023-05-14T07:57:22,477   adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230509.2.1.997423.dist-info/WHEEL'
2023-05-14T07:57:22,478   adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230509.2.1.997423.dist-info/entry_points.txt'
2023-05-14T07:57:22,479   adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230509.2.1.997423.dist-info/top_level.txt'
2023-05-14T07:57:22,480   adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230509.2.1.997423.dist-info/RECORD'
2023-05-14T07:57:22,986   removing build/bdist.linux-aarch64/wheel
2023-05-14T07:57:23,111   Building wheel for certora-cli-alpha-jtoman-source-copy-refactor (setup.py): finished with status 'done'
2023-05-14T07:57:23,433   Created wheel for certora-cli-alpha-jtoman-source-copy-refactor: filename=certora_cli_alpha_jtoman_source_copy_refactor-20230509.2.1.997423-py3-none-any.whl size=38516382 sha256=8ca4b32ad995e92188ccd968092015f74c791d26c47465f05b7314e142edbb65
2023-05-14T07:57:23,434   Stored in directory: /tmp/pip-ephem-wheel-cache-cd3kneiy/wheels/60/70/24/aefd124cfee881de69782663b34148b630d6bbc542af8c8e46
2023-05-14T07:57:23,464 Successfully built certora-cli-alpha-jtoman-source-copy-refactor
2023-05-14T07:57:24,378 Removed build tracker: '/tmp/pip-build-tracker-ylsf0x4n'