2023-05-14T09:28:31,429 Created temporary directory: /tmp/pip-build-tracker-480ydxz6 2023-05-14T09:28:31,431 Initialized build tracking at /tmp/pip-build-tracker-480ydxz6 2023-05-14T09:28:31,431 Created build tracker: /tmp/pip-build-tracker-480ydxz6 2023-05-14T09:28:31,431 Entered build tracker: /tmp/pip-build-tracker-480ydxz6 2023-05-14T09:28:31,432 Created temporary directory: /tmp/pip-wheel-hendpg2b 2023-05-14T09:28:31,435 Created temporary directory: /tmp/pip-ephem-wheel-cache-5kosv09v 2023-05-14T09:28:31,460 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T09:28:31,464 2 location(s) to search for versions of certora-cli-alpha-jaroslav-ucstats2: 2023-05-14T09:28:31,464 * https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T09:28:31,464 * https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T09:28:31,464 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T09:28:31,465 Getting page https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T09:28:31,467 Found index url https://pypi.org/simple/ 2023-05-14T09:28:31,517 Fetched page https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ as application/vnd.pypi.simple.v1+json 2023-05-14T09:28:31,519 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-14T09:28:31,520 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-14T09:28:31,520 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-14T09:28:31,521 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-14T09:28:31,521 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T09:28:31,521 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T09:28:31,522 Found index url https://www.piwheels.org/simple/ 2023-05-14T09:28:31,715 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ as text/html 2023-05-14T09:28:31,717 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=2c94999fad67a84dd720486926d3a47b69ce954e84bded1d87977dedca1f8fb5 (from https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16) 2023-05-14T09:28:31,717 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=1f9a3b51549dabdacc97724981cead2dc6b65e194435d2f0452abec21ac924ba (from https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16) 2023-05-14T09:28:31,718 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T09:28:31,718 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T09:28:31,735 Given no hashes to check 1 links for project 'certora-cli-alpha-jaroslav-ucstats2': discarding no candidates 2023-05-14T09:28:31,751 Collecting certora-cli-alpha-jaroslav-ucstats2==20230509.20.24.246286 2023-05-14T09:28:31,753 Created temporary directory: /tmp/pip-unpack-nfxm99q7 2023-05-14T09:28:32,042 Downloading certora-cli-alpha-jaroslav-UCStats2-20230509.20.24.246286.tar.gz (39.2 MB) 2023-05-14T09:28:37,653 Added certora-cli-alpha-jaroslav-ucstats2==20230509.20.24.246286 from https://files.pythonhosted.org/packages/fe/7d/db70232c5049be5bfa0fd2ff1772e4a61f8946498a27fbc53fc5e202138f/certora-cli-alpha-jaroslav-UCStats2-20230509.20.24.246286.tar.gz to build tracker '/tmp/pip-build-tracker-480ydxz6' 2023-05-14T09:28:37,656 Running setup.py (path:/tmp/pip-wheel-hendpg2b/certora-cli-alpha-jaroslav-ucstats2_70f454f3f4b34e39a8e32262f205ce14/setup.py) egg_info for package certora-cli-alpha-jaroslav-ucstats2 2023-05-14T09:28:37,656 Created temporary directory: /tmp/pip-pip-egg-info-tuqokkj4 2023-05-14T09:28:37,657 Preparing metadata (setup.py): started 2023-05-14T09:28:37,658 Running command python setup.py egg_info 2023-05-14T09:28:38,281 running egg_info 2023-05-14T09:28:38,283 creating /tmp/pip-pip-egg-info-tuqokkj4/certora_cli_alpha_jaroslav_UCStats2.egg-info 2023-05-14T09:28:38,308 writing /tmp/pip-pip-egg-info-tuqokkj4/certora_cli_alpha_jaroslav_UCStats2.egg-info/PKG-INFO 2023-05-14T09:28:38,310 writing dependency_links to /tmp/pip-pip-egg-info-tuqokkj4/certora_cli_alpha_jaroslav_UCStats2.egg-info/dependency_links.txt 2023-05-14T09:28:38,312 writing entry points to /tmp/pip-pip-egg-info-tuqokkj4/certora_cli_alpha_jaroslav_UCStats2.egg-info/entry_points.txt 2023-05-14T09:28:38,314 writing requirements to /tmp/pip-pip-egg-info-tuqokkj4/certora_cli_alpha_jaroslav_UCStats2.egg-info/requires.txt 2023-05-14T09:28:38,315 writing top-level names to /tmp/pip-pip-egg-info-tuqokkj4/certora_cli_alpha_jaroslav_UCStats2.egg-info/top_level.txt 2023-05-14T09:28:38,316 writing manifest file '/tmp/pip-pip-egg-info-tuqokkj4/certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-14T09:28:38,399 reading manifest file '/tmp/pip-pip-egg-info-tuqokkj4/certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-14T09:28:38,401 reading manifest template 'MANIFEST.in' 2023-05-14T09:28:38,410 adding license file 'LICENSE' 2023-05-14T09:28:38,414 writing manifest file '/tmp/pip-pip-egg-info-tuqokkj4/certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-14T09:28:38,473 Preparing metadata (setup.py): finished with status 'done' 2023-05-14T09:28:38,479 Source in /tmp/pip-wheel-hendpg2b/certora-cli-alpha-jaroslav-ucstats2_70f454f3f4b34e39a8e32262f205ce14 has version 20230509.20.24.246286, which satisfies requirement certora-cli-alpha-jaroslav-ucstats2==20230509.20.24.246286 from https://files.pythonhosted.org/packages/fe/7d/db70232c5049be5bfa0fd2ff1772e4a61f8946498a27fbc53fc5e202138f/certora-cli-alpha-jaroslav-UCStats2-20230509.20.24.246286.tar.gz 2023-05-14T09:28:38,480 Removed certora-cli-alpha-jaroslav-ucstats2==20230509.20.24.246286 from https://files.pythonhosted.org/packages/fe/7d/db70232c5049be5bfa0fd2ff1772e4a61f8946498a27fbc53fc5e202138f/certora-cli-alpha-jaroslav-UCStats2-20230509.20.24.246286.tar.gz from build tracker '/tmp/pip-build-tracker-480ydxz6' 2023-05-14T09:28:38,487 Created temporary directory: /tmp/pip-unpack-nk7jps8o 2023-05-14T09:28:38,487 Building wheels for collected packages: certora-cli-alpha-jaroslav-ucstats2 2023-05-14T09:28:38,492 Created temporary directory: /tmp/pip-wheel-qf7_g3oa 2023-05-14T09:28:38,492 Building wheel for certora-cli-alpha-jaroslav-ucstats2 (setup.py): started 2023-05-14T09:28:38,493 Destination directory: /tmp/pip-wheel-qf7_g3oa 2023-05-14T09:28:38,493 Running command python setup.py bdist_wheel 2023-05-14T09:28:39,311 running bdist_wheel 2023-05-14T09:28:39,594 running build 2023-05-14T09:28:39,595 running build_py 2023-05-14T09:28:39,623 creating build 2023-05-14T09:28:39,623 creating build/lib 2023-05-14T09:28:39,624 creating build/lib/certora_jars 2023-05-14T09:28:39,625 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-14T09:28:39,627 creating build/lib/certora_cli 2023-05-14T09:28:39,628 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-14T09:28:39,630 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-14T09:28:39,632 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-14T09:28:39,635 creating build/lib/certora_cli/Shared 2023-05-14T09:28:39,636 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-14T09:28:39,638 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-14T09:28:39,640 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-14T09:28:39,642 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-14T09:28:39,646 creating build/lib/certora_cli/EVMVerifier 2023-05-14T09:28:39,647 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T09:28:39,650 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T09:28:39,653 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T09:28:39,656 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T09:28:39,657 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T09:28:39,661 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T09:28:39,663 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T09:28:39,665 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T09:28:39,668 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T09:28:39,676 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T09:28:39,678 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T09:28:39,681 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T09:28:39,683 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T09:28:39,686 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T09:28:39,686 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T09:28:39,689 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T09:28:39,691 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T09:28:39,694 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T09:28:39,696 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T09:28:39,698 running egg_info 2023-05-14T09:28:39,758 writing certora_cli_alpha_jaroslav_UCStats2.egg-info/PKG-INFO 2023-05-14T09:28:39,760 writing dependency_links to certora_cli_alpha_jaroslav_UCStats2.egg-info/dependency_links.txt 2023-05-14T09:28:39,763 writing entry points to certora_cli_alpha_jaroslav_UCStats2.egg-info/entry_points.txt 2023-05-14T09:28:39,764 writing requirements to certora_cli_alpha_jaroslav_UCStats2.egg-info/requires.txt 2023-05-14T09:28:39,765 writing top-level names to certora_cli_alpha_jaroslav_UCStats2.egg-info/top_level.txt 2023-05-14T09:28:39,795 reading manifest file 'certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-14T09:28:39,798 reading manifest template 'MANIFEST.in' 2023-05-14T09:28:39,807 adding license file 'LICENSE' 2023-05-14T09:28:39,812 writing manifest file 'certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-14T09:28:39,815 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-14T09:28:39,817 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-14T09:28:40,055 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-14T09:28:40,224 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-14T09:28:40,416 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-14T09:28:40,524 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-14T09:28:40,672 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-14T09:28:40,672 !! 2023-05-14T09:28:40,672 ******************************************************************************** 2023-05-14T09:28:40,672 Please avoid running ``setup.py`` directly. 2023-05-14T09:28:40,673 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-14T09:28:40,673 other standards-based tools. 2023-05-14T09:28:40,673 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-14T09:28:40,673 ******************************************************************************** 2023-05-14T09:28:40,673 !! 2023-05-14T09:28:40,674 self.initialize_options() 2023-05-14T09:28:40,699 installing to build/bdist.linux-aarch64/wheel 2023-05-14T09:28:40,699 running install 2023-05-14T09:28:40,725 running install_lib 2023-05-14T09:28:40,752 creating build/bdist.linux-aarch64 2023-05-14T09:28:40,753 creating build/bdist.linux-aarch64/wheel 2023-05-14T09:28:40,755 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T09:28:40,756 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T09:28:40,977 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T09:28:40,979 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T09:28:41,185 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T09:28:41,275 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T09:28:41,384 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T09:28:41,387 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T09:28:41,560 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T09:28:41,561 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T09:28:41,563 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T09:28:41,564 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T09:28:41,567 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T09:28:41,569 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T09:28:41,571 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T09:28:41,575 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T09:28:41,577 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T09:28:41,579 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T09:28:41,580 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T09:28:41,584 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T09:28:41,587 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T09:28:41,590 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T09:28:41,591 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T09:28:41,595 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T09:28:41,597 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T09:28:41,600 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T09:28:41,604 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T09:28:41,605 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T09:28:41,608 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T09:28:41,610 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T09:28:41,613 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T09:28:41,615 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T09:28:41,618 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T09:28:41,624 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T09:28:41,626 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T09:28:41,629 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T09:28:41,631 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T09:28:41,633 running install_egg_info 2023-05-14T09:28:41,663 Copying certora_cli_alpha_jaroslav_UCStats2.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286-py3.9.egg-info 2023-05-14T09:28:41,674 running install_scripts 2023-05-14T09:28:41,693 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-14T09:28:41,697 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286.dist-info/WHEEL 2023-05-14T09:28:41,700 creating '/tmp/pip-wheel-qf7_g3oa/certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-14T09:28:41,702 adding 'certora_cli/__init__.py' 2023-05-14T09:28:41,704 adding 'certora_cli/certoraMutate.py' 2023-05-14T09:28:41,706 adding 'certora_cli/certoraRun.py' 2023-05-14T09:28:41,708 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-14T09:28:41,730 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-14T09:28:41,737 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-14T09:28:41,739 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-14T09:28:41,741 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-14T09:28:41,745 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-14T09:28:41,749 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-14T09:28:41,750 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-14T09:28:41,756 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-14T09:28:41,758 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-14T09:28:41,760 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-14T09:28:41,762 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-14T09:28:41,766 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-14T09:28:41,769 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-14T09:28:41,770 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-14T09:28:41,772 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-14T09:28:41,776 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-14T09:28:41,778 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-14T09:28:41,780 adding 'certora_cli/Shared/__init__.py' 2023-05-14T09:28:41,782 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-14T09:28:41,784 adding 'certora_cli/Shared/certoraTester.py' 2023-05-14T09:28:41,790 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-14T09:28:41,794 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-14T09:28:43,423 adding 'certora_jars/MutationTest.jar' 2023-05-14T09:28:44,737 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-14T09:28:46,273 adding 'certora_jars/Typechecker.jar' 2023-05-14T09:28:46,355 adding 'certora_jars/__init__.py' 2023-05-14T09:28:47,210 adding 'certora_jars/gambit-linux' 2023-05-14T09:28:48,067 adding 'certora_jars/gambit-macos' 2023-05-14T09:28:48,104 adding 'certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286.dist-info/LICENSE' 2023-05-14T09:28:48,105 adding 'certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286.dist-info/METADATA' 2023-05-14T09:28:48,107 adding 'certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286.dist-info/WHEEL' 2023-05-14T09:28:48,108 adding 'certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286.dist-info/entry_points.txt' 2023-05-14T09:28:48,109 adding 'certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286.dist-info/top_level.txt' 2023-05-14T09:28:48,110 adding 'certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286.dist-info/RECORD' 2023-05-14T09:28:48,554 removing build/bdist.linux-aarch64/wheel 2023-05-14T09:28:48,677 Building wheel for certora-cli-alpha-jaroslav-ucstats2 (setup.py): finished with status 'done' 2023-05-14T09:28:49,002 Created wheel for certora-cli-alpha-jaroslav-ucstats2: filename=certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286-py3-none-any.whl size=39252247 sha256=292d7007f683e0e11573b28bf2105ea35a4bb88de44f8163b8b981e5fb661914 2023-05-14T09:28:49,004 Stored in directory: /tmp/pip-ephem-wheel-cache-5kosv09v/wheels/96/f0/f7/dad6081ffb9d75f3198185a9161381e3efb8605340c48485e8 2023-05-14T09:28:49,033 Successfully built certora-cli-alpha-jaroslav-ucstats2 2023-05-14T09:28:49,979 Removed build tracker: '/tmp/pip-build-tracker-480ydxz6'