2023-05-15T12:22:09,986 Created temporary directory: /tmp/pip-build-tracker-l7xg3kq0
2023-05-15T12:22:09,988 Initialized build tracking at /tmp/pip-build-tracker-l7xg3kq0
2023-05-15T12:22:09,988 Created build tracker: /tmp/pip-build-tracker-l7xg3kq0
2023-05-15T12:22:09,988 Entered build tracker: /tmp/pip-build-tracker-l7xg3kq0
2023-05-15T12:22:09,989 Created temporary directory: /tmp/pip-wheel-jxkubmt6
2023-05-15T12:22:09,992 Created temporary directory: /tmp/pip-ephem-wheel-cache-5gneyh63
2023-05-15T12:22:10,018 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-15T12:22:10,022 2 location(s) to search for versions of certora-cli-alpha-jaroslav-ucstats2:
2023-05-15T12:22:10,022 * https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/
2023-05-15T12:22:10,022 * https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/
2023-05-15T12:22:10,022 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/
2023-05-15T12:22:10,022 Getting page https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/
2023-05-15T12:22:10,024 Found index url https://pypi.org/simple/
2023-05-15T12:22:10,075 Fetched page https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ as application/vnd.pypi.simple.v1+json
2023-05-15T12:22:10,078   Found link https://files.pythonhosted.org/packages/fe/7d/db70232c5049be5bfa0fd2ff1772e4a61f8946498a27fbc53fc5e202138f/certora-cli-alpha-jaroslav-UCStats2-20230509.20.24.246286.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16), version: 20230509.20.24.246286
2023-05-15T12:22:10,078   Skipping link: No binaries permitted for certora-cli-alpha-jaroslav-ucstats2: https://files.pythonhosted.org/packages/7a/f0/f68dea9b04227e3776255c06b2f7cb5fddc6c2c9641b7ce3349bd83b01e6/certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16)
2023-05-15T12:22:10,079   Found link https://files.pythonhosted.org/packages/ff/ac/910e07c93da59c74e24cdbcc411e8c0a5b0b48685fcdf879324cb75fe314/certora-cli-alpha-jaroslav-UCStats2-20230510.20.20.327816.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16), version: 20230510.20.20.327816
2023-05-15T12:22:10,079   Skipping link: No binaries permitted for certora-cli-alpha-jaroslav-ucstats2: https://files.pythonhosted.org/packages/e0/7d/26bfdff2154a4d88f46e5f57eb0ab2b01da9baa7dcb967598161136e70f6/certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16)
2023-05-15T12:22:10,080   Found link https://files.pythonhosted.org/packages/2c/0a/50825c02c42a503f1c41ad0fd5e0e0e90ef552dc4809e577bff651e36960/certora-cli-alpha-jaroslav-UCStats2-20230514.17.47.470333.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16), version: 20230514.17.47.470333
2023-05-15T12:22:10,080   Skipping link: No binaries permitted for certora-cli-alpha-jaroslav-ucstats2: https://files.pythonhosted.org/packages/63/e9/77141c8c58684df8b14085c5c44d44b445b0f3da235c1be619e943af797c/certora_cli_alpha_jaroslav_UCStats2-20230514.17.47.470333-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16)
2023-05-15T12:22:10,081   Found link https://files.pythonhosted.org/packages/9a/bc/3fa8263bd1a8eff2bc92bc2a387aa080d12758097df8dd0cdede3dee0878/certora-cli-alpha-jaroslav-UCStats2-20230514.19.10.306778.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16), version: 20230514.19.10.306778
2023-05-15T12:22:10,081   Skipping link: No binaries permitted for certora-cli-alpha-jaroslav-ucstats2: https://files.pythonhosted.org/packages/5f/b0/7ac7be20f9ff9890a235b56ae130b4fc717f2a43d70e2023967b00a72005/certora_cli_alpha_jaroslav_UCStats2-20230514.19.10.306778-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16)
2023-05-15T12:22:10,081 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/
2023-05-15T12:22:10,082 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/
2023-05-15T12:22:10,083 Found index url https://www.piwheels.org/simple/
2023-05-15T12:22:10,267 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ as text/html
2023-05-15T12:22:10,269   Skipping link: No binaries permitted for certora-cli-alpha-jaroslav-ucstats2: https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816-py3-none-any.whl#sha256=79780d56fd11384d836edd1e6f8fec6e8c649c462503f23682df74e691cf60ed (from https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16)
2023-05-15T12:22:10,269   Skipping link: No binaries permitted for certora-cli-alpha-jaroslav-ucstats2: https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286-py3-none-any.whl#sha256=292d7007f683e0e11573b28bf2105ea35a4bb88de44f8163b8b981e5fb661914 (from https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16)
2023-05-15T12:22:10,269 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/
2023-05-15T12:22:10,270 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/
2023-05-15T12:22:10,288 Given no hashes to check 1 links for project 'certora-cli-alpha-jaroslav-ucstats2': discarding no candidates
2023-05-15T12:22:10,305 Collecting certora-cli-alpha-jaroslav-ucstats2==20230514.17.47.470333
2023-05-15T12:22:10,308   Created temporary directory: /tmp/pip-unpack-kcvyqvw_
2023-05-15T12:22:10,664   Downloading certora-cli-alpha-jaroslav-UCStats2-20230514.17.47.470333.tar.gz (39.4 MB)
2023-05-15T12:22:21,912   Added certora-cli-alpha-jaroslav-ucstats2==20230514.17.47.470333 from https://files.pythonhosted.org/packages/2c/0a/50825c02c42a503f1c41ad0fd5e0e0e90ef552dc4809e577bff651e36960/certora-cli-alpha-jaroslav-UCStats2-20230514.17.47.470333.tar.gz to build tracker '/tmp/pip-build-tracker-l7xg3kq0'
2023-05-15T12:22:21,914   Running setup.py (path:/tmp/pip-wheel-jxkubmt6/certora-cli-alpha-jaroslav-ucstats2_ad91e1e01a8144d8ba3267946d8f99ff/setup.py) egg_info for package certora-cli-alpha-jaroslav-ucstats2
2023-05-15T12:22:21,915   Created temporary directory: /tmp/pip-pip-egg-info-cj3ldtoi
2023-05-15T12:22:21,915   Preparing metadata (setup.py): started
2023-05-15T12:22:21,916   Running command python setup.py egg_info
2023-05-15T12:22:22,690   running egg_info
2023-05-15T12:22:22,691   creating /tmp/pip-pip-egg-info-cj3ldtoi/certora_cli_alpha_jaroslav_UCStats2.egg-info
2023-05-15T12:22:22,721   writing /tmp/pip-pip-egg-info-cj3ldtoi/certora_cli_alpha_jaroslav_UCStats2.egg-info/PKG-INFO
2023-05-15T12:22:22,724   writing dependency_links to /tmp/pip-pip-egg-info-cj3ldtoi/certora_cli_alpha_jaroslav_UCStats2.egg-info/dependency_links.txt
2023-05-15T12:22:22,728   writing entry points to /tmp/pip-pip-egg-info-cj3ldtoi/certora_cli_alpha_jaroslav_UCStats2.egg-info/entry_points.txt
2023-05-15T12:22:22,731   writing requirements to /tmp/pip-pip-egg-info-cj3ldtoi/certora_cli_alpha_jaroslav_UCStats2.egg-info/requires.txt
2023-05-15T12:22:22,734   writing top-level names to /tmp/pip-pip-egg-info-cj3ldtoi/certora_cli_alpha_jaroslav_UCStats2.egg-info/top_level.txt
2023-05-15T12:22:22,738   writing manifest file '/tmp/pip-pip-egg-info-cj3ldtoi/certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt'
2023-05-15T12:22:22,905   reading manifest file '/tmp/pip-pip-egg-info-cj3ldtoi/certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt'
2023-05-15T12:22:22,907   reading manifest template 'MANIFEST.in'
2023-05-15T12:22:22,922   adding license file 'LICENSE'
2023-05-15T12:22:22,927   writing manifest file '/tmp/pip-pip-egg-info-cj3ldtoi/certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt'
2023-05-15T12:22:23,006   Preparing metadata (setup.py): finished with status 'done'
2023-05-15T12:22:23,014   Source in /tmp/pip-wheel-jxkubmt6/certora-cli-alpha-jaroslav-ucstats2_ad91e1e01a8144d8ba3267946d8f99ff has version 20230514.17.47.470333, which satisfies requirement certora-cli-alpha-jaroslav-ucstats2==20230514.17.47.470333 from https://files.pythonhosted.org/packages/2c/0a/50825c02c42a503f1c41ad0fd5e0e0e90ef552dc4809e577bff651e36960/certora-cli-alpha-jaroslav-UCStats2-20230514.17.47.470333.tar.gz
2023-05-15T12:22:23,015   Removed certora-cli-alpha-jaroslav-ucstats2==20230514.17.47.470333 from https://files.pythonhosted.org/packages/2c/0a/50825c02c42a503f1c41ad0fd5e0e0e90ef552dc4809e577bff651e36960/certora-cli-alpha-jaroslav-UCStats2-20230514.17.47.470333.tar.gz from build tracker '/tmp/pip-build-tracker-l7xg3kq0'
2023-05-15T12:22:23,022 Created temporary directory: /tmp/pip-unpack-hivus3v4
2023-05-15T12:22:23,022 Building wheels for collected packages: certora-cli-alpha-jaroslav-ucstats2
2023-05-15T12:22:23,027   Created temporary directory: /tmp/pip-wheel-_gnk4g6r
2023-05-15T12:22:23,027   Building wheel for certora-cli-alpha-jaroslav-ucstats2 (setup.py): started
2023-05-15T12:22:23,028   Destination directory: /tmp/pip-wheel-_gnk4g6r
2023-05-15T12:22:23,029   Running command python setup.py bdist_wheel
2023-05-15T12:22:23,692   running bdist_wheel
2023-05-15T12:22:23,989   running build
2023-05-15T12:22:23,990   running build_py
2023-05-15T12:22:24,022   creating build
2023-05-15T12:22:24,022   creating build/lib
2023-05-15T12:22:24,023   creating build/lib/certora_cli
2023-05-15T12:22:24,024   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-15T12:22:24,026   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-15T12:22:24,028   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-15T12:22:24,031   creating build/lib/certora_jars
2023-05-15T12:22:24,032   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-15T12:22:24,035   creating build/lib/certora_cli/Shared
2023-05-15T12:22:24,036   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-15T12:22:24,038   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-15T12:22:24,041   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-15T12:22:24,044   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-15T12:22:24,047   creating build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,048   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,050   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,053   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,054   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,056   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,059   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,062   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,065   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,068   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,071   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,077   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,080   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,083   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,085   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T12:22:24,089   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T12:22:24,090   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T12:22:24,092   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T12:22:24,095   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T12:22:24,097   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T12:22:24,099   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T12:22:24,102   running egg_info
2023-05-15T12:22:24,167   writing certora_cli_alpha_jaroslav_UCStats2.egg-info/PKG-INFO
2023-05-15T12:22:24,169   writing dependency_links to certora_cli_alpha_jaroslav_UCStats2.egg-info/dependency_links.txt
2023-05-15T12:22:24,172   writing entry points to certora_cli_alpha_jaroslav_UCStats2.egg-info/entry_points.txt
2023-05-15T12:22:24,174   writing requirements to certora_cli_alpha_jaroslav_UCStats2.egg-info/requires.txt
2023-05-15T12:22:24,175   writing top-level names to certora_cli_alpha_jaroslav_UCStats2.egg-info/top_level.txt
2023-05-15T12:22:24,209   reading manifest file 'certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt'
2023-05-15T12:22:24,211   reading manifest template 'MANIFEST.in'
2023-05-15T12:22:24,221   adding license file 'LICENSE'
2023-05-15T12:22:24,226   writing manifest file 'certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt'
2023-05-15T12:22:24,229   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-15T12:22:24,231   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-15T12:22:24,452   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-15T12:22:24,616   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-15T12:22:24,814   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-15T12:22:24,928   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-15T12:22:25,061   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-15T12:22:25,061   !!

2023-05-15T12:22:25,062           ********************************************************************************
2023-05-15T12:22:25,062           Please avoid running ``setup.py`` directly.
2023-05-15T12:22:25,062           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-15T12:22:25,062           other standards-based tools.

2023-05-15T12:22:25,062           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-15T12:22:25,062           ********************************************************************************

2023-05-15T12:22:25,063   !!
2023-05-15T12:22:25,063     self.initialize_options()
2023-05-15T12:22:25,092   installing to build/bdist.linux-aarch64/wheel
2023-05-15T12:22:25,092   running install
2023-05-15T12:22:25,118   running install_lib
2023-05-15T12:22:25,147   creating build/bdist.linux-aarch64
2023-05-15T12:22:25,148   creating build/bdist.linux-aarch64/wheel
2023-05-15T12:22:25,150   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T12:22:25,152   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T12:22:25,154   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T12:22:25,156   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T12:22:25,160   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T12:22:25,163   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T12:22:25,167   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,168   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,171   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,174   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,176   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,179   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T12:22:25,180   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T12:22:25,182   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T12:22:25,185   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T12:22:25,187   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T12:22:25,189   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T12:22:25,193   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,196   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,199   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,203   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,206   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,209   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,217   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,220   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,223   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,225   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T12:22:25,228   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T12:22:25,229   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T12:22:25,231   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T12:22:25,235   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T12:22:25,235   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T12:22:25,237   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T12:22:25,442   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T12:22:25,445   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T12:22:25,612   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T12:22:25,704   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T12:22:25,814   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T12:22:26,050   running install_egg_info
2023-05-15T12:22:26,084   Copying certora_cli_alpha_jaroslav_UCStats2.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_jaroslav_UCStats2-20230514.17.47.470333-py3.9.egg-info
2023-05-15T12:22:26,098   running install_scripts
2023-05-15T12:22:26,117   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_jaroslav_UCStats2-20230514.17.47.470333.dist-info/WHEEL
2023-05-15T12:22:26,120   creating '/tmp/pip-wheel-_gnk4g6r/certora_cli_alpha_jaroslav_UCStats2-20230514.17.47.470333-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-15T12:22:26,123   adding 'certora_cli/__init__.py'
2023-05-15T12:22:26,124   adding 'certora_cli/certoraMutate.py'
2023-05-15T12:22:26,126   adding 'certora_cli/certoraRun.py'
2023-05-15T12:22:26,128   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-15T12:22:26,150   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-15T12:22:26,157   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-15T12:22:26,160   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-15T12:22:26,161   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-15T12:22:26,166   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-15T12:22:26,170   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-15T12:22:26,171   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-15T12:22:26,177   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-15T12:22:26,179   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-15T12:22:26,181   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-15T12:22:26,182   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-15T12:22:26,185   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-15T12:22:26,189   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-15T12:22:26,192   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-15T12:22:26,194   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-15T12:22:26,195   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-15T12:22:26,200   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-15T12:22:26,201   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-15T12:22:26,203   adding 'certora_cli/Shared/__init__.py'
2023-05-15T12:22:26,205   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-15T12:22:26,207   adding 'certora_cli/Shared/certoraTester.py'
2023-05-15T12:22:26,214   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-15T12:22:26,218   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-15T12:22:27,858   adding 'certora_jars/MutationTest.jar'
2023-05-15T12:22:29,171   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-15T12:22:30,722   adding 'certora_jars/Typechecker.jar'
2023-05-15T12:22:30,806   adding 'certora_jars/__init__.py'
2023-05-15T12:22:31,660   adding 'certora_jars/gambit-linux'
2023-05-15T12:22:32,518   adding 'certora_jars/gambit-macos'
2023-05-15T12:22:32,554   adding 'certora_cli_alpha_jaroslav_UCStats2-20230514.17.47.470333.dist-info/LICENSE'
2023-05-15T12:22:32,555   adding 'certora_cli_alpha_jaroslav_UCStats2-20230514.17.47.470333.dist-info/METADATA'
2023-05-15T12:22:32,556   adding 'certora_cli_alpha_jaroslav_UCStats2-20230514.17.47.470333.dist-info/WHEEL'
2023-05-15T12:22:32,557   adding 'certora_cli_alpha_jaroslav_UCStats2-20230514.17.47.470333.dist-info/entry_points.txt'
2023-05-15T12:22:32,558   adding 'certora_cli_alpha_jaroslav_UCStats2-20230514.17.47.470333.dist-info/top_level.txt'
2023-05-15T12:22:32,559   adding 'certora_cli_alpha_jaroslav_UCStats2-20230514.17.47.470333.dist-info/RECORD'
2023-05-15T12:22:33,047   removing build/bdist.linux-aarch64/wheel
2023-05-15T12:22:33,167   Building wheel for certora-cli-alpha-jaroslav-ucstats2 (setup.py): finished with status 'done'
2023-05-15T12:22:33,497   Created wheel for certora-cli-alpha-jaroslav-ucstats2: filename=certora_cli_alpha_jaroslav_UCStats2-20230514.17.47.470333-py3-none-any.whl size=39469031 sha256=1b6f93bb0e9c40adcd0117c97e9d770daac988cd277493062b6e852e841dc91d
2023-05-15T12:22:33,499   Stored in directory: /tmp/pip-ephem-wheel-cache-5gneyh63/wheels/b5/c9/d8/dca9ae95838a36e170744e18908253ed09dfb42c0df8954f5e
2023-05-15T12:22:33,528 Successfully built certora-cli-alpha-jaroslav-ucstats2
2023-05-15T12:22:34,543 Removed build tracker: '/tmp/pip-build-tracker-l7xg3kq0'