2023-05-19T14:07:04,794 Created temporary directory: /tmp/pip-build-tracker-ku9k9p1l 2023-05-19T14:07:04,795 Initialized build tracking at /tmp/pip-build-tracker-ku9k9p1l 2023-05-19T14:07:04,795 Created build tracker: /tmp/pip-build-tracker-ku9k9p1l 2023-05-19T14:07:04,795 Entered build tracker: /tmp/pip-build-tracker-ku9k9p1l 2023-05-19T14:07:04,796 Created temporary directory: /tmp/pip-wheel-f04rimbq 2023-05-19T14:07:04,800 Created temporary directory: /tmp/pip-ephem-wheel-cache-iije8h45 2023-05-19T14:07:04,826 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-19T14:07:04,830 2 location(s) to search for versions of certora-cli-alpha-jtoman-source-copy-refactor: 2023-05-19T14:07:04,830 * https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T14:07:04,830 * https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T14:07:04,830 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T14:07:04,831 Getting page https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T14:07:04,833 Found index url https://pypi.org/simple/ 2023-05-19T14:07:04,882 Fetched page https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ as application/vnd.pypi.simple.v1+json 2023-05-19T14:07:04,885 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-19T14:07:04,885 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-19T14:07:04,886 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-19T14:07:04,886 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-19T14:07:04,886 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-19T14:07:04,887 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-19T14:07:04,887 Found link https://files.pythonhosted.org/packages/f1/27/5494197ccc55f02cf658a1ec055868d35fa23fe7d60118908e8d50fabd78/certora-cli-alpha-jtoman-source-copy-refactor-20230519.13.16.447304.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8), version: 20230519.13.16.447304 2023-05-19T14:07:04,888 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-source-copy-refactor: https://files.pythonhosted.org/packages/e2/17/f0435dbab3ea44ed66f9016e4258899aa7b247254fba99e94ea50af47859/certora_cli_alpha_jtoman_source_copy_refactor-20230519.13.16.447304-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8) 2023-05-19T14:07:04,888 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T14:07:04,888 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T14:07:04,889 Found index url https://www.piwheels.org/simple/ 2023-05-19T14:07:05,125 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ as text/html 2023-05-19T14:07:05,127 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-20230519.10.48.850368-py3-none-any.whl#sha256=6297946bcc0120f6f7fe1f798490e5a43e3bc992895360cb6a925e2032ef9648 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8) 2023-05-19T14:07:05,127 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-19T14:07:05,127 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-19T14:07:05,127 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T14:07:05,128 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-19T14:07:05,145 Given no hashes to check 1 links for project 'certora-cli-alpha-jtoman-source-copy-refactor': discarding no candidates 2023-05-19T14:07:05,162 Collecting certora-cli-alpha-jtoman-source-copy-refactor==20230519.13.16.447304 2023-05-19T14:07:05,164 Created temporary directory: /tmp/pip-unpack-es1w2d41 2023-05-19T14:07:05,291 Downloading certora-cli-alpha-jtoman-source-copy-refactor-20230519.13.16.447304.tar.gz (39.0 MB) 2023-05-19T14:07:14,565 Added certora-cli-alpha-jtoman-source-copy-refactor==20230519.13.16.447304 from https://files.pythonhosted.org/packages/f1/27/5494197ccc55f02cf658a1ec055868d35fa23fe7d60118908e8d50fabd78/certora-cli-alpha-jtoman-source-copy-refactor-20230519.13.16.447304.tar.gz to build tracker '/tmp/pip-build-tracker-ku9k9p1l' 2023-05-19T14:07:14,567 Running setup.py (path:/tmp/pip-wheel-f04rimbq/certora-cli-alpha-jtoman-source-copy-refactor_9f1f38f3a1c54dba8c6a535af76ff544/setup.py) egg_info for package certora-cli-alpha-jtoman-source-copy-refactor 2023-05-19T14:07:14,568 Created temporary directory: /tmp/pip-pip-egg-info-bdphczdm 2023-05-19T14:07:14,568 Preparing metadata (setup.py): started 2023-05-19T14:07:14,569 Running command python setup.py egg_info 2023-05-19T14:07:15,198 running egg_info 2023-05-19T14:07:15,199 creating /tmp/pip-pip-egg-info-bdphczdm/certora_cli_alpha_jtoman_source_copy_refactor.egg-info 2023-05-19T14:07:15,224 writing /tmp/pip-pip-egg-info-bdphczdm/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/PKG-INFO 2023-05-19T14:07:15,226 writing dependency_links to /tmp/pip-pip-egg-info-bdphczdm/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/dependency_links.txt 2023-05-19T14:07:15,228 writing entry points to /tmp/pip-pip-egg-info-bdphczdm/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/entry_points.txt 2023-05-19T14:07:15,229 writing requirements to /tmp/pip-pip-egg-info-bdphczdm/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/requires.txt 2023-05-19T14:07:15,230 writing top-level names to /tmp/pip-pip-egg-info-bdphczdm/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/top_level.txt 2023-05-19T14:07:15,232 writing manifest file '/tmp/pip-pip-egg-info-bdphczdm/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-19T14:07:15,315 reading manifest file '/tmp/pip-pip-egg-info-bdphczdm/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-19T14:07:15,316 reading manifest template 'MANIFEST.in' 2023-05-19T14:07:15,326 adding license file 'LICENSE' 2023-05-19T14:07:15,330 writing manifest file '/tmp/pip-pip-egg-info-bdphczdm/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-19T14:07:15,389 Preparing metadata (setup.py): finished with status 'done' 2023-05-19T14:07:15,394 Source in /tmp/pip-wheel-f04rimbq/certora-cli-alpha-jtoman-source-copy-refactor_9f1f38f3a1c54dba8c6a535af76ff544 has version 20230519.13.16.447304, which satisfies requirement certora-cli-alpha-jtoman-source-copy-refactor==20230519.13.16.447304 from https://files.pythonhosted.org/packages/f1/27/5494197ccc55f02cf658a1ec055868d35fa23fe7d60118908e8d50fabd78/certora-cli-alpha-jtoman-source-copy-refactor-20230519.13.16.447304.tar.gz 2023-05-19T14:07:15,395 Removed certora-cli-alpha-jtoman-source-copy-refactor==20230519.13.16.447304 from https://files.pythonhosted.org/packages/f1/27/5494197ccc55f02cf658a1ec055868d35fa23fe7d60118908e8d50fabd78/certora-cli-alpha-jtoman-source-copy-refactor-20230519.13.16.447304.tar.gz from build tracker '/tmp/pip-build-tracker-ku9k9p1l' 2023-05-19T14:07:15,401 Created temporary directory: /tmp/pip-unpack-zpry8xk8 2023-05-19T14:07:15,402 Building wheels for collected packages: certora-cli-alpha-jtoman-source-copy-refactor 2023-05-19T14:07:15,406 Created temporary directory: /tmp/pip-wheel-4cp0g9sx 2023-05-19T14:07:15,406 Building wheel for certora-cli-alpha-jtoman-source-copy-refactor (setup.py): started 2023-05-19T14:07:15,407 Destination directory: /tmp/pip-wheel-4cp0g9sx 2023-05-19T14:07:15,407 Running command python setup.py bdist_wheel 2023-05-19T14:07:16,217 running bdist_wheel 2023-05-19T14:07:16,500 running build 2023-05-19T14:07:16,500 running build_py 2023-05-19T14:07:16,528 creating build 2023-05-19T14:07:16,529 creating build/lib 2023-05-19T14:07:16,530 creating build/lib/certora_jars 2023-05-19T14:07:16,531 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-19T14:07:16,533 creating build/lib/certora_cli 2023-05-19T14:07:16,534 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-19T14:07:16,535 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-19T14:07:16,537 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-19T14:07:16,540 creating build/lib/certora_cli/Shared 2023-05-19T14:07:16,541 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-19T14:07:16,544 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-19T14:07:16,547 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-19T14:07:16,549 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-19T14:07:16,552 creating build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,553 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,555 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,558 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,560 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,562 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,564 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,567 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,569 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,572 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,577 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,580 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,582 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,585 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,587 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-19T14:07:16,591 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T14:07:16,592 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T14:07:16,594 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T14:07:16,596 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T14:07:16,598 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T14:07:16,600 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-19T14:07:16,603 running egg_info 2023-05-19T14:07:16,664 writing certora_cli_alpha_jtoman_source_copy_refactor.egg-info/PKG-INFO 2023-05-19T14:07:16,666 writing dependency_links to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/dependency_links.txt 2023-05-19T14:07:16,668 writing entry points to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/entry_points.txt 2023-05-19T14:07:16,669 writing requirements to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/requires.txt 2023-05-19T14:07:16,671 writing top-level names to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/top_level.txt 2023-05-19T14:07:16,702 reading manifest file 'certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-19T14:07:16,705 reading manifest template 'MANIFEST.in' 2023-05-19T14:07:16,713 adding license file 'LICENSE' 2023-05-19T14:07:16,718 writing manifest file 'certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-19T14:07:16,721 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-19T14:07:16,723 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-19T14:07:16,936 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-19T14:07:17,100 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-19T14:07:17,320 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-19T14:07:17,414 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-19T14:07:17,509 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-19T14:07:17,509 !! 2023-05-19T14:07:17,509 ******************************************************************************** 2023-05-19T14:07:17,509 Please avoid running ``setup.py`` directly. 2023-05-19T14:07:17,509 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-19T14:07:17,510 other standards-based tools. 2023-05-19T14:07:17,510 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-19T14:07:17,510 ******************************************************************************** 2023-05-19T14:07:17,510 !! 2023-05-19T14:07:17,510 self.initialize_options() 2023-05-19T14:07:17,534 installing to build/bdist.linux-armv7l/wheel 2023-05-19T14:07:17,535 running install 2023-05-19T14:07:17,560 running install_lib 2023-05-19T14:07:17,585 creating build/bdist.linux-armv7l 2023-05-19T14:07:17,586 creating build/bdist.linux-armv7l/wheel 2023-05-19T14:07:17,587 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T14:07:17,588 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T14:07:17,857 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T14:07:18,197 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T14:07:18,201 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T14:07:18,387 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T14:07:18,389 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T14:07:18,465 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-19T14:07:18,583 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-19T14:07:18,585 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-19T14:07:18,586 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-19T14:07:18,589 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T14:07:18,590 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T14:07:18,594 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T14:07:18,596 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T14:07:18,599 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-19T14:07:18,602 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,603 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,605 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,609 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T14:07:18,610 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T14:07:18,613 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T14:07:18,615 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T14:07:18,617 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T14:07:18,620 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-19T14:07:18,623 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,626 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,629 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,631 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,635 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,636 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,639 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,645 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,648 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,650 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,653 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,655 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-19T14:07:18,658 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-19T14:07:18,660 running install_egg_info 2023-05-19T14:07:18,690 Copying certora_cli_alpha_jtoman_source_copy_refactor.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_jtoman_source_copy_refactor-20230519.13.16.447304-py3.9.egg-info 2023-05-19T14:07:18,702 running install_scripts 2023-05-19T14:07:18,719 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-19T14:07:18,724 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_jtoman_source_copy_refactor-20230519.13.16.447304.dist-info/WHEEL 2023-05-19T14:07:18,726 creating '/tmp/pip-wheel-4cp0g9sx/certora_cli_alpha_jtoman_source_copy_refactor-20230519.13.16.447304-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-19T14:07:18,728 adding 'certora_cli/__init__.py' 2023-05-19T14:07:18,730 adding 'certora_cli/certoraMutate.py' 2023-05-19T14:07:18,732 adding 'certora_cli/certoraRun.py' 2023-05-19T14:07:18,734 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-19T14:07:18,756 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-19T14:07:18,763 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-19T14:07:18,765 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-19T14:07:18,767 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-19T14:07:18,771 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-19T14:07:18,775 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-19T14:07:18,776 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-19T14:07:18,782 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-19T14:07:18,783 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-19T14:07:18,785 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-19T14:07:18,787 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-19T14:07:18,790 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-19T14:07:18,793 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-19T14:07:18,796 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-19T14:07:18,797 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-19T14:07:18,799 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-19T14:07:18,803 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-19T14:07:18,805 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-19T14:07:18,806 adding 'certora_cli/Shared/__init__.py' 2023-05-19T14:07:18,808 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-19T14:07:18,810 adding 'certora_cli/Shared/certoraTester.py' 2023-05-19T14:07:18,817 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-19T14:07:18,820 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-19T14:07:20,513 adding 'certora_jars/MutationTest.jar' 2023-05-19T14:07:21,852 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-19T14:07:23,448 adding 'certora_jars/Typechecker.jar' 2023-05-19T14:07:23,531 adding 'certora_jars/__init__.py' 2023-05-19T14:07:24,266 adding 'certora_jars/gambit-linux' 2023-05-19T14:07:24,925 adding 'certora_jars/gambit-macos' 2023-05-19T14:07:24,951 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230519.13.16.447304.dist-info/LICENSE' 2023-05-19T14:07:24,952 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230519.13.16.447304.dist-info/METADATA' 2023-05-19T14:07:24,953 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230519.13.16.447304.dist-info/WHEEL' 2023-05-19T14:07:24,954 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230519.13.16.447304.dist-info/entry_points.txt' 2023-05-19T14:07:24,955 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230519.13.16.447304.dist-info/top_level.txt' 2023-05-19T14:07:24,956 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230519.13.16.447304.dist-info/RECORD' 2023-05-19T14:07:25,374 removing build/bdist.linux-armv7l/wheel 2023-05-19T14:07:25,491 Building wheel for certora-cli-alpha-jtoman-source-copy-refactor (setup.py): finished with status 'done' 2023-05-19T14:07:25,875 Created wheel for certora-cli-alpha-jtoman-source-copy-refactor: filename=certora_cli_alpha_jtoman_source_copy_refactor-20230519.13.16.447304-py3-none-any.whl size=39016460 sha256=df3ded1bfa541f0c65cc3a0276b23006e3f522ef548324c5e2d665e06cb56f23 2023-05-19T14:07:25,876 Stored in directory: /tmp/pip-ephem-wheel-cache-iije8h45/wheels/e4/13/76/01ca80574002ac8c03ae46240dde81d2f5c9bf0c5d0d2e04aa 2023-05-19T14:07:25,900 Successfully built certora-cli-alpha-jtoman-source-copy-refactor 2023-05-19T14:07:26,782 Removed build tracker: '/tmp/pip-build-tracker-ku9k9p1l'