2023-05-14T16:01:41,808 Created temporary directory: /tmp/pip-build-tracker-1mdjcw8n 2023-05-14T16:01:41,810 Initialized build tracking at /tmp/pip-build-tracker-1mdjcw8n 2023-05-14T16:01:41,810 Created build tracker: /tmp/pip-build-tracker-1mdjcw8n 2023-05-14T16:01:41,810 Entered build tracker: /tmp/pip-build-tracker-1mdjcw8n 2023-05-14T16:01:41,811 Created temporary directory: /tmp/pip-wheel-a0tnfvbz 2023-05-14T16:01:41,814 Created temporary directory: /tmp/pip-ephem-wheel-cache-xa8g4xuz 2023-05-14T16:01:41,839 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T16:01:41,843 2 location(s) to search for versions of certora-cli-alpha-yoav-faster-signextend: 2023-05-14T16:01:41,843 * https://pypi.org/simple/certora-cli-alpha-yoav-faster-signextend/ 2023-05-14T16:01:41,843 * https://www.piwheels.org/simple/certora-cli-alpha-yoav-faster-signextend/ 2023-05-14T16:01:41,844 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-yoav-faster-signextend/ 2023-05-14T16:01:41,844 Getting page https://pypi.org/simple/certora-cli-alpha-yoav-faster-signextend/ 2023-05-14T16:01:41,846 Found index url https://pypi.org/simple/ 2023-05-14T16:01:41,904 Fetched page https://pypi.org/simple/certora-cli-alpha-yoav-faster-signextend/ as application/vnd.pypi.simple.v1+json 2023-05-14T16:01:41,906 Found link https://files.pythonhosted.org/packages/47/96/994a587faa901675e9265f2b50ee1369c04419acc9e64cabaa151f7bda0c/certora-cli-alpha-yoav-faster_signExtend-20230511.15.17.306480.tar.gz (from https://pypi.org/simple/certora-cli-alpha-yoav-faster-signextend/) (requires-python:>=3.8.16), version: 20230511.15.17.306480 2023-05-14T16:01:41,906 Skipping link: No binaries permitted for certora-cli-alpha-yoav-faster-signextend: https://files.pythonhosted.org/packages/67/58/3ecfc58b7f34bc3e795f717416b9a609d3d30000c42139227482ccaa5fe1/certora_cli_alpha_yoav_faster_signExtend-20230511.15.17.306480-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-yoav-faster-signextend/) (requires-python:>=3.8.16) 2023-05-14T16:01:41,906 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-yoav-faster-signextend/ 2023-05-14T16:01:41,907 Getting page https://www.piwheels.org/simple/certora-cli-alpha-yoav-faster-signextend/ 2023-05-14T16:01:41,908 Found index url https://www.piwheels.org/simple/ 2023-05-14T16:01:42,067 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-yoav-faster-signextend/ as text/html 2023-05-14T16:01:42,068 Skipping link: No binaries permitted for certora-cli-alpha-yoav-faster-signextend: https://www.piwheels.org/simple/certora-cli-alpha-yoav-faster-signextend/certora_cli_alpha_yoav_faster_signExtend-20230511.15.17.306480-py3-none-any.whl#sha256=4d748b9f2f0585bc38e726e809fd113697a9a2193ba5df907e1fb6a2d2a228c8 (from https://www.piwheels.org/simple/certora-cli-alpha-yoav-faster-signextend/) (requires-python:>=3.8.16) 2023-05-14T16:01:42,069 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-yoav-faster-signextend/ 2023-05-14T16:01:42,069 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-yoav-faster-signextend/ 2023-05-14T16:01:42,086 Given no hashes to check 1 links for project 'certora-cli-alpha-yoav-faster-signextend': discarding no candidates 2023-05-14T16:01:42,102 Collecting certora-cli-alpha-yoav-faster-signextend==20230511.15.17.306480 2023-05-14T16:01:42,104 Created temporary directory: /tmp/pip-unpack-287daqce 2023-05-14T16:01:42,150 Downloading certora-cli-alpha-yoav-faster_signExtend-20230511.15.17.306480.tar.gz (39.4 MB) 2023-05-14T16:01:46,756 Added certora-cli-alpha-yoav-faster-signextend==20230511.15.17.306480 from https://files.pythonhosted.org/packages/47/96/994a587faa901675e9265f2b50ee1369c04419acc9e64cabaa151f7bda0c/certora-cli-alpha-yoav-faster_signExtend-20230511.15.17.306480.tar.gz to build tracker '/tmp/pip-build-tracker-1mdjcw8n' 2023-05-14T16:01:46,758 Running setup.py (path:/tmp/pip-wheel-a0tnfvbz/certora-cli-alpha-yoav-faster-signextend_86961e21fce04d56920326fbb46e9b6b/setup.py) egg_info for package certora-cli-alpha-yoav-faster-signextend 2023-05-14T16:01:46,759 Created temporary directory: /tmp/pip-pip-egg-info-an8s5wec 2023-05-14T16:01:46,760 Preparing metadata (setup.py): started 2023-05-14T16:01:46,761 Running command python setup.py egg_info 2023-05-14T16:01:47,390 running egg_info 2023-05-14T16:01:47,392 creating /tmp/pip-pip-egg-info-an8s5wec/certora_cli_alpha_yoav_faster_signExtend.egg-info 2023-05-14T16:01:47,417 writing /tmp/pip-pip-egg-info-an8s5wec/certora_cli_alpha_yoav_faster_signExtend.egg-info/PKG-INFO 2023-05-14T16:01:47,419 writing dependency_links to /tmp/pip-pip-egg-info-an8s5wec/certora_cli_alpha_yoav_faster_signExtend.egg-info/dependency_links.txt 2023-05-14T16:01:47,421 writing entry points to /tmp/pip-pip-egg-info-an8s5wec/certora_cli_alpha_yoav_faster_signExtend.egg-info/entry_points.txt 2023-05-14T16:01:47,423 writing requirements to /tmp/pip-pip-egg-info-an8s5wec/certora_cli_alpha_yoav_faster_signExtend.egg-info/requires.txt 2023-05-14T16:01:47,424 writing top-level names to /tmp/pip-pip-egg-info-an8s5wec/certora_cli_alpha_yoav_faster_signExtend.egg-info/top_level.txt 2023-05-14T16:01:47,425 writing manifest file '/tmp/pip-pip-egg-info-an8s5wec/certora_cli_alpha_yoav_faster_signExtend.egg-info/SOURCES.txt' 2023-05-14T16:01:47,508 reading manifest file '/tmp/pip-pip-egg-info-an8s5wec/certora_cli_alpha_yoav_faster_signExtend.egg-info/SOURCES.txt' 2023-05-14T16:01:47,510 reading manifest template 'MANIFEST.in' 2023-05-14T16:01:47,520 adding license file 'LICENSE' 2023-05-14T16:01:47,524 writing manifest file '/tmp/pip-pip-egg-info-an8s5wec/certora_cli_alpha_yoav_faster_signExtend.egg-info/SOURCES.txt' 2023-05-14T16:01:47,583 Preparing metadata (setup.py): finished with status 'done' 2023-05-14T16:01:47,589 Source in /tmp/pip-wheel-a0tnfvbz/certora-cli-alpha-yoav-faster-signextend_86961e21fce04d56920326fbb46e9b6b has version 20230511.15.17.306480, which satisfies requirement certora-cli-alpha-yoav-faster-signextend==20230511.15.17.306480 from https://files.pythonhosted.org/packages/47/96/994a587faa901675e9265f2b50ee1369c04419acc9e64cabaa151f7bda0c/certora-cli-alpha-yoav-faster_signExtend-20230511.15.17.306480.tar.gz 2023-05-14T16:01:47,590 Removed certora-cli-alpha-yoav-faster-signextend==20230511.15.17.306480 from https://files.pythonhosted.org/packages/47/96/994a587faa901675e9265f2b50ee1369c04419acc9e64cabaa151f7bda0c/certora-cli-alpha-yoav-faster_signExtend-20230511.15.17.306480.tar.gz from build tracker '/tmp/pip-build-tracker-1mdjcw8n' 2023-05-14T16:01:47,597 Created temporary directory: /tmp/pip-unpack-91plom3w 2023-05-14T16:01:47,597 Building wheels for collected packages: certora-cli-alpha-yoav-faster-signextend 2023-05-14T16:01:47,602 Created temporary directory: /tmp/pip-wheel-4145qt9x 2023-05-14T16:01:47,602 Building wheel for certora-cli-alpha-yoav-faster-signextend (setup.py): started 2023-05-14T16:01:47,604 Destination directory: /tmp/pip-wheel-4145qt9x 2023-05-14T16:01:47,604 Running command python setup.py bdist_wheel 2023-05-14T16:01:48,418 running bdist_wheel 2023-05-14T16:01:48,703 running build 2023-05-14T16:01:48,704 running build_py 2023-05-14T16:01:48,732 creating build 2023-05-14T16:01:48,732 creating build/lib 2023-05-14T16:01:48,733 creating build/lib/certora_cli 2023-05-14T16:01:48,734 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-14T16:01:48,736 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-14T16:01:48,738 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-14T16:01:48,741 creating build/lib/certora_jars 2023-05-14T16:01:48,742 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-14T16:01:48,744 creating build/lib/certora_cli/Shared 2023-05-14T16:01:48,745 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-14T16:01:48,747 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-14T16:01:48,750 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-14T16:01:48,752 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-14T16:01:48,756 creating build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,757 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,759 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,761 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,763 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,765 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,768 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,770 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,773 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,776 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,779 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,785 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,789 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,791 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,794 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:01:48,797 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T16:01:48,799 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T16:01:48,801 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T16:01:48,804 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T16:01:48,806 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T16:01:48,809 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T16:01:48,812 running egg_info 2023-05-14T16:01:48,871 writing certora_cli_alpha_yoav_faster_signExtend.egg-info/PKG-INFO 2023-05-14T16:01:48,874 writing dependency_links to certora_cli_alpha_yoav_faster_signExtend.egg-info/dependency_links.txt 2023-05-14T16:01:48,876 writing entry points to certora_cli_alpha_yoav_faster_signExtend.egg-info/entry_points.txt 2023-05-14T16:01:48,878 writing requirements to certora_cli_alpha_yoav_faster_signExtend.egg-info/requires.txt 2023-05-14T16:01:48,880 writing top-level names to certora_cli_alpha_yoav_faster_signExtend.egg-info/top_level.txt 2023-05-14T16:01:48,926 reading manifest file 'certora_cli_alpha_yoav_faster_signExtend.egg-info/SOURCES.txt' 2023-05-14T16:01:48,931 reading manifest template 'MANIFEST.in' 2023-05-14T16:01:48,945 adding license file 'LICENSE' 2023-05-14T16:01:48,953 writing manifest file 'certora_cli_alpha_yoav_faster_signExtend.egg-info/SOURCES.txt' 2023-05-14T16:01:48,958 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-14T16:01:48,962 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-14T16:01:49,214 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-14T16:01:49,401 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-14T16:01:49,625 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-14T16:01:49,759 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-14T16:01:49,881 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-14T16:01:49,881 !! 2023-05-14T16:01:49,881 ******************************************************************************** 2023-05-14T16:01:49,881 Please avoid running ``setup.py`` directly. 2023-05-14T16:01:49,882 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-14T16:01:49,882 other standards-based tools. 2023-05-14T16:01:49,882 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-14T16:01:49,882 ******************************************************************************** 2023-05-14T16:01:49,882 !! 2023-05-14T16:01:49,883 self.initialize_options() 2023-05-14T16:01:49,907 installing to build/bdist.linux-aarch64/wheel 2023-05-14T16:01:49,907 running install 2023-05-14T16:01:49,932 running install_lib 2023-05-14T16:01:49,962 creating build/bdist.linux-aarch64 2023-05-14T16:01:49,962 creating build/bdist.linux-aarch64/wheel 2023-05-14T16:01:49,964 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T16:01:49,965 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T16:01:49,966 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T16:01:49,968 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T16:01:49,972 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T16:01:49,974 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T16:01:49,978 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:49,978 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:49,980 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:49,983 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:49,985 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:49,987 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T16:01:49,988 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T16:01:49,990 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T16:01:49,993 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T16:01:49,995 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T16:01:49,997 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T16:01:50,000 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:50,003 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:50,006 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:50,010 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:50,012 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:50,016 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:50,024 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:50,028 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:50,030 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:50,032 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:01:50,035 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T16:01:50,036 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T16:01:50,038 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T16:01:50,041 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:01:50,042 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:01:50,044 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:01:50,260 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:01:50,263 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:01:50,466 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:01:50,564 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:01:50,701 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:01:50,970 running install_egg_info 2023-05-14T16:01:51,001 Copying certora_cli_alpha_yoav_faster_signExtend.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_yoav_faster_signExtend-20230511.15.17.306480-py3.9.egg-info 2023-05-14T16:01:51,016 running install_scripts 2023-05-14T16:01:51,036 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-14T16:01:51,042 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_yoav_faster_signExtend-20230511.15.17.306480.dist-info/WHEEL 2023-05-14T16:01:51,045 creating '/tmp/pip-wheel-4145qt9x/certora_cli_alpha_yoav_faster_signExtend-20230511.15.17.306480-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-14T16:01:51,048 adding 'certora_cli/__init__.py' 2023-05-14T16:01:51,050 adding 'certora_cli/certoraMutate.py' 2023-05-14T16:01:51,052 adding 'certora_cli/certoraRun.py' 2023-05-14T16:01:51,055 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-14T16:01:51,077 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-14T16:01:51,085 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-14T16:01:51,088 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-14T16:01:51,091 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-14T16:01:51,096 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-14T16:01:51,100 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-14T16:01:51,102 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-14T16:01:51,108 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-14T16:01:51,110 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-14T16:01:51,113 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-14T16:01:51,115 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-14T16:01:51,118 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-14T16:01:51,123 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-14T16:01:51,126 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-14T16:01:51,128 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-14T16:01:51,130 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-14T16:01:51,135 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-14T16:01:51,137 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-14T16:01:51,140 adding 'certora_cli/Shared/__init__.py' 2023-05-14T16:01:51,143 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-14T16:01:51,145 adding 'certora_cli/Shared/certoraTester.py' 2023-05-14T16:01:51,152 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-14T16:01:51,156 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-14T16:01:52,800 adding 'certora_jars/MutationTest.jar' 2023-05-14T16:01:54,116 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-14T16:01:55,669 adding 'certora_jars/Typechecker.jar' 2023-05-14T16:01:55,752 adding 'certora_jars/__init__.py' 2023-05-14T16:01:56,609 adding 'certora_jars/gambit-linux' 2023-05-14T16:01:57,470 adding 'certora_jars/gambit-macos' 2023-05-14T16:01:57,506 adding 'certora_cli_alpha_yoav_faster_signExtend-20230511.15.17.306480.dist-info/LICENSE' 2023-05-14T16:01:57,507 adding 'certora_cli_alpha_yoav_faster_signExtend-20230511.15.17.306480.dist-info/METADATA' 2023-05-14T16:01:57,508 adding 'certora_cli_alpha_yoav_faster_signExtend-20230511.15.17.306480.dist-info/WHEEL' 2023-05-14T16:01:57,509 adding 'certora_cli_alpha_yoav_faster_signExtend-20230511.15.17.306480.dist-info/entry_points.txt' 2023-05-14T16:01:57,510 adding 'certora_cli_alpha_yoav_faster_signExtend-20230511.15.17.306480.dist-info/top_level.txt' 2023-05-14T16:01:57,511 adding 'certora_cli_alpha_yoav_faster_signExtend-20230511.15.17.306480.dist-info/RECORD' 2023-05-14T16:01:57,985 removing build/bdist.linux-aarch64/wheel 2023-05-14T16:01:58,113 Building wheel for certora-cli-alpha-yoav-faster-signextend (setup.py): finished with status 'done' 2023-05-14T16:01:58,447 Created wheel for certora-cli-alpha-yoav-faster-signextend: filename=certora_cli_alpha_yoav_faster_signExtend-20230511.15.17.306480-py3-none-any.whl size=39462936 sha256=8d0ff689ac04910bcf1c74cf721edfa034e8f26c26e9ca2724e25ec0c6d15ad6 2023-05-14T16:01:58,448 Stored in directory: /tmp/pip-ephem-wheel-cache-xa8g4xuz/wheels/11/73/75/de1d4ddd27aaac8721a64260e5c05d83d21e6554367cdf5442 2023-05-14T16:01:58,479 Successfully built certora-cli-alpha-yoav-faster-signextend 2023-05-14T16:01:59,489 Removed build tracker: '/tmp/pip-build-tracker-1mdjcw8n'