2023-05-19T11:30:35,868 Created temporary directory: /tmp/pip-build-tracker-ei1dozmn 2023-05-19T11:30:35,870 Initialized build tracking at /tmp/pip-build-tracker-ei1dozmn 2023-05-19T11:30:35,870 Created build tracker: /tmp/pip-build-tracker-ei1dozmn 2023-05-19T11:30:35,870 Entered build tracker: /tmp/pip-build-tracker-ei1dozmn 2023-05-19T11:30:35,871 Created temporary directory: /tmp/pip-wheel-9_cf__yi 2023-05-19T11:30:35,874 Created temporary directory: /tmp/pip-ephem-wheel-cache-9_ov8rua 2023-05-19T11:30:35,898 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-19T11:30:35,901 2 location(s) to search for versions of certora-cli-alpha-jtoman-source-copy-refactor: 2023-05-19T11:30:35,901 * https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T11:30:35,901 * https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T11:30:35,902 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T11:30:35,902 Getting page https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T11:30:35,904 Found index url https://pypi.org/simple/ 2023-05-19T11:30:35,953 Fetched page https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ as application/vnd.pypi.simple.v1+json 2023-05-19T11:30:35,955 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-19T11:30:35,955 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-19T11:30:35,956 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-19T11:30:35,956 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-19T11:30:35,957 Found link https://files.pythonhosted.org/packages/b2/6d/7b5e1af5c0cb0b3329a3ce14d84178e54c5d789f9d5ba30d658631b7a412/certora-cli-alpha-jtoman-source-copy-refactor-20230519.10.48.850368.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8), version: 20230519.10.48.850368 2023-05-19T11:30:35,957 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-source-copy-refactor: https://files.pythonhosted.org/packages/be/fa/f6237e17baebd5af3f3dae472524e075e2e29e2c2a62ba58659010e9c361/certora_cli_alpha_jtoman_source_copy_refactor-20230519.10.48.850368-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8) 2023-05-19T11:30:35,957 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T11:30:35,958 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T11:30:35,959 Found index url https://www.piwheels.org/simple/ 2023-05-19T11:30:36,165 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ as text/html 2023-05-19T11:30:36,166 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=39e6b57926a09a6bca2f6af2b86a12ae2147f453f69fa31191ddd15003cdd37b (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8.16) 2023-05-19T11:30:36,166 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=8ca4b32ad995e92188ccd968092015f74c791d26c47465f05b7314e142edbb65 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8.16) 2023-05-19T11:30:36,167 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T11:30:36,167 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T11:30:36,186 Given no hashes to check 1 links for project 'certora-cli-alpha-jtoman-source-copy-refactor': discarding no candidates 2023-05-19T11:30:36,203 Collecting certora-cli-alpha-jtoman-source-copy-refactor==20230519.10.48.850368 2023-05-19T11:30:36,205 Created temporary directory: /tmp/pip-unpack-d4ju0pxz 2023-05-19T11:30:36,443 Downloading certora-cli-alpha-jtoman-source-copy-refactor-20230519.10.48.850368.tar.gz (39.0 MB) 2023-05-19T11:30:45,598 Added certora-cli-alpha-jtoman-source-copy-refactor==20230519.10.48.850368 from https://files.pythonhosted.org/packages/b2/6d/7b5e1af5c0cb0b3329a3ce14d84178e54c5d789f9d5ba30d658631b7a412/certora-cli-alpha-jtoman-source-copy-refactor-20230519.10.48.850368.tar.gz to build tracker '/tmp/pip-build-tracker-ei1dozmn' 2023-05-19T11:30:45,600 Running setup.py (path:/tmp/pip-wheel-9_cf__yi/certora-cli-alpha-jtoman-source-copy-refactor_d8bf23e3634a4ec3a3ed992483919dff/setup.py) egg_info for package certora-cli-alpha-jtoman-source-copy-refactor 2023-05-19T11:30:45,600 Created temporary directory: /tmp/pip-pip-egg-info-09qj18jd 2023-05-19T11:30:45,601 Preparing metadata (setup.py): started 2023-05-19T11:30:45,602 Running command python setup.py egg_info 2023-05-19T11:30:46,185 running egg_info 2023-05-19T11:30:46,187 creating /tmp/pip-pip-egg-info-09qj18jd/certora_cli_alpha_jtoman_source_copy_refactor.egg-info 2023-05-19T11:30:46,211 writing /tmp/pip-pip-egg-info-09qj18jd/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/PKG-INFO 2023-05-19T11:30:46,213 writing dependency_links to /tmp/pip-pip-egg-info-09qj18jd/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/dependency_links.txt 2023-05-19T11:30:46,215 writing entry points to /tmp/pip-pip-egg-info-09qj18jd/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/entry_points.txt 2023-05-19T11:30:46,216 writing requirements to /tmp/pip-pip-egg-info-09qj18jd/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/requires.txt 2023-05-19T11:30:46,217 writing top-level names to /tmp/pip-pip-egg-info-09qj18jd/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/top_level.txt 2023-05-19T11:30:46,219 writing manifest file '/tmp/pip-pip-egg-info-09qj18jd/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-19T11:30:46,299 reading manifest file '/tmp/pip-pip-egg-info-09qj18jd/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-19T11:30:46,301 reading manifest template 'MANIFEST.in' 2023-05-19T11:30:46,309 adding license file 'LICENSE' 2023-05-19T11:30:46,313 writing manifest file '/tmp/pip-pip-egg-info-09qj18jd/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-19T11:30:46,372 Preparing metadata (setup.py): finished with status 'done' 2023-05-19T11:30:46,377 Source in /tmp/pip-wheel-9_cf__yi/certora-cli-alpha-jtoman-source-copy-refactor_d8bf23e3634a4ec3a3ed992483919dff has version 20230519.10.48.850368, which satisfies requirement certora-cli-alpha-jtoman-source-copy-refactor==20230519.10.48.850368 from https://files.pythonhosted.org/packages/b2/6d/7b5e1af5c0cb0b3329a3ce14d84178e54c5d789f9d5ba30d658631b7a412/certora-cli-alpha-jtoman-source-copy-refactor-20230519.10.48.850368.tar.gz 2023-05-19T11:30:46,378 Removed certora-cli-alpha-jtoman-source-copy-refactor==20230519.10.48.850368 from https://files.pythonhosted.org/packages/b2/6d/7b5e1af5c0cb0b3329a3ce14d84178e54c5d789f9d5ba30d658631b7a412/certora-cli-alpha-jtoman-source-copy-refactor-20230519.10.48.850368.tar.gz from build tracker '/tmp/pip-build-tracker-ei1dozmn' 2023-05-19T11:30:46,385 Created temporary directory: /tmp/pip-unpack-xfby5ylc 2023-05-19T11:30:46,385 Building wheels for collected packages: certora-cli-alpha-jtoman-source-copy-refactor 2023-05-19T11:30:46,389 Created temporary directory: /tmp/pip-wheel-4jyxhfsf 2023-05-19T11:30:46,389 Building wheel for certora-cli-alpha-jtoman-source-copy-refactor (setup.py): started 2023-05-19T11:30:46,390 Destination directory: /tmp/pip-wheel-4jyxhfsf 2023-05-19T11:30:46,391 Running command python setup.py bdist_wheel 2023-05-19T11:30:47,211 running bdist_wheel 2023-05-19T11:30:47,493 running build 2023-05-19T11:30:47,493 running build_py 2023-05-19T11:30:47,521 creating build 2023-05-19T11:30:47,521 creating build/lib 2023-05-19T11:30:47,522 creating build/lib/certora_cli 2023-05-19T11:30:47,523 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-19T11:30:47,526 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-19T11:30:47,527 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-19T11:30:47,530 creating build/lib/certora_jars 2023-05-19T11:30:47,531 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-19T11:30:47,533 creating build/lib/certora_cli/Shared 2023-05-19T11:30:47,534 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-19T11:30:47,536 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-19T11:30:47,538 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-19T11:30:47,540 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-19T11:30:47,544 creating build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,545 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,547 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,549 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,552 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,554 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,558 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,564 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,566 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,569 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,572 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,574 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,577 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,579 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,580 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T11:30:47,583 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T11:30:47,583 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T11:30:47,585 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T11:30:47,587 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T11:30:47,589 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T11:30:47,592 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T11:30:47,593 running egg_info 2023-05-19T11:30:47,651 writing certora_cli_alpha_jtoman_source_copy_refactor.egg-info/PKG-INFO 2023-05-19T11:30:47,652 writing dependency_links to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/dependency_links.txt 2023-05-19T11:30:47,654 writing entry points to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/entry_points.txt 2023-05-19T11:30:47,656 writing requirements to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/requires.txt 2023-05-19T11:30:47,657 writing top-level names to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/top_level.txt 2023-05-19T11:30:47,687 reading manifest file 'certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-19T11:30:47,689 reading manifest template 'MANIFEST.in' 2023-05-19T11:30:47,698 adding license file 'LICENSE' 2023-05-19T11:30:47,702 writing manifest file 'certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-19T11:30:47,705 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-19T11:30:47,707 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-19T11:30:47,934 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-19T11:30:48,087 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-19T11:30:48,303 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-19T11:30:48,388 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-19T11:30:48,479 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-19T11:30:48,479 !! 2023-05-19T11:30:48,479 ******************************************************************************** 2023-05-19T11:30:48,479 Please avoid running ``setup.py`` directly. 2023-05-19T11:30:48,479 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-19T11:30:48,479 other standards-based tools. 2023-05-19T11:30:48,480 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-19T11:30:48,480 ******************************************************************************** 2023-05-19T11:30:48,480 !! 2023-05-19T11:30:48,480 self.initialize_options() 2023-05-19T11:30:48,506 installing to build/bdist.linux-armv7l/wheel 2023-05-19T11:30:48,506 running install 2023-05-19T11:30:48,532 running install_lib 2023-05-19T11:30:48,559 creating build/bdist.linux-armv7l 2023-05-19T11:30:48,560 creating build/bdist.linux-armv7l/wheel 2023-05-19T11:30:48,562 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-19T11:30:48,564 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T11:30:48,565 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T11:30:48,568 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T11:30:48,570 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T11:30:48,573 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T11:30:48,576 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-19T11:30:48,578 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-19T11:30:48,580 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-19T11:30:48,583 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,584 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,588 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T11:30:48,589 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T11:30:48,591 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T11:30:48,593 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T11:30:48,596 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T11:30:48,599 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T11:30:48,602 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,604 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,608 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,610 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,613 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,619 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,622 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,625 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,628 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,630 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,634 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,636 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,638 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T11:30:48,640 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:30:48,642 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:30:48,844 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:30:49,056 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:30:49,143 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:30:49,202 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:30:49,361 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:30:49,363 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T11:30:49,365 running install_egg_info 2023-05-19T11:30:49,395 Copying certora_cli_alpha_jtoman_source_copy_refactor.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_jtoman_source_copy_refactor-20230519.10.48.850368-py3.9.egg-info 2023-05-19T11:30:49,406 running install_scripts 2023-05-19T11:30:49,424 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-19T11:30:49,429 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_jtoman_source_copy_refactor-20230519.10.48.850368.dist-info/WHEEL 2023-05-19T11:30:49,431 creating '/tmp/pip-wheel-4jyxhfsf/certora_cli_alpha_jtoman_source_copy_refactor-20230519.10.48.850368-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-19T11:30:49,434 adding 'certora_cli/__init__.py' 2023-05-19T11:30:49,435 adding 'certora_cli/certoraMutate.py' 2023-05-19T11:30:49,437 adding 'certora_cli/certoraRun.py' 2023-05-19T11:30:49,440 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-19T11:30:49,462 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-19T11:30:49,469 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-19T11:30:49,472 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-19T11:30:49,474 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-19T11:30:49,478 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-19T11:30:49,482 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-19T11:30:49,484 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-19T11:30:49,489 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-19T11:30:49,491 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-19T11:30:49,493 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-19T11:30:49,495 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-19T11:30:49,498 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-19T11:30:49,502 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-19T11:30:49,505 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-19T11:30:49,507 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-19T11:30:49,509 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-19T11:30:49,513 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-19T11:30:49,515 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-19T11:30:49,517 adding 'certora_cli/Shared/__init__.py' 2023-05-19T11:30:49,519 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-19T11:30:49,521 adding 'certora_cli/Shared/certoraTester.py' 2023-05-19T11:30:49,528 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-19T11:30:49,531 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-19T11:30:51,215 adding 'certora_jars/MutationTest.jar' 2023-05-19T11:30:52,548 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-19T11:30:54,134 adding 'certora_jars/Typechecker.jar' 2023-05-19T11:30:54,218 adding 'certora_jars/__init__.py' 2023-05-19T11:30:54,956 adding 'certora_jars/gambit-linux' 2023-05-19T11:30:55,618 adding 'certora_jars/gambit-macos' 2023-05-19T11:30:55,645 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230519.10.48.850368.dist-info/LICENSE' 2023-05-19T11:30:55,646 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230519.10.48.850368.dist-info/METADATA' 2023-05-19T11:30:55,647 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230519.10.48.850368.dist-info/WHEEL' 2023-05-19T11:30:55,649 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230519.10.48.850368.dist-info/entry_points.txt' 2023-05-19T11:30:55,650 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230519.10.48.850368.dist-info/top_level.txt' 2023-05-19T11:30:55,651 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230519.10.48.850368.dist-info/RECORD' 2023-05-19T11:30:56,074 removing build/bdist.linux-armv7l/wheel 2023-05-19T11:30:56,189 Building wheel for certora-cli-alpha-jtoman-source-copy-refactor (setup.py): finished with status 'done' 2023-05-19T11:30:56,572 Created wheel for certora-cli-alpha-jtoman-source-copy-refactor: filename=certora_cli_alpha_jtoman_source_copy_refactor-20230519.10.48.850368-py3-none-any.whl size=39016458 sha256=6297946bcc0120f6f7fe1f798490e5a43e3bc992895360cb6a925e2032ef9648 2023-05-19T11:30:56,573 Stored in directory: /tmp/pip-ephem-wheel-cache-9_ov8rua/wheels/45/e2/34/1f9bc132a01c4db7fdb9084ccf6d2e2186b99065ccbf47d962 2023-05-19T11:30:56,597 Successfully built certora-cli-alpha-jtoman-source-copy-refactor 2023-05-19T11:30:57,538 Removed build tracker: '/tmp/pip-build-tracker-ei1dozmn'