2023-05-15T14:42:06,871 Created temporary directory: /tmp/pip-build-tracker-qnfty965 2023-05-15T14:42:06,872 Initialized build tracking at /tmp/pip-build-tracker-qnfty965 2023-05-15T14:42:06,872 Created build tracker: /tmp/pip-build-tracker-qnfty965 2023-05-15T14:42:06,872 Entered build tracker: /tmp/pip-build-tracker-qnfty965 2023-05-15T14:42:06,873 Created temporary directory: /tmp/pip-wheel-jc5b5eu2 2023-05-15T14:42:06,877 Created temporary directory: /tmp/pip-ephem-wheel-cache-yea30913 2023-05-15T14:42:06,902 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-15T14:42:06,906 2 location(s) to search for versions of certora-cli-alpha-shays-cert-1717-b: 2023-05-15T14:42:06,906 * https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T14:42:06,906 * https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T14:42:06,906 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T14:42:06,907 Getting page https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T14:42:06,908 Found index url https://pypi.org/simple/ 2023-05-15T14:42:06,959 Fetched page https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ as application/vnd.pypi.simple.v1+json 2023-05-15T14:42:06,961 Found link https://files.pythonhosted.org/packages/64/27/7d116b8c58d96e64c8ed1e7756cd9788d4e7439aa77a29484d23b3d4d467/certora-cli-alpha-shays-CERT-1717-b-20230515.8.39.685357.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.8.39.685357 2023-05-15T14:42:06,962 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/03/f2/a0dffa11cc30dc0ef9095f24e9c9e526e91c5cc676211e6a4491d6e9297f/certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-15T14:42:06,963 Found link https://files.pythonhosted.org/packages/4f/7c/94ab6dbfc905458640c42779a415e7341aecf8db900799a785455caaa1ad/certora-cli-alpha-shays-CERT-1717-b-20230515.10.8.581349.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.10.8.581349 2023-05-15T14:42:06,963 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/c4/c8/28da776d9b16080d94f407da5fbe55530cebdb91d337e1ae4714e7a44016/certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-15T14:42:06,963 Found link https://files.pythonhosted.org/packages/d3/13/d0c183a6dad3b1d59efe91f8b27b30e9982057a986642493c0a2fa42f0ea/certora-cli-alpha-shays-CERT-1717-b-20230515.13.51.956104.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.13.51.956104 2023-05-15T14:42:06,964 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/a0/35/c3fd1726ac75e088da1893852418aaaa3d873fd34dd7f18d70e7ad64aa9f/certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-15T14:42:06,964 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T14:42:06,964 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T14:42:06,965 Found index url https://www.piwheels.org/simple/ 2023-05-15T14:42:07,774 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ as text/html 2023-05-15T14:42:07,775 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T14:42:07,775 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T14:42:07,793 Given no hashes to check 1 links for project 'certora-cli-alpha-shays-cert-1717-b': discarding no candidates 2023-05-15T14:42:07,811 Collecting certora-cli-alpha-shays-cert-1717-b==20230515.8.39.685357 2023-05-15T14:42:07,813 Created temporary directory: /tmp/pip-unpack-uj8tbi8z 2023-05-15T14:42:08,126 Downloading certora-cli-alpha-shays-CERT-1717-b-20230515.8.39.685357.tar.gz (39.4 MB) 2023-05-15T14:42:27,420 Added certora-cli-alpha-shays-cert-1717-b==20230515.8.39.685357 from https://files.pythonhosted.org/packages/64/27/7d116b8c58d96e64c8ed1e7756cd9788d4e7439aa77a29484d23b3d4d467/certora-cli-alpha-shays-CERT-1717-b-20230515.8.39.685357.tar.gz to build tracker '/tmp/pip-build-tracker-qnfty965' 2023-05-15T14:42:27,422 Running setup.py (path:/tmp/pip-wheel-jc5b5eu2/certora-cli-alpha-shays-cert-1717-b_8932e99ed6954b1f88dd7c08d062796b/setup.py) egg_info for package certora-cli-alpha-shays-cert-1717-b 2023-05-15T14:42:27,422 Created temporary directory: /tmp/pip-pip-egg-info-8jq4m6it 2023-05-15T14:42:27,423 Preparing metadata (setup.py): started 2023-05-15T14:42:27,424 Running command python setup.py egg_info 2023-05-15T14:42:28,056 running egg_info 2023-05-15T14:42:28,058 creating /tmp/pip-pip-egg-info-8jq4m6it/certora_cli_alpha_shays_CERT_1717_b.egg-info 2023-05-15T14:42:28,088 writing /tmp/pip-pip-egg-info-8jq4m6it/certora_cli_alpha_shays_CERT_1717_b.egg-info/PKG-INFO 2023-05-15T14:42:28,090 writing dependency_links to /tmp/pip-pip-egg-info-8jq4m6it/certora_cli_alpha_shays_CERT_1717_b.egg-info/dependency_links.txt 2023-05-15T14:42:28,093 writing entry points to /tmp/pip-pip-egg-info-8jq4m6it/certora_cli_alpha_shays_CERT_1717_b.egg-info/entry_points.txt 2023-05-15T14:42:28,094 writing requirements to /tmp/pip-pip-egg-info-8jq4m6it/certora_cli_alpha_shays_CERT_1717_b.egg-info/requires.txt 2023-05-15T14:42:28,096 writing top-level names to /tmp/pip-pip-egg-info-8jq4m6it/certora_cli_alpha_shays_CERT_1717_b.egg-info/top_level.txt 2023-05-15T14:42:28,097 writing manifest file '/tmp/pip-pip-egg-info-8jq4m6it/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-15T14:42:28,187 reading manifest file '/tmp/pip-pip-egg-info-8jq4m6it/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-15T14:42:28,189 reading manifest template 'MANIFEST.in' 2023-05-15T14:42:28,199 adding license file 'LICENSE' 2023-05-15T14:42:28,203 writing manifest file '/tmp/pip-pip-egg-info-8jq4m6it/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-15T14:42:28,265 Preparing metadata (setup.py): finished with status 'done' 2023-05-15T14:42:28,271 Source in /tmp/pip-wheel-jc5b5eu2/certora-cli-alpha-shays-cert-1717-b_8932e99ed6954b1f88dd7c08d062796b has version 20230515.8.39.685357, which satisfies requirement certora-cli-alpha-shays-cert-1717-b==20230515.8.39.685357 from https://files.pythonhosted.org/packages/64/27/7d116b8c58d96e64c8ed1e7756cd9788d4e7439aa77a29484d23b3d4d467/certora-cli-alpha-shays-CERT-1717-b-20230515.8.39.685357.tar.gz 2023-05-15T14:42:28,272 Removed certora-cli-alpha-shays-cert-1717-b==20230515.8.39.685357 from https://files.pythonhosted.org/packages/64/27/7d116b8c58d96e64c8ed1e7756cd9788d4e7439aa77a29484d23b3d4d467/certora-cli-alpha-shays-CERT-1717-b-20230515.8.39.685357.tar.gz from build tracker '/tmp/pip-build-tracker-qnfty965' 2023-05-15T14:42:28,279 Created temporary directory: /tmp/pip-unpack-72uqz5of 2023-05-15T14:42:28,279 Building wheels for collected packages: certora-cli-alpha-shays-cert-1717-b 2023-05-15T14:42:28,285 Created temporary directory: /tmp/pip-wheel-3a329pp8 2023-05-15T14:42:28,285 Building wheel for certora-cli-alpha-shays-cert-1717-b (setup.py): started 2023-05-15T14:42:28,286 Destination directory: /tmp/pip-wheel-3a329pp8 2023-05-15T14:42:28,287 Running command python setup.py bdist_wheel 2023-05-15T14:42:28,940 running bdist_wheel 2023-05-15T14:42:29,234 running build 2023-05-15T14:42:29,235 running build_py 2023-05-15T14:42:29,267 creating build 2023-05-15T14:42:29,267 creating build/lib 2023-05-15T14:42:29,268 creating build/lib/certora_jars 2023-05-15T14:42:29,269 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-15T14:42:29,272 creating build/lib/certora_cli 2023-05-15T14:42:29,273 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-15T14:42:29,274 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-15T14:42:29,277 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-15T14:42:29,281 creating build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,282 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,285 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,295 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,298 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,302 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,307 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,311 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,315 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,317 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,319 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,324 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,327 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,329 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,332 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T14:42:29,336 creating build/lib/certora_cli/Shared 2023-05-15T14:42:29,338 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-15T14:42:29,340 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-15T14:42:29,343 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-15T14:42:29,347 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-15T14:42:29,352 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T14:42:29,353 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T14:42:29,356 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T14:42:29,359 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T14:42:29,361 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T14:42:29,364 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T14:42:29,367 running egg_info 2023-05-15T14:42:29,435 writing certora_cli_alpha_shays_CERT_1717_b.egg-info/PKG-INFO 2023-05-15T14:42:29,437 writing dependency_links to certora_cli_alpha_shays_CERT_1717_b.egg-info/dependency_links.txt 2023-05-15T14:42:29,439 writing entry points to certora_cli_alpha_shays_CERT_1717_b.egg-info/entry_points.txt 2023-05-15T14:42:29,441 writing requirements to certora_cli_alpha_shays_CERT_1717_b.egg-info/requires.txt 2023-05-15T14:42:29,442 writing top-level names to certora_cli_alpha_shays_CERT_1717_b.egg-info/top_level.txt 2023-05-15T14:42:29,475 reading manifest file 'certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-15T14:42:29,478 reading manifest template 'MANIFEST.in' 2023-05-15T14:42:29,488 adding license file 'LICENSE' 2023-05-15T14:42:29,493 writing manifest file 'certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-15T14:42:29,496 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-15T14:42:29,499 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-15T14:42:29,706 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-15T14:42:29,875 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-15T14:42:30,052 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-15T14:42:30,166 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-15T14:42:30,292 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-15T14:42:30,292 !! 2023-05-15T14:42:30,293 ******************************************************************************** 2023-05-15T14:42:30,293 Please avoid running ``setup.py`` directly. 2023-05-15T14:42:30,293 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-15T14:42:30,293 other standards-based tools. 2023-05-15T14:42:30,293 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-15T14:42:30,293 ******************************************************************************** 2023-05-15T14:42:30,294 !! 2023-05-15T14:42:30,294 self.initialize_options() 2023-05-15T14:42:30,321 installing to build/bdist.linux-aarch64/wheel 2023-05-15T14:42:30,321 running install 2023-05-15T14:42:30,346 running install_lib 2023-05-15T14:42:30,376 creating build/bdist.linux-aarch64 2023-05-15T14:42:30,376 creating build/bdist.linux-aarch64/wheel 2023-05-15T14:42:30,378 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T14:42:30,380 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T14:42:30,381 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T14:42:30,383 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T14:42:30,565 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T14:42:30,675 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T14:42:30,838 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T14:42:31,128 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T14:42:31,222 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T14:42:31,223 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T14:42:31,225 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T14:42:31,227 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T14:42:31,230 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,231 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,233 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,239 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,241 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,244 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,248 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,251 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,254 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,257 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,260 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T14:42:31,261 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T14:42:31,264 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T14:42:31,267 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T14:42:31,269 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T14:42:31,272 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T14:42:31,276 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,279 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,283 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,285 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,289 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T14:42:31,295 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T14:42:31,297 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T14:42:31,299 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T14:42:31,302 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T14:42:31,307 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T14:42:31,310 running install_egg_info 2023-05-15T14:42:31,344 Copying certora_cli_alpha_shays_CERT_1717_b.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357-py3.9.egg-info 2023-05-15T14:42:31,358 running install_scripts 2023-05-15T14:42:31,380 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357.dist-info/WHEEL 2023-05-15T14:42:31,383 creating '/tmp/pip-wheel-3a329pp8/certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-15T14:42:31,386 adding 'certora_cli/__init__.py' 2023-05-15T14:42:31,388 adding 'certora_cli/certoraMutate.py' 2023-05-15T14:42:31,391 adding 'certora_cli/certoraRun.py' 2023-05-15T14:42:31,394 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-15T14:42:31,416 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-15T14:42:31,423 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-15T14:42:31,425 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-15T14:42:31,427 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-15T14:42:31,432 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-15T14:42:31,435 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-15T14:42:31,437 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-15T14:42:31,443 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-15T14:42:31,445 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-15T14:42:31,447 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-15T14:42:31,448 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-15T14:42:31,451 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-15T14:42:31,455 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-15T14:42:31,458 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-15T14:42:31,459 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-15T14:42:31,461 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-15T14:42:31,465 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-15T14:42:31,467 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-15T14:42:31,469 adding 'certora_cli/Shared/__init__.py' 2023-05-15T14:42:31,471 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-15T14:42:31,473 adding 'certora_cli/Shared/certoraTester.py' 2023-05-15T14:42:31,480 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-15T14:42:31,484 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-15T14:42:33,122 adding 'certora_jars/MutationTest.jar' 2023-05-15T14:42:34,436 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-15T14:42:35,985 adding 'certora_jars/Typechecker.jar' 2023-05-15T14:42:36,068 adding 'certora_jars/__init__.py' 2023-05-15T14:42:36,928 adding 'certora_jars/gambit-linux' 2023-05-15T14:42:37,790 adding 'certora_jars/gambit-macos' 2023-05-15T14:42:37,827 adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357.dist-info/LICENSE' 2023-05-15T14:42:37,829 adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357.dist-info/METADATA' 2023-05-15T14:42:37,830 adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357.dist-info/WHEEL' 2023-05-15T14:42:37,831 adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357.dist-info/entry_points.txt' 2023-05-15T14:42:37,833 adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357.dist-info/top_level.txt' 2023-05-15T14:42:37,834 adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357.dist-info/RECORD' 2023-05-15T14:42:38,244 removing build/bdist.linux-aarch64/wheel 2023-05-15T14:42:38,364 Building wheel for certora-cli-alpha-shays-cert-1717-b (setup.py): finished with status 'done' 2023-05-15T14:42:38,691 Created wheel for certora-cli-alpha-shays-cert-1717-b: filename=certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357-py3-none-any.whl size=39469034 sha256=fb55397630560018aa3905318e6da64ce9b18e01b195293d23ce3fc128154d56 2023-05-15T14:42:38,692 Stored in directory: /tmp/pip-ephem-wheel-cache-yea30913/wheels/fc/53/a2/80ca7fc624d9f17b4bd6ed6883246e211756e3e8a4c2cb5d28 2023-05-15T14:42:38,722 Successfully built certora-cli-alpha-shays-cert-1717-b 2023-05-15T14:42:39,701 Removed build tracker: '/tmp/pip-build-tracker-qnfty965'