2023-03-08T15:32:49,624 Created temporary directory: /tmp/pip-ephem-wheel-cache-sf16epsj 2023-03-08T15:32:49,627 Created temporary directory: /tmp/pip-build-tracker-zffyno9l 2023-03-08T15:32:49,627 Initialized build tracking at /tmp/pip-build-tracker-zffyno9l 2023-03-08T15:32:49,627 Created build tracker: /tmp/pip-build-tracker-zffyno9l 2023-03-08T15:32:49,627 Entered build tracker: /tmp/pip-build-tracker-zffyno9l 2023-03-08T15:32:49,628 Created temporary directory: /tmp/pip-wheel-olfhy9mb 2023-03-08T15:32:49,633 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2023-03-08T15:32:49,636 Created temporary directory: /tmp/pip-ephem-wheel-cache-cm6qrf__ 2023-03-08T15:32:49,661 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-03-08T15:32:49,665 2 location(s) to search for versions of certora-cli-alpha-dudi-fix-publish-cli-fix-version: 2023-03-08T15:32:49,665 * https://pypi.org/simple/certora-cli-alpha-dudi-fix-publish-cli-fix-version/ 2023-03-08T15:32:49,665 * https://www.piwheels.org/simple/certora-cli-alpha-dudi-fix-publish-cli-fix-version/ 2023-03-08T15:32:49,666 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-dudi-fix-publish-cli-fix-version/ 2023-03-08T15:32:49,666 Getting page https://pypi.org/simple/certora-cli-alpha-dudi-fix-publish-cli-fix-version/ 2023-03-08T15:32:49,668 Found index url https://pypi.org/simple 2023-03-08T15:32:49,719 Fetched page https://pypi.org/simple/certora-cli-alpha-dudi-fix-publish-cli-fix-version/ as application/vnd.pypi.simple.v1+json 2023-03-08T15:32:49,721 Found link https://files.pythonhosted.org/packages/53/ae/5afeecf5d17e756a4bd08a2cc1ac851550d441f4249e293adcd209702451/certora-cli-alpha-dudi-fix-publish-cli-fix-version-20230308.15.12.970160.tar.gz (from https://pypi.org/simple/certora-cli-alpha-dudi-fix-publish-cli-fix-version/) (requires-python:>=3.8), version: 20230308.15.12.970160 2023-03-08T15:32:49,721 Skipping link: No binaries permitted for certora-cli-alpha-dudi-fix-publish-cli-fix-version: https://files.pythonhosted.org/packages/01/af/97239d9b2bba37c523a4b0511ddebe7d98d7b2a4bbddb05989f60dc6ab34/certora_cli_alpha_dudi_fix_publish_cli_fix_version-20230308.15.12.970160-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-dudi-fix-publish-cli-fix-version/) (requires-python:>=3.8) 2023-03-08T15:32:49,722 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-dudi-fix-publish-cli-fix-version/ 2023-03-08T15:32:49,722 Getting page https://www.piwheels.org/simple/certora-cli-alpha-dudi-fix-publish-cli-fix-version/ 2023-03-08T15:32:49,723 Found index url https://www.piwheels.org/simple 2023-03-08T15:32:49,892 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-dudi-fix-publish-cli-fix-version/ as text/html 2023-03-08T15:32:49,894 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-dudi-fix-publish-cli-fix-version/ 2023-03-08T15:32:49,894 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-dudi-fix-publish-cli-fix-version/ 2023-03-08T15:32:49,932 Given no hashes to check 1 links for project 'certora-cli-alpha-dudi-fix-publish-cli-fix-version': discarding no candidates 2023-03-08T15:32:49,967 Collecting certora-cli-alpha-dudi-fix-publish-cli-fix-version==20230308.15.12.970160 2023-03-08T15:32:49,971 Created temporary directory: /tmp/pip-unpack-205cyv39 2023-03-08T15:32:50,488 Downloading certora-cli-alpha-dudi-fix-publish-cli-fix-version-20230308.15.12.970160.tar.gz (25.7 MB) 2023-03-08T15:32:58,462 Added certora-cli-alpha-dudi-fix-publish-cli-fix-version==20230308.15.12.970160 from https://files.pythonhosted.org/packages/53/ae/5afeecf5d17e756a4bd08a2cc1ac851550d441f4249e293adcd209702451/certora-cli-alpha-dudi-fix-publish-cli-fix-version-20230308.15.12.970160.tar.gz to build tracker '/tmp/pip-build-tracker-zffyno9l' 2023-03-08T15:32:58,463 Running setup.py (path:/tmp/pip-wheel-olfhy9mb/certora-cli-alpha-dudi-fix-publish-cli-fix-version_f5d32450c670414c8ad7840be0dda0b9/setup.py) egg_info for package certora-cli-alpha-dudi-fix-publish-cli-fix-version 2023-03-08T15:32:58,464 Created temporary directory: /tmp/pip-pip-egg-info-xn07m0zz 2023-03-08T15:32:58,464 Preparing metadata (setup.py): started 2023-03-08T15:32:58,465 Running command python setup.py egg_info 2023-03-08T15:32:59,058 running egg_info 2023-03-08T15:32:59,059 creating /tmp/pip-pip-egg-info-xn07m0zz/certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info 2023-03-08T15:32:59,082 writing /tmp/pip-pip-egg-info-xn07m0zz/certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/PKG-INFO 2023-03-08T15:32:59,084 writing dependency_links to /tmp/pip-pip-egg-info-xn07m0zz/certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/dependency_links.txt 2023-03-08T15:32:59,086 writing entry points to /tmp/pip-pip-egg-info-xn07m0zz/certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/entry_points.txt 2023-03-08T15:32:59,088 writing requirements to /tmp/pip-pip-egg-info-xn07m0zz/certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/requires.txt 2023-03-08T15:32:59,089 writing top-level names to /tmp/pip-pip-egg-info-xn07m0zz/certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/top_level.txt 2023-03-08T15:32:59,091 writing manifest file '/tmp/pip-pip-egg-info-xn07m0zz/certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/SOURCES.txt' 2023-03-08T15:32:59,166 reading manifest file '/tmp/pip-pip-egg-info-xn07m0zz/certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/SOURCES.txt' 2023-03-08T15:32:59,168 reading manifest template 'MANIFEST.in' 2023-03-08T15:32:59,176 adding license file 'LICENSE' 2023-03-08T15:32:59,180 writing manifest file '/tmp/pip-pip-egg-info-xn07m0zz/certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/SOURCES.txt' 2023-03-08T15:32:59,239 Preparing metadata (setup.py): finished with status 'done' 2023-03-08T15:32:59,245 Source in /tmp/pip-wheel-olfhy9mb/certora-cli-alpha-dudi-fix-publish-cli-fix-version_f5d32450c670414c8ad7840be0dda0b9 has version 20230308.15.12.970160, which satisfies requirement certora-cli-alpha-dudi-fix-publish-cli-fix-version==20230308.15.12.970160 from https://files.pythonhosted.org/packages/53/ae/5afeecf5d17e756a4bd08a2cc1ac851550d441f4249e293adcd209702451/certora-cli-alpha-dudi-fix-publish-cli-fix-version-20230308.15.12.970160.tar.gz 2023-03-08T15:32:59,246 Removed certora-cli-alpha-dudi-fix-publish-cli-fix-version==20230308.15.12.970160 from https://files.pythonhosted.org/packages/53/ae/5afeecf5d17e756a4bd08a2cc1ac851550d441f4249e293adcd209702451/certora-cli-alpha-dudi-fix-publish-cli-fix-version-20230308.15.12.970160.tar.gz from build tracker '/tmp/pip-build-tracker-zffyno9l' 2023-03-08T15:32:59,253 Created temporary directory: /tmp/pip-unpack-esfkv37r 2023-03-08T15:32:59,253 Building wheels for collected packages: certora-cli-alpha-dudi-fix-publish-cli-fix-version 2023-03-08T15:32:59,258 Created temporary directory: /tmp/pip-wheel-yxtvfktu 2023-03-08T15:32:59,259 Building wheel for certora-cli-alpha-dudi-fix-publish-cli-fix-version (setup.py): started 2023-03-08T15:32:59,260 Destination directory: /tmp/pip-wheel-yxtvfktu 2023-03-08T15:32:59,260 Running command python setup.py bdist_wheel 2023-03-08T15:33:00,071 running bdist_wheel 2023-03-08T15:33:00,344 running build 2023-03-08T15:33:00,344 running build_py 2023-03-08T15:33:00,368 creating build 2023-03-08T15:33:00,369 creating build/lib 2023-03-08T15:33:00,369 creating build/lib/certora_cli 2023-03-08T15:33:00,371 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-03-08T15:33:00,373 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-03-08T15:33:00,375 copying certora_cli/mutationTest.py -> build/lib/certora_cli 2023-03-08T15:33:00,378 creating build/lib/certora_jars 2023-03-08T15:33:00,378 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-03-08T15:33:00,381 creating build/lib/certora_cli/EVMVerifier 2023-03-08T15:33:00,382 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-03-08T15:33:00,389 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-03-08T15:33:00,392 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-03-08T15:33:00,393 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-03-08T15:33:00,395 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-03-08T15:33:00,397 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-03-08T15:33:00,401 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-03-08T15:33:00,405 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-03-08T15:33:00,407 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-03-08T15:33:00,409 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-03-08T15:33:00,412 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-03-08T15:33:00,415 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-03-08T15:33:00,418 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-03-08T15:33:00,421 creating build/lib/certora_cli/Shared 2023-03-08T15:33:00,422 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-03-08T15:33:00,425 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-03-08T15:33:00,427 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-03-08T15:33:00,429 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-03-08T15:33:00,432 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-03-08T15:33:00,433 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-03-08T15:33:00,435 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-03-08T15:33:00,437 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-03-08T15:33:00,438 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-03-08T15:33:00,441 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-03-08T15:33:00,443 running egg_info 2023-03-08T15:33:00,493 writing certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/PKG-INFO 2023-03-08T15:33:00,495 writing dependency_links to certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/dependency_links.txt 2023-03-08T15:33:00,497 writing entry points to certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/entry_points.txt 2023-03-08T15:33:00,499 writing requirements to certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/requires.txt 2023-03-08T15:33:00,500 writing top-level names to certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/top_level.txt 2023-03-08T15:33:00,525 reading manifest file 'certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/SOURCES.txt' 2023-03-08T15:33:00,528 reading manifest template 'MANIFEST.in' 2023-03-08T15:33:00,534 adding license file 'LICENSE' 2023-03-08T15:33:00,538 writing manifest file 'certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info/SOURCES.txt' 2023-03-08T15:33:00,541 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-03-08T15:33:00,810 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-03-08T15:33:01,029 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-03-08T15:33:01,177 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-03-08T15:33:01,317 /usr/local/lib/python3.9/dist-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools. 2023-03-08T15:33:01,317 warnings.warn( 2023-03-08T15:33:01,341 installing to build/bdist.linux-armv7l/wheel 2023-03-08T15:33:01,341 running install 2023-03-08T15:33:01,366 running install_lib 2023-03-08T15:33:01,388 creating build/bdist.linux-armv7l 2023-03-08T15:33:01,389 creating build/bdist.linux-armv7l/wheel 2023-03-08T15:33:01,390 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-03-08T15:33:01,392 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-08T15:33:01,393 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-08T15:33:01,400 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-08T15:33:01,403 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-08T15:33:01,405 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-08T15:33:01,407 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-08T15:33:01,409 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-03-08T15:33:01,410 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-03-08T15:33:01,412 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-03-08T15:33:01,414 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-03-08T15:33:01,416 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-03-08T15:33:01,418 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-03-08T15:33:01,421 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-08T15:33:01,424 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-08T15:33:01,427 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-08T15:33:01,429 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-08T15:33:01,431 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-08T15:33:01,434 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-08T15:33:01,437 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-08T15:33:01,440 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-08T15:33:01,442 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-03-08T15:33:01,445 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-03-08T15:33:01,446 copying build/lib/certora_cli/mutationTest.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-03-08T15:33:01,449 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-03-08T15:33:01,450 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-03-08T15:33:01,453 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-03-08T15:33:01,455 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-03-08T15:33:01,457 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-03-08T15:33:01,460 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-03-08T15:33:01,461 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-03-08T15:33:01,463 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-03-08T15:33:01,591 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-03-08T15:33:01,700 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-03-08T15:33:01,885 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-03-08T15:33:02,146 running install_egg_info 2023-03-08T15:33:02,173 Copying certora_cli_alpha_dudi_fix_publish_cli_fix_version.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_dudi_fix_publish_cli_fix_version-20230308.15.12.970160-py3.9.egg-info 2023-03-08T15:33:02,185 running install_scripts 2023-03-08T15:33:02,202 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-03-08T15:33:02,206 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_dudi_fix_publish_cli_fix_version-20230308.15.12.970160.dist-info/WHEEL 2023-03-08T15:33:02,208 creating '/tmp/pip-wheel-yxtvfktu/certora_cli_alpha_dudi_fix_publish_cli_fix_version-20230308.15.12.970160-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-03-08T15:33:02,211 adding 'certora_cli/__init__.py' 2023-03-08T15:33:02,213 adding 'certora_cli/certoraRun.py' 2023-03-08T15:33:02,214 adding 'certora_cli/mutationTest.py' 2023-03-08T15:33:02,216 adding 'certora_cli/EVMVerifier/__init__.py' 2023-03-08T15:33:02,238 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-03-08T15:33:02,244 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-03-08T15:33:02,246 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-03-08T15:33:02,248 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-03-08T15:33:02,252 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-03-08T15:33:02,255 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-03-08T15:33:02,256 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-03-08T15:33:02,262 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-03-08T15:33:02,264 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-03-08T15:33:02,266 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-03-08T15:33:02,267 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-03-08T15:33:02,271 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-03-08T15:33:02,273 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-03-08T15:33:02,275 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-03-08T15:33:02,276 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-03-08T15:33:02,279 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-03-08T15:33:02,280 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-03-08T15:33:02,282 adding 'certora_cli/Shared/__init__.py' 2023-03-08T15:33:02,284 adding 'certora_cli/Shared/certoraLogging.py' 2023-03-08T15:33:02,286 adding 'certora_cli/Shared/certoraTester.py' 2023-03-08T15:33:02,291 adding 'certora_cli/Shared/certoraUtils.py' 2023-03-08T15:33:03,786 adding 'certora_jars/MutationTest.jar' 2023-03-08T15:33:05,128 adding 'certora_jars/Typechecker.jar' 2023-03-08T15:33:05,196 adding 'certora_jars/__init__.py' 2023-03-08T15:33:06,092 adding 'certora_jars/gambit-linux' 2023-03-08T15:33:06,995 adding 'certora_jars/gambit-macos' 2023-03-08T15:33:07,031 adding 'certora_cli_alpha_dudi_fix_publish_cli_fix_version-20230308.15.12.970160.dist-info/LICENSE' 2023-03-08T15:33:07,032 adding 'certora_cli_alpha_dudi_fix_publish_cli_fix_version-20230308.15.12.970160.dist-info/METADATA' 2023-03-08T15:33:07,033 adding 'certora_cli_alpha_dudi_fix_publish_cli_fix_version-20230308.15.12.970160.dist-info/WHEEL' 2023-03-08T15:33:07,034 adding 'certora_cli_alpha_dudi_fix_publish_cli_fix_version-20230308.15.12.970160.dist-info/entry_points.txt' 2023-03-08T15:33:07,035 adding 'certora_cli_alpha_dudi_fix_publish_cli_fix_version-20230308.15.12.970160.dist-info/top_level.txt' 2023-03-08T15:33:07,036 adding 'certora_cli_alpha_dudi_fix_publish_cli_fix_version-20230308.15.12.970160.dist-info/RECORD' 2023-03-08T15:33:07,422 removing build/bdist.linux-armv7l/wheel 2023-03-08T15:33:07,542 Building wheel for certora-cli-alpha-dudi-fix-publish-cli-fix-version (setup.py): finished with status 'done' 2023-03-08T15:33:07,821 Created wheel for certora-cli-alpha-dudi-fix-publish-cli-fix-version: filename=certora_cli_alpha_dudi_fix_publish_cli_fix_version-20230308.15.12.970160-py3-none-any.whl size=25704091 sha256=d1d46540c608a14a490d45f6f5b2b9f2f37bbfbdbb399194b482afe29d1f771e 2023-03-08T15:33:07,822 Stored in directory: /tmp/pip-ephem-wheel-cache-cm6qrf__/wheels/f4/a6/22/6a1386bbd601a6a69fff641729e93b2553fd222119e8379520 2023-03-08T15:33:07,848 Successfully built certora-cli-alpha-dudi-fix-publish-cli-fix-version 2023-03-08T15:33:08,638 Removed build tracker: '/tmp/pip-build-tracker-zffyno9l'