2023-05-14T02:31:35,134 Created temporary directory: /tmp/pip-build-tracker-yl3a1mkq 2023-05-14T02:31:35,135 Initialized build tracking at /tmp/pip-build-tracker-yl3a1mkq 2023-05-14T02:31:35,135 Created build tracker: /tmp/pip-build-tracker-yl3a1mkq 2023-05-14T02:31:35,136 Entered build tracker: /tmp/pip-build-tracker-yl3a1mkq 2023-05-14T02:31:35,136 Created temporary directory: /tmp/pip-wheel-ftn9shuh 2023-05-14T02:31:35,140 Created temporary directory: /tmp/pip-ephem-wheel-cache-pl401mdj 2023-05-14T02:31:35,164 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T02:31:35,168 2 location(s) to search for versions of certora-cli-alpha-rahav-mymaster: 2023-05-14T02:31:35,168 * https://pypi.org/simple/certora-cli-alpha-rahav-mymaster/ 2023-05-14T02:31:35,168 * https://www.piwheels.org/simple/certora-cli-alpha-rahav-mymaster/ 2023-05-14T02:31:35,169 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-rahav-mymaster/ 2023-05-14T02:31:35,169 Getting page https://pypi.org/simple/certora-cli-alpha-rahav-mymaster/ 2023-05-14T02:31:35,171 Found index url https://pypi.org/simple/ 2023-05-14T02:31:35,221 Fetched page https://pypi.org/simple/certora-cli-alpha-rahav-mymaster/ as application/vnd.pypi.simple.v1+json 2023-05-14T02:31:35,222 Found link https://files.pythonhosted.org/packages/0b/ad/f8dc3102b4aafbfc317eea6db8239f617416c151040758c45a7b8dfd0261/certora-cli-alpha-rahav-mymaster-20230506.2.48.399431.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-mymaster/) (requires-python:>=3.8.16), version: 20230506.2.48.399431 2023-05-14T02:31:35,223 Skipping link: No binaries permitted for certora-cli-alpha-rahav-mymaster: https://files.pythonhosted.org/packages/e7/1e/3819d76a99ce768d93487d88ca3ac42e4fbe421fde41090c9ba75956f35c/certora_cli_alpha_rahav_mymaster-20230506.2.48.399431-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-mymaster/) (requires-python:>=3.8.16) 2023-05-14T02:31:35,223 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-rahav-mymaster/ 2023-05-14T02:31:35,223 Getting page https://www.piwheels.org/simple/certora-cli-alpha-rahav-mymaster/ 2023-05-14T02:31:35,224 Found index url https://www.piwheels.org/simple/ 2023-05-14T02:31:35,586 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-rahav-mymaster/ as text/html 2023-05-14T02:31:35,587 Skipping link: No binaries permitted for certora-cli-alpha-rahav-mymaster: https://www.piwheels.org/simple/certora-cli-alpha-rahav-mymaster/certora_cli_alpha_rahav_mymaster-20230506.2.48.399431-py3-none-any.whl#sha256=042aa6b3b6a03f4394482ef0dfe0c0295b4412fbcf508b4e6d5be78ea9d7cfb2 (from https://www.piwheels.org/simple/certora-cli-alpha-rahav-mymaster/) (requires-python:>=3.8.16) 2023-05-14T02:31:35,588 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-rahav-mymaster/ 2023-05-14T02:31:35,588 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-rahav-mymaster/ 2023-05-14T02:31:35,605 Given no hashes to check 1 links for project 'certora-cli-alpha-rahav-mymaster': discarding no candidates 2023-05-14T02:31:35,621 Collecting certora-cli-alpha-rahav-mymaster==20230506.2.48.399431 2023-05-14T02:31:35,623 Created temporary directory: /tmp/pip-unpack-gn7g6net 2023-05-14T02:31:35,758 Downloading certora-cli-alpha-rahav-mymaster-20230506.2.48.399431.tar.gz (38.5 MB) 2023-05-14T02:31:45,462 Added certora-cli-alpha-rahav-mymaster==20230506.2.48.399431 from https://files.pythonhosted.org/packages/0b/ad/f8dc3102b4aafbfc317eea6db8239f617416c151040758c45a7b8dfd0261/certora-cli-alpha-rahav-mymaster-20230506.2.48.399431.tar.gz to build tracker '/tmp/pip-build-tracker-yl3a1mkq' 2023-05-14T02:31:45,465 Running setup.py (path:/tmp/pip-wheel-ftn9shuh/certora-cli-alpha-rahav-mymaster_bc2878a72b8c45f88b64e52da3e33351/setup.py) egg_info for package certora-cli-alpha-rahav-mymaster 2023-05-14T02:31:45,465 Created temporary directory: /tmp/pip-pip-egg-info-m6fydt6a 2023-05-14T02:31:45,466 Preparing metadata (setup.py): started 2023-05-14T02:31:45,467 Running command python setup.py egg_info 2023-05-14T02:31:46,091 running egg_info 2023-05-14T02:31:46,092 creating /tmp/pip-pip-egg-info-m6fydt6a/certora_cli_alpha_rahav_mymaster.egg-info 2023-05-14T02:31:46,117 writing /tmp/pip-pip-egg-info-m6fydt6a/certora_cli_alpha_rahav_mymaster.egg-info/PKG-INFO 2023-05-14T02:31:46,120 writing dependency_links to /tmp/pip-pip-egg-info-m6fydt6a/certora_cli_alpha_rahav_mymaster.egg-info/dependency_links.txt 2023-05-14T02:31:46,122 writing entry points to /tmp/pip-pip-egg-info-m6fydt6a/certora_cli_alpha_rahav_mymaster.egg-info/entry_points.txt 2023-05-14T02:31:46,123 writing requirements to /tmp/pip-pip-egg-info-m6fydt6a/certora_cli_alpha_rahav_mymaster.egg-info/requires.txt 2023-05-14T02:31:46,124 writing top-level names to /tmp/pip-pip-egg-info-m6fydt6a/certora_cli_alpha_rahav_mymaster.egg-info/top_level.txt 2023-05-14T02:31:46,126 writing manifest file '/tmp/pip-pip-egg-info-m6fydt6a/certora_cli_alpha_rahav_mymaster.egg-info/SOURCES.txt' 2023-05-14T02:31:46,210 reading manifest file '/tmp/pip-pip-egg-info-m6fydt6a/certora_cli_alpha_rahav_mymaster.egg-info/SOURCES.txt' 2023-05-14T02:31:46,211 reading manifest template 'MANIFEST.in' 2023-05-14T02:31:46,221 adding license file 'LICENSE' 2023-05-14T02:31:46,225 writing manifest file '/tmp/pip-pip-egg-info-m6fydt6a/certora_cli_alpha_rahav_mymaster.egg-info/SOURCES.txt' 2023-05-14T02:31:46,285 Preparing metadata (setup.py): finished with status 'done' 2023-05-14T02:31:46,290 Source in /tmp/pip-wheel-ftn9shuh/certora-cli-alpha-rahav-mymaster_bc2878a72b8c45f88b64e52da3e33351 has version 20230506.2.48.399431, which satisfies requirement certora-cli-alpha-rahav-mymaster==20230506.2.48.399431 from https://files.pythonhosted.org/packages/0b/ad/f8dc3102b4aafbfc317eea6db8239f617416c151040758c45a7b8dfd0261/certora-cli-alpha-rahav-mymaster-20230506.2.48.399431.tar.gz 2023-05-14T02:31:46,291 Removed certora-cli-alpha-rahav-mymaster==20230506.2.48.399431 from https://files.pythonhosted.org/packages/0b/ad/f8dc3102b4aafbfc317eea6db8239f617416c151040758c45a7b8dfd0261/certora-cli-alpha-rahav-mymaster-20230506.2.48.399431.tar.gz from build tracker '/tmp/pip-build-tracker-yl3a1mkq' 2023-05-14T02:31:46,298 Created temporary directory: /tmp/pip-unpack-n64uz5em 2023-05-14T02:31:46,299 Building wheels for collected packages: certora-cli-alpha-rahav-mymaster 2023-05-14T02:31:46,304 Created temporary directory: /tmp/pip-wheel-k97cza20 2023-05-14T02:31:46,304 Building wheel for certora-cli-alpha-rahav-mymaster (setup.py): started 2023-05-14T02:31:46,305 Destination directory: /tmp/pip-wheel-k97cza20 2023-05-14T02:31:46,305 Running command python setup.py bdist_wheel 2023-05-14T02:31:47,146 running bdist_wheel 2023-05-14T02:31:47,464 running build 2023-05-14T02:31:47,464 running build_py 2023-05-14T02:31:47,493 creating build 2023-05-14T02:31:47,493 creating build/lib 2023-05-14T02:31:47,494 creating build/lib/certora_jars 2023-05-14T02:31:47,496 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-14T02:31:47,498 creating build/lib/certora_cli 2023-05-14T02:31:47,499 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-14T02:31:47,501 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-14T02:31:47,503 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-14T02:31:47,506 creating build/lib/certora_cli/Shared 2023-05-14T02:31:47,507 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-14T02:31:47,509 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-14T02:31:47,511 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-14T02:31:47,514 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-14T02:31:47,518 creating build/lib/certora_cli/EVMVerifier 2023-05-14T02:31:47,519 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T02:31:47,523 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T02:31:47,526 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T02:31:47,529 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T02:31:47,531 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T02:31:47,534 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T02:31:47,537 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T02:31:47,539 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T02:31:47,543 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T02:31:47,553 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T02:31:47,555 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T02:31:47,558 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T02:31:47,560 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T02:31:47,563 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T02:31:47,564 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T02:31:47,567 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T02:31:47,568 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T02:31:47,572 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T02:31:47,574 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T02:31:47,576 running egg_info 2023-05-14T02:31:47,827 writing certora_cli_alpha_rahav_mymaster.egg-info/PKG-INFO 2023-05-14T02:31:47,829 writing dependency_links to certora_cli_alpha_rahav_mymaster.egg-info/dependency_links.txt 2023-05-14T02:31:47,832 writing entry points to certora_cli_alpha_rahav_mymaster.egg-info/entry_points.txt 2023-05-14T02:31:47,833 writing requirements to certora_cli_alpha_rahav_mymaster.egg-info/requires.txt 2023-05-14T02:31:47,835 writing top-level names to certora_cli_alpha_rahav_mymaster.egg-info/top_level.txt 2023-05-14T02:31:48,068 reading manifest file 'certora_cli_alpha_rahav_mymaster.egg-info/SOURCES.txt' 2023-05-14T02:31:48,071 reading manifest template 'MANIFEST.in' 2023-05-14T02:31:48,083 adding license file 'LICENSE' 2023-05-14T02:31:48,087 writing manifest file 'certora_cli_alpha_rahav_mymaster.egg-info/SOURCES.txt' 2023-05-14T02:31:48,091 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-14T02:31:48,094 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-14T02:31:48,410 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-14T02:31:48,583 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-14T02:31:48,760 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-14T02:31:48,872 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-14T02:31:48,992 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-14T02:31:48,992 !! 2023-05-14T02:31:48,992 ******************************************************************************** 2023-05-14T02:31:48,993 Please avoid running ``setup.py`` directly. 2023-05-14T02:31:48,993 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-14T02:31:48,993 other standards-based tools. 2023-05-14T02:31:48,993 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-14T02:31:48,993 ******************************************************************************** 2023-05-14T02:31:48,994 !! 2023-05-14T02:31:48,994 self.initialize_options() 2023-05-14T02:31:49,019 installing to build/bdist.linux-aarch64/wheel 2023-05-14T02:31:49,019 running install 2023-05-14T02:31:49,044 running install_lib 2023-05-14T02:31:49,070 creating build/bdist.linux-aarch64 2023-05-14T02:31:49,070 creating build/bdist.linux-aarch64/wheel 2023-05-14T02:31:49,072 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T02:31:49,073 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T02:31:49,277 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T02:31:49,279 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T02:31:49,626 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T02:31:49,706 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T02:31:49,812 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T02:31:49,814 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T02:31:49,987 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T02:31:49,988 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T02:31:49,990 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T02:31:49,991 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T02:31:49,993 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T02:31:49,995 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T02:31:49,998 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T02:31:50,001 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T02:31:50,003 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T02:31:50,006 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T02:31:50,007 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T02:31:50,010 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T02:31:50,013 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T02:31:50,016 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T02:31:50,018 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T02:31:50,021 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T02:31:50,024 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T02:31:50,026 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T02:31:50,031 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T02:31:50,031 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T02:31:50,034 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T02:31:50,036 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T02:31:50,039 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T02:31:50,041 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T02:31:50,044 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T02:31:50,052 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T02:31:50,055 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T02:31:50,059 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T02:31:50,062 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T02:31:50,064 running install_egg_info 2023-05-14T02:31:50,094 Copying certora_cli_alpha_rahav_mymaster.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_rahav_mymaster-20230506.2.48.399431-py3.9.egg-info 2023-05-14T02:31:50,106 running install_scripts 2023-05-14T02:31:50,124 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-14T02:31:50,129 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_rahav_mymaster-20230506.2.48.399431.dist-info/WHEEL 2023-05-14T02:31:50,132 creating '/tmp/pip-wheel-k97cza20/certora_cli_alpha_rahav_mymaster-20230506.2.48.399431-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-14T02:31:50,134 adding 'certora_cli/__init__.py' 2023-05-14T02:31:50,136 adding 'certora_cli/certoraMutate.py' 2023-05-14T02:31:50,139 adding 'certora_cli/certoraRun.py' 2023-05-14T02:31:50,141 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-14T02:31:50,163 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-14T02:31:50,170 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-14T02:31:50,173 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-14T02:31:50,175 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-14T02:31:50,180 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-14T02:31:50,184 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-14T02:31:50,186 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-14T02:31:50,192 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-14T02:31:50,194 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-14T02:31:50,196 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-14T02:31:50,199 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-14T02:31:50,203 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-14T02:31:50,206 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-14T02:31:50,208 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-14T02:31:50,210 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-14T02:31:50,215 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-14T02:31:50,217 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-14T02:31:50,219 adding 'certora_cli/Shared/__init__.py' 2023-05-14T02:31:50,221 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-14T02:31:50,223 adding 'certora_cli/Shared/certoraTester.py' 2023-05-14T02:31:50,230 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-14T02:31:50,234 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-14T02:31:51,823 adding 'certora_jars/MutationTest.jar' 2023-05-14T02:31:53,134 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-14T02:31:54,632 adding 'certora_jars/Typechecker.jar' 2023-05-14T02:31:54,713 adding 'certora_jars/__init__.py' 2023-05-14T02:31:55,562 adding 'certora_jars/gambit-linux' 2023-05-14T02:31:56,414 adding 'certora_jars/gambit-macos' 2023-05-14T02:31:56,450 adding 'certora_cli_alpha_rahav_mymaster-20230506.2.48.399431.dist-info/LICENSE' 2023-05-14T02:31:56,451 adding 'certora_cli_alpha_rahav_mymaster-20230506.2.48.399431.dist-info/METADATA' 2023-05-14T02:31:56,452 adding 'certora_cli_alpha_rahav_mymaster-20230506.2.48.399431.dist-info/WHEEL' 2023-05-14T02:31:56,453 adding 'certora_cli_alpha_rahav_mymaster-20230506.2.48.399431.dist-info/entry_points.txt' 2023-05-14T02:31:56,454 adding 'certora_cli_alpha_rahav_mymaster-20230506.2.48.399431.dist-info/top_level.txt' 2023-05-14T02:31:56,456 adding 'certora_cli_alpha_rahav_mymaster-20230506.2.48.399431.dist-info/RECORD' 2023-05-14T02:31:56,894 removing build/bdist.linux-aarch64/wheel 2023-05-14T02:31:57,018 Building wheel for certora-cli-alpha-rahav-mymaster (setup.py): finished with status 'done' 2023-05-14T02:31:57,338 Created wheel for certora-cli-alpha-rahav-mymaster: filename=certora_cli_alpha_rahav_mymaster-20230506.2.48.399431-py3-none-any.whl size=38511239 sha256=df789ab1c78b9a557580e555254d8bac8dcce0b7cc32c463ba1fdbfe4213402d 2023-05-14T02:31:57,339 Stored in directory: /tmp/pip-ephem-wheel-cache-pl401mdj/wheels/d1/1b/f2/ae2145d0772f4673b719e39dc48e2923a7b12ecf7db0300d90 2023-05-14T02:31:57,368 Successfully built certora-cli-alpha-rahav-mymaster 2023-05-14T02:31:58,414 Removed build tracker: '/tmp/pip-build-tracker-yl3a1mkq'