2023-05-21T13:09:34,650 Created temporary directory: /tmp/pip-build-tracker-8a0lgvm4 2023-05-21T13:09:34,651 Initialized build tracking at /tmp/pip-build-tracker-8a0lgvm4 2023-05-21T13:09:34,651 Created build tracker: /tmp/pip-build-tracker-8a0lgvm4 2023-05-21T13:09:34,652 Entered build tracker: /tmp/pip-build-tracker-8a0lgvm4 2023-05-21T13:09:34,652 Created temporary directory: /tmp/pip-wheel-hmvvm1nc 2023-05-21T13:09:34,656 Created temporary directory: /tmp/pip-ephem-wheel-cache-_lyvplgd 2023-05-21T13:09:34,682 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-21T13:09:34,686 2 location(s) to search for versions of certora-cli-alpha-jtoman-source-copy-refactor: 2023-05-21T13:09:34,686 * https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-21T13:09:34,686 * https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-21T13:09:34,686 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-21T13:09:34,687 Getting page https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-21T13:09:34,688 Found index url https://pypi.org/simple/ 2023-05-21T13:09:34,738 Fetched page https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ as application/vnd.pypi.simple.v1+json 2023-05-21T13:09:34,741 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-21T13:09:34,741 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-21T13:09:34,742 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-21T13:09:34,742 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-21T13:09:34,743 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-21T13:09:34,743 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-21T13:09:34,743 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-21T13:09:34,744 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-21T13:09:34,744 Found link https://files.pythonhosted.org/packages/ed/a6/5eeae940d12a85f2cc26dd21ad5b4007df67f5150510b086201a838a4673/certora-cli-alpha-jtoman-source-copy-refactor-20230521.12.47.845196.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8), version: 20230521.12.47.845196 2023-05-21T13:09:34,745 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-source-copy-refactor: https://files.pythonhosted.org/packages/33/eb/2e45bc6f1abcfe81d3cfbba011aafd0134f7888952dffe05ef2d884cb4cc/certora_cli_alpha_jtoman_source_copy_refactor-20230521.12.47.845196-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8) 2023-05-21T13:09:34,745 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-21T13:09:34,745 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-21T13:09:34,746 Found index url https://www.piwheels.org/simple/ 2023-05-21T13:09:34,913 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ as text/html 2023-05-21T13:09:34,915 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.13.16.447304-py3-none-any.whl#sha256=df3ded1bfa541f0c65cc3a0276b23006e3f522ef548324c5e2d665e06cb56f23 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8) 2023-05-21T13:09:34,916 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-21T13:09:34,916 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-21T13:09:34,916 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-21T13:09:34,916 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-21T13:09:34,916 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ 2023-05-21T13:09:34,936 Given no hashes to check 1 links for project 'certora-cli-alpha-jtoman-source-copy-refactor': discarding no candidates 2023-05-21T13:09:34,953 Collecting certora-cli-alpha-jtoman-source-copy-refactor==20230521.12.47.845196 2023-05-21T13:09:34,955 Created temporary directory: /tmp/pip-unpack-as6w4t2k 2023-05-21T13:09:35,258 Downloading certora-cli-alpha-jtoman-source-copy-refactor-20230521.12.47.845196.tar.gz (39.0 MB) 2023-05-21T13:09:44,394 Added certora-cli-alpha-jtoman-source-copy-refactor==20230521.12.47.845196 from https://files.pythonhosted.org/packages/ed/a6/5eeae940d12a85f2cc26dd21ad5b4007df67f5150510b086201a838a4673/certora-cli-alpha-jtoman-source-copy-refactor-20230521.12.47.845196.tar.gz to build tracker '/tmp/pip-build-tracker-8a0lgvm4' 2023-05-21T13:09:44,397 Running setup.py (path:/tmp/pip-wheel-hmvvm1nc/certora-cli-alpha-jtoman-source-copy-refactor_b24cb9dcf5b34b6ab8639460073b9d85/setup.py) egg_info for package certora-cli-alpha-jtoman-source-copy-refactor 2023-05-21T13:09:44,397 Created temporary directory: /tmp/pip-pip-egg-info-3nb9kysr 2023-05-21T13:09:44,398 Preparing metadata (setup.py): started 2023-05-21T13:09:44,399 Running command python setup.py egg_info 2023-05-21T13:09:45,000 running egg_info 2023-05-21T13:09:45,002 creating /tmp/pip-pip-egg-info-3nb9kysr/certora_cli_alpha_jtoman_source_copy_refactor.egg-info 2023-05-21T13:09:45,026 writing /tmp/pip-pip-egg-info-3nb9kysr/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/PKG-INFO 2023-05-21T13:09:45,029 writing dependency_links to /tmp/pip-pip-egg-info-3nb9kysr/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/dependency_links.txt 2023-05-21T13:09:45,031 writing entry points to /tmp/pip-pip-egg-info-3nb9kysr/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/entry_points.txt 2023-05-21T13:09:45,032 writing requirements to /tmp/pip-pip-egg-info-3nb9kysr/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/requires.txt 2023-05-21T13:09:45,033 writing top-level names to /tmp/pip-pip-egg-info-3nb9kysr/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/top_level.txt 2023-05-21T13:09:45,035 writing manifest file '/tmp/pip-pip-egg-info-3nb9kysr/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-21T13:09:45,117 reading manifest file '/tmp/pip-pip-egg-info-3nb9kysr/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-21T13:09:45,119 reading manifest template 'MANIFEST.in' 2023-05-21T13:09:45,128 adding license file 'LICENSE' 2023-05-21T13:09:45,131 writing manifest file '/tmp/pip-pip-egg-info-3nb9kysr/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-21T13:09:45,190 Preparing metadata (setup.py): finished with status 'done' 2023-05-21T13:09:45,195 Source in /tmp/pip-wheel-hmvvm1nc/certora-cli-alpha-jtoman-source-copy-refactor_b24cb9dcf5b34b6ab8639460073b9d85 has version 20230521.12.47.845196, which satisfies requirement certora-cli-alpha-jtoman-source-copy-refactor==20230521.12.47.845196 from https://files.pythonhosted.org/packages/ed/a6/5eeae940d12a85f2cc26dd21ad5b4007df67f5150510b086201a838a4673/certora-cli-alpha-jtoman-source-copy-refactor-20230521.12.47.845196.tar.gz 2023-05-21T13:09:45,196 Removed certora-cli-alpha-jtoman-source-copy-refactor==20230521.12.47.845196 from https://files.pythonhosted.org/packages/ed/a6/5eeae940d12a85f2cc26dd21ad5b4007df67f5150510b086201a838a4673/certora-cli-alpha-jtoman-source-copy-refactor-20230521.12.47.845196.tar.gz from build tracker '/tmp/pip-build-tracker-8a0lgvm4' 2023-05-21T13:09:45,203 Created temporary directory: /tmp/pip-unpack-drzhcqb9 2023-05-21T13:09:45,203 Building wheels for collected packages: certora-cli-alpha-jtoman-source-copy-refactor 2023-05-21T13:09:45,207 Created temporary directory: /tmp/pip-wheel-uxd6ep4q 2023-05-21T13:09:45,208 Building wheel for certora-cli-alpha-jtoman-source-copy-refactor (setup.py): started 2023-05-21T13:09:45,209 Destination directory: /tmp/pip-wheel-uxd6ep4q 2023-05-21T13:09:45,209 Running command python setup.py bdist_wheel 2023-05-21T13:09:45,994 running bdist_wheel 2023-05-21T13:09:46,313 running build 2023-05-21T13:09:46,313 running build_py 2023-05-21T13:09:46,341 creating build 2023-05-21T13:09:46,341 creating build/lib 2023-05-21T13:09:46,342 creating build/lib/certora_cli 2023-05-21T13:09:46,343 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-21T13:09:46,345 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-21T13:09:46,346 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-21T13:09:46,349 creating build/lib/certora_jars 2023-05-21T13:09:46,349 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-21T13:09:46,351 creating build/lib/certora_cli/Shared 2023-05-21T13:09:46,352 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-21T13:09:46,355 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-21T13:09:46,356 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-21T13:09:46,358 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-21T13:09:46,362 creating build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,363 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,365 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,367 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,370 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,372 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,374 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,379 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,382 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,384 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,387 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,389 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,392 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,393 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,395 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T13:09:46,397 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-21T13:09:46,398 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-21T13:09:46,400 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-21T13:09:46,401 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-21T13:09:46,404 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-21T13:09:46,406 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-21T13:09:46,408 running egg_info 2023-05-21T13:09:46,465 writing certora_cli_alpha_jtoman_source_copy_refactor.egg-info/PKG-INFO 2023-05-21T13:09:46,467 writing dependency_links to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/dependency_links.txt 2023-05-21T13:09:46,469 writing entry points to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/entry_points.txt 2023-05-21T13:09:46,470 writing requirements to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/requires.txt 2023-05-21T13:09:46,471 writing top-level names to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/top_level.txt 2023-05-21T13:09:46,501 reading manifest file 'certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-21T13:09:46,504 reading manifest template 'MANIFEST.in' 2023-05-21T13:09:46,512 adding license file 'LICENSE' 2023-05-21T13:09:46,516 writing manifest file 'certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt' 2023-05-21T13:09:46,519 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-21T13:09:46,521 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-21T13:09:46,740 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-21T13:09:46,894 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-21T13:09:47,090 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-21T13:09:47,181 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-21T13:09:47,275 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-21T13:09:47,275 !! 2023-05-21T13:09:47,275 ******************************************************************************** 2023-05-21T13:09:47,275 Please avoid running ``setup.py`` directly. 2023-05-21T13:09:47,275 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-21T13:09:47,276 other standards-based tools. 2023-05-21T13:09:47,276 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-21T13:09:47,276 ******************************************************************************** 2023-05-21T13:09:47,276 !! 2023-05-21T13:09:47,276 self.initialize_options() 2023-05-21T13:09:47,302 installing to build/bdist.linux-armv7l/wheel 2023-05-21T13:09:47,302 running install 2023-05-21T13:09:47,328 running install_lib 2023-05-21T13:09:47,354 creating build/bdist.linux-armv7l 2023-05-21T13:09:47,355 creating build/bdist.linux-armv7l/wheel 2023-05-21T13:09:47,357 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-21T13:09:47,359 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-21T13:09:47,360 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-21T13:09:47,363 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-21T13:09:47,366 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-21T13:09:47,368 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-21T13:09:47,372 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-21T13:09:47,374 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-21T13:09:47,376 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-21T13:09:47,379 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,381 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,384 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-21T13:09:47,385 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-21T13:09:47,388 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-21T13:09:47,390 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-21T13:09:47,393 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-21T13:09:47,396 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-21T13:09:47,398 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,400 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,403 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,405 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,408 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,413 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,416 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,418 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,421 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,423 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,426 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,428 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,430 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T13:09:47,432 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T13:09:47,433 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T13:09:47,642 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T13:09:47,832 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T13:09:47,922 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T13:09:47,991 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T13:09:48,151 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T13:09:48,153 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T13:09:48,155 running install_egg_info 2023-05-21T13:09:48,187 Copying certora_cli_alpha_jtoman_source_copy_refactor.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_jtoman_source_copy_refactor-20230521.12.47.845196-py3.9.egg-info 2023-05-21T13:09:48,199 running install_scripts 2023-05-21T13:09:48,216 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-21T13:09:48,221 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_jtoman_source_copy_refactor-20230521.12.47.845196.dist-info/WHEEL 2023-05-21T13:09:48,223 creating '/tmp/pip-wheel-uxd6ep4q/certora_cli_alpha_jtoman_source_copy_refactor-20230521.12.47.845196-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-21T13:09:48,226 adding 'certora_cli/__init__.py' 2023-05-21T13:09:48,227 adding 'certora_cli/certoraMutate.py' 2023-05-21T13:09:48,229 adding 'certora_cli/certoraRun.py' 2023-05-21T13:09:48,231 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-21T13:09:48,253 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-21T13:09:48,260 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-21T13:09:48,262 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-21T13:09:48,263 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-21T13:09:48,268 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-21T13:09:48,271 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-21T13:09:48,273 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-21T13:09:48,278 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-21T13:09:48,280 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-21T13:09:48,282 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-21T13:09:48,283 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-21T13:09:48,286 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-21T13:09:48,290 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-21T13:09:48,292 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-21T13:09:48,294 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-21T13:09:48,296 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-21T13:09:48,300 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-21T13:09:48,302 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-21T13:09:48,303 adding 'certora_cli/Shared/__init__.py' 2023-05-21T13:09:48,305 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-21T13:09:48,307 adding 'certora_cli/Shared/certoraTester.py' 2023-05-21T13:09:48,314 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-21T13:09:48,317 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-21T13:09:50,003 adding 'certora_jars/MutationTest.jar' 2023-05-21T13:09:51,338 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-21T13:09:52,930 adding 'certora_jars/Typechecker.jar' 2023-05-21T13:09:53,013 adding 'certora_jars/__init__.py' 2023-05-21T13:09:53,749 adding 'certora_jars/gambit-linux' 2023-05-21T13:09:54,409 adding 'certora_jars/gambit-macos' 2023-05-21T13:09:54,435 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230521.12.47.845196.dist-info/LICENSE' 2023-05-21T13:09:54,436 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230521.12.47.845196.dist-info/METADATA' 2023-05-21T13:09:54,437 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230521.12.47.845196.dist-info/WHEEL' 2023-05-21T13:09:54,438 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230521.12.47.845196.dist-info/entry_points.txt' 2023-05-21T13:09:54,439 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230521.12.47.845196.dist-info/top_level.txt' 2023-05-21T13:09:54,440 adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230521.12.47.845196.dist-info/RECORD' 2023-05-21T13:09:54,832 removing build/bdist.linux-armv7l/wheel 2023-05-21T13:09:54,947 Building wheel for certora-cli-alpha-jtoman-source-copy-refactor (setup.py): finished with status 'done' 2023-05-21T13:09:55,333 Created wheel for certora-cli-alpha-jtoman-source-copy-refactor: filename=certora_cli_alpha_jtoman_source_copy_refactor-20230521.12.47.845196-py3-none-any.whl size=39016473 sha256=526b253121f5c1370eefba26692a54c1fc42cb63366a86f2db98670bc03e6814 2023-05-21T13:09:55,334 Stored in directory: /tmp/pip-ephem-wheel-cache-_lyvplgd/wheels/55/c5/0c/d7aeb835a9683bc0507342fec46bfbfeb4ccab52dc4dd3b2a4 2023-05-21T13:09:55,358 Successfully built certora-cli-alpha-jtoman-source-copy-refactor 2023-05-21T13:09:56,256 Removed build tracker: '/tmp/pip-build-tracker-8a0lgvm4'