2023-05-15T12:29:05,392 Created temporary directory: /tmp/pip-build-tracker-cq5ioksz 2023-05-15T12:29:05,393 Initialized build tracking at /tmp/pip-build-tracker-cq5ioksz 2023-05-15T12:29:05,394 Created build tracker: /tmp/pip-build-tracker-cq5ioksz 2023-05-15T12:29:05,394 Entered build tracker: /tmp/pip-build-tracker-cq5ioksz 2023-05-15T12:29:05,394 Created temporary directory: /tmp/pip-wheel-sturbc4w 2023-05-15T12:29:05,398 Created temporary directory: /tmp/pip-ephem-wheel-cache-0qkmolkw 2023-05-15T12:29:05,423 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-15T12:29:05,427 2 location(s) to search for versions of certora-cli-alpha-jaroslav-ucstats2: 2023-05-15T12:29:05,427 * https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-15T12:29:05,427 * https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-15T12:29:05,428 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-15T12:29:05,428 Getting page https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-15T12:29:05,430 Found index url https://pypi.org/simple/ 2023-05-15T12:29:05,480 Fetched page https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ as application/vnd.pypi.simple.v1+json 2023-05-15T12:29:05,483 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:29:05,484 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:29:05,484 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:29:05,485 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:29:05,485 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:29:05,485 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:29:05,486 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:29:05,486 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:29:05,487 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-15T12:29:05,487 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-15T12:29:05,488 Found index url https://www.piwheels.org/simple/ 2023-05-15T12:29:05,674 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ as text/html 2023-05-15T12:29:05,676 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-20230514.17.47.470333-py3-none-any.whl#sha256=1b6f93bb0e9c40adcd0117c97e9d770daac988cd277493062b6e852e841dc91d (from https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16) 2023-05-15T12:29:05,676 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:29:05,676 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:29:05,677 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-15T12:29:05,677 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-15T12:29:05,696 Given no hashes to check 1 links for project 'certora-cli-alpha-jaroslav-ucstats2': discarding no candidates 2023-05-15T12:29:05,713 Collecting certora-cli-alpha-jaroslav-ucstats2==20230514.19.10.306778 2023-05-15T12:29:05,716 Created temporary directory: /tmp/pip-unpack-iaq0r317 2023-05-15T12:29:06,097 Downloading certora-cli-alpha-jaroslav-UCStats2-20230514.19.10.306778.tar.gz (39.4 MB) 2023-05-15T12:29:15,765 Added certora-cli-alpha-jaroslav-ucstats2==20230514.19.10.306778 from https://files.pythonhosted.org/packages/9a/bc/3fa8263bd1a8eff2bc92bc2a387aa080d12758097df8dd0cdede3dee0878/certora-cli-alpha-jaroslav-UCStats2-20230514.19.10.306778.tar.gz to build tracker '/tmp/pip-build-tracker-cq5ioksz' 2023-05-15T12:29:15,767 Running setup.py (path:/tmp/pip-wheel-sturbc4w/certora-cli-alpha-jaroslav-ucstats2_ba1d99a827d745f88b3df19ef9403df7/setup.py) egg_info for package certora-cli-alpha-jaroslav-ucstats2 2023-05-15T12:29:15,767 Created temporary directory: /tmp/pip-pip-egg-info-97u1levy 2023-05-15T12:29:15,768 Preparing metadata (setup.py): started 2023-05-15T12:29:15,769 Running command python setup.py egg_info 2023-05-15T12:29:16,393 running egg_info 2023-05-15T12:29:16,394 creating /tmp/pip-pip-egg-info-97u1levy/certora_cli_alpha_jaroslav_UCStats2.egg-info 2023-05-15T12:29:16,423 writing /tmp/pip-pip-egg-info-97u1levy/certora_cli_alpha_jaroslav_UCStats2.egg-info/PKG-INFO 2023-05-15T12:29:16,426 writing dependency_links to /tmp/pip-pip-egg-info-97u1levy/certora_cli_alpha_jaroslav_UCStats2.egg-info/dependency_links.txt 2023-05-15T12:29:16,428 writing entry points to /tmp/pip-pip-egg-info-97u1levy/certora_cli_alpha_jaroslav_UCStats2.egg-info/entry_points.txt 2023-05-15T12:29:16,429 writing requirements to /tmp/pip-pip-egg-info-97u1levy/certora_cli_alpha_jaroslav_UCStats2.egg-info/requires.txt 2023-05-15T12:29:16,430 writing top-level names to /tmp/pip-pip-egg-info-97u1levy/certora_cli_alpha_jaroslav_UCStats2.egg-info/top_level.txt 2023-05-15T12:29:16,432 writing manifest file '/tmp/pip-pip-egg-info-97u1levy/certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-15T12:29:16,518 reading manifest file '/tmp/pip-pip-egg-info-97u1levy/certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-15T12:29:16,520 reading manifest template 'MANIFEST.in' 2023-05-15T12:29:16,529 adding license file 'LICENSE' 2023-05-15T12:29:16,532 writing manifest file '/tmp/pip-pip-egg-info-97u1levy/certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-15T12:29:16,592 Preparing metadata (setup.py): finished with status 'done' 2023-05-15T12:29:16,598 Source in /tmp/pip-wheel-sturbc4w/certora-cli-alpha-jaroslav-ucstats2_ba1d99a827d745f88b3df19ef9403df7 has version 20230514.19.10.306778, which satisfies requirement certora-cli-alpha-jaroslav-ucstats2==20230514.19.10.306778 from https://files.pythonhosted.org/packages/9a/bc/3fa8263bd1a8eff2bc92bc2a387aa080d12758097df8dd0cdede3dee0878/certora-cli-alpha-jaroslav-UCStats2-20230514.19.10.306778.tar.gz 2023-05-15T12:29:16,599 Removed certora-cli-alpha-jaroslav-ucstats2==20230514.19.10.306778 from https://files.pythonhosted.org/packages/9a/bc/3fa8263bd1a8eff2bc92bc2a387aa080d12758097df8dd0cdede3dee0878/certora-cli-alpha-jaroslav-UCStats2-20230514.19.10.306778.tar.gz from build tracker '/tmp/pip-build-tracker-cq5ioksz' 2023-05-15T12:29:16,606 Created temporary directory: /tmp/pip-unpack-y17uvhh4 2023-05-15T12:29:16,606 Building wheels for collected packages: certora-cli-alpha-jaroslav-ucstats2 2023-05-15T12:29:16,611 Created temporary directory: /tmp/pip-wheel-q03d8rls 2023-05-15T12:29:16,611 Building wheel for certora-cli-alpha-jaroslav-ucstats2 (setup.py): started 2023-05-15T12:29:16,612 Destination directory: /tmp/pip-wheel-q03d8rls 2023-05-15T12:29:16,612 Running command python setup.py bdist_wheel 2023-05-15T12:29:17,278 running bdist_wheel 2023-05-15T12:29:17,572 running build 2023-05-15T12:29:17,573 running build_py 2023-05-15T12:29:17,607 creating build 2023-05-15T12:29:17,607 creating build/lib 2023-05-15T12:29:17,608 creating build/lib/certora_cli 2023-05-15T12:29:17,610 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-15T12:29:17,611 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-15T12:29:17,613 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-15T12:29:17,617 creating build/lib/certora_jars 2023-05-15T12:29:17,617 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-15T12:29:17,620 creating build/lib/certora_cli/Shared 2023-05-15T12:29:17,621 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-15T12:29:17,623 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-15T12:29:17,626 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-15T12:29:17,629 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-15T12:29:17,633 creating build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,634 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,636 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,638 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,640 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,642 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,645 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,649 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,652 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,655 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,658 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,665 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,669 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,671 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,673 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T12:29:17,676 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T12:29:17,677 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T12:29:17,680 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T12:29:17,682 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T12:29:17,684 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T12:29:17,686 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T12:29:17,689 running egg_info 2023-05-15T12:29:17,755 writing certora_cli_alpha_jaroslav_UCStats2.egg-info/PKG-INFO 2023-05-15T12:29:17,757 writing dependency_links to certora_cli_alpha_jaroslav_UCStats2.egg-info/dependency_links.txt 2023-05-15T12:29:17,759 writing entry points to certora_cli_alpha_jaroslav_UCStats2.egg-info/entry_points.txt 2023-05-15T12:29:17,761 writing requirements to certora_cli_alpha_jaroslav_UCStats2.egg-info/requires.txt 2023-05-15T12:29:17,762 writing top-level names to certora_cli_alpha_jaroslav_UCStats2.egg-info/top_level.txt 2023-05-15T12:29:17,796 reading manifest file 'certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-15T12:29:17,799 reading manifest template 'MANIFEST.in' 2023-05-15T12:29:17,809 adding license file 'LICENSE' 2023-05-15T12:29:17,813 writing manifest file 'certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-15T12:29:17,816 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-15T12:29:17,819 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-15T12:29:18,072 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-15T12:29:18,269 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-15T12:29:18,490 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-15T12:29:18,601 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-15T12:29:18,723 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-15T12:29:18,723 !! 2023-05-15T12:29:18,723 ******************************************************************************** 2023-05-15T12:29:18,723 Please avoid running ``setup.py`` directly. 2023-05-15T12:29:18,724 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-15T12:29:18,724 other standards-based tools. 2023-05-15T12:29:18,724 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-15T12:29:18,724 ******************************************************************************** 2023-05-15T12:29:18,724 !! 2023-05-15T12:29:18,725 self.initialize_options() 2023-05-15T12:29:18,751 installing to build/bdist.linux-aarch64/wheel 2023-05-15T12:29:18,752 running install 2023-05-15T12:29:18,777 running install_lib 2023-05-15T12:29:18,806 creating build/bdist.linux-aarch64 2023-05-15T12:29:18,806 creating build/bdist.linux-aarch64/wheel 2023-05-15T12:29:18,808 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T12:29:18,810 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T12:29:18,811 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T12:29:18,814 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T12:29:18,817 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T12:29:18,820 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T12:29:18,823 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,824 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,827 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,829 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,831 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,834 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T12:29:18,835 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T12:29:18,838 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T12:29:18,840 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T12:29:18,843 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T12:29:18,845 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T12:29:18,849 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,852 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,856 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,859 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,862 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,866 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,874 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,877 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,880 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,882 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T12:29:18,885 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T12:29:18,887 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T12:29:18,889 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T12:29:18,892 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T12:29:18,893 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T12:29:18,895 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T12:29:19,106 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T12:29:19,109 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T12:29:19,283 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T12:29:19,363 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T12:29:19,473 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T12:29:19,706 running install_egg_info 2023-05-15T12:29:19,738 Copying certora_cli_alpha_jaroslav_UCStats2.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_jaroslav_UCStats2-20230514.19.10.306778-py3.9.egg-info 2023-05-15T12:29:19,750 running install_scripts 2023-05-15T12:29:19,767 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_jaroslav_UCStats2-20230514.19.10.306778.dist-info/WHEEL 2023-05-15T12:29:19,769 creating '/tmp/pip-wheel-q03d8rls/certora_cli_alpha_jaroslav_UCStats2-20230514.19.10.306778-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-15T12:29:19,772 adding 'certora_cli/__init__.py' 2023-05-15T12:29:19,773 adding 'certora_cli/certoraMutate.py' 2023-05-15T12:29:19,775 adding 'certora_cli/certoraRun.py' 2023-05-15T12:29:19,777 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-15T12:29:19,799 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-15T12:29:19,806 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-15T12:29:19,808 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-15T12:29:19,810 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-15T12:29:19,815 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-15T12:29:19,819 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-15T12:29:19,820 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-15T12:29:19,826 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-15T12:29:19,828 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-15T12:29:19,830 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-15T12:29:19,831 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-15T12:29:19,834 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-15T12:29:19,838 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-15T12:29:19,841 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-15T12:29:19,843 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-15T12:29:19,844 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-15T12:29:19,849 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-15T12:29:19,851 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-15T12:29:19,853 adding 'certora_cli/Shared/__init__.py' 2023-05-15T12:29:19,855 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-15T12:29:19,857 adding 'certora_cli/Shared/certoraTester.py' 2023-05-15T12:29:19,864 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-15T12:29:19,867 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-15T12:29:21,507 adding 'certora_jars/MutationTest.jar' 2023-05-15T12:29:22,820 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-15T12:29:24,369 adding 'certora_jars/Typechecker.jar' 2023-05-15T12:29:24,453 adding 'certora_jars/__init__.py' 2023-05-15T12:29:25,307 adding 'certora_jars/gambit-linux' 2023-05-15T12:29:26,165 adding 'certora_jars/gambit-macos' 2023-05-15T12:29:26,201 adding 'certora_cli_alpha_jaroslav_UCStats2-20230514.19.10.306778.dist-info/LICENSE' 2023-05-15T12:29:26,202 adding 'certora_cli_alpha_jaroslav_UCStats2-20230514.19.10.306778.dist-info/METADATA' 2023-05-15T12:29:26,203 adding 'certora_cli_alpha_jaroslav_UCStats2-20230514.19.10.306778.dist-info/WHEEL' 2023-05-15T12:29:26,204 adding 'certora_cli_alpha_jaroslav_UCStats2-20230514.19.10.306778.dist-info/entry_points.txt' 2023-05-15T12:29:26,205 adding 'certora_cli_alpha_jaroslav_UCStats2-20230514.19.10.306778.dist-info/top_level.txt' 2023-05-15T12:29:26,206 adding 'certora_cli_alpha_jaroslav_UCStats2-20230514.19.10.306778.dist-info/RECORD' 2023-05-15T12:29:26,662 removing build/bdist.linux-aarch64/wheel 2023-05-15T12:29:26,780 Building wheel for certora-cli-alpha-jaroslav-ucstats2 (setup.py): finished with status 'done' 2023-05-15T12:29:27,110 Created wheel for certora-cli-alpha-jaroslav-ucstats2: filename=certora_cli_alpha_jaroslav_UCStats2-20230514.19.10.306778-py3-none-any.whl size=39469032 sha256=f0c392224b70529f472839c077c873e1ba4a6b35fa0a8ebfac7a1089f4b40299 2023-05-15T12:29:27,111 Stored in directory: /tmp/pip-ephem-wheel-cache-0qkmolkw/wheels/52/67/b9/f80fcfd07ee8ec010fff20700465283ab57c88f8cd4e432129 2023-05-15T12:29:27,142 Successfully built certora-cli-alpha-jaroslav-ucstats2 2023-05-15T12:29:28,147 Removed build tracker: '/tmp/pip-build-tracker-cq5ioksz'