2022-06-09T19:01:11,627 Created temporary directory: /tmp/pip-ephem-wheel-cache-2y7elwfy
2022-06-09T19:01:11,633 Created temporary directory: /tmp/pip-req-tracker-v5q3l44x
2022-06-09T19:01:11,634 Initialized build tracking at /tmp/pip-req-tracker-v5q3l44x
2022-06-09T19:01:11,634 Created build tracker: /tmp/pip-req-tracker-v5q3l44x
2022-06-09T19:01:11,635 Entered build tracker: /tmp/pip-req-tracker-v5q3l44x
2022-06-09T19:01:11,636 Created temporary directory: /tmp/pip-wheel-rzy08oyj
2022-06-09T19:01:11,697 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2022-06-09T19:01:11,700 2 location(s) to search for versions of certora-cli-alpha-shelly-hf09062022:
2022-06-09T19:01:11,700 * https://pypi.org/simple/certora-cli-alpha-shelly-hf09062022/
2022-06-09T19:01:11,700 * https://www.piwheels.org/simple/certora-cli-alpha-shelly-hf09062022/
2022-06-09T19:01:11,701 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shelly-hf09062022/
2022-06-09T19:01:11,703 Getting page https://pypi.org/simple/certora-cli-alpha-shelly-hf09062022/
2022-06-09T19:01:11,708 Found index url https://pypi.org/simple
2022-06-09T19:01:12,035   Found link https://files.pythonhosted.org/packages/75/38/92deb36942af8e059cc011121081303819c8a022e7768eaa7f27d6aca106/certora-cli-alpha-shelly-hf09062022-20220609.18.49.tar.gz#sha256=68349e8a367fd097adcd0ccda1c77179ea61fd93924d85eaca4eed2e1c1d25a6 (from https://pypi.org/simple/certora-cli-alpha-shelly-hf09062022/) (requires-python:>=3.5), version: 20220609.18.49
2022-06-09T19:01:12,036   Skipping link: No binaries permitted for certora-cli-alpha-shelly-hf09062022: https://files.pythonhosted.org/packages/dd/6b/b21cd82f8a7c7df01400a342ac5843d812d7f4ae9268f2639cd40e27d8c9/certora_cli_alpha_shelly_hf09062022-20220609.18.49-py3-none-any.whl#sha256=ce3b6af606ca5093101e05dfa73753a9232ae6330adc94345cef356b6d60240e (from https://pypi.org/simple/certora-cli-alpha-shelly-hf09062022/) (requires-python:>=3.5)
2022-06-09T19:01:12,037 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shelly-hf09062022/
2022-06-09T19:01:12,038 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shelly-hf09062022/
2022-06-09T19:01:12,042 Found index url https://www.piwheels.org/simple
2022-06-09T19:01:12,300 Given no hashes to check 1 links for project 'certora-cli-alpha-shelly-hf09062022': discarding no candidates
2022-06-09T19:01:12,333 Collecting certora-cli-alpha-shelly-hf09062022==20220609.18.49
2022-06-09T19:01:12,336   Created temporary directory: /tmp/pip-unpack-mf1nvnyq
2022-06-09T19:01:13,464   Downloading certora-cli-alpha-shelly-hf09062022-20220609.18.49.tar.gz (10.1 MB)
2022-06-09T19:01:17,768   Added certora-cli-alpha-shelly-hf09062022==20220609.18.49 from https://files.pythonhosted.org/packages/75/38/92deb36942af8e059cc011121081303819c8a022e7768eaa7f27d6aca106/certora-cli-alpha-shelly-hf09062022-20220609.18.49.tar.gz#sha256=68349e8a367fd097adcd0ccda1c77179ea61fd93924d85eaca4eed2e1c1d25a6 to build tracker '/tmp/pip-req-tracker-v5q3l44x'
2022-06-09T19:01:17,772     Running setup.py (path:/tmp/pip-wheel-rzy08oyj/certora-cli-alpha-shelly-hf09062022_44fb9109fa8b42aaa12b06c3cd1afb92/setup.py) egg_info for package certora-cli-alpha-shelly-hf09062022
2022-06-09T19:01:17,774     Created temporary directory: /tmp/pip-pip-egg-info-vef2myp3
2022-06-09T19:01:17,776     Running command python setup.py egg_info
2022-06-09T19:01:19,849     running egg_info
2022-06-09T19:01:19,859     creating /tmp/pip-pip-egg-info-vef2myp3/certora_cli_alpha_shelly_hf09062022.egg-info
2022-06-09T19:01:19,861     writing /tmp/pip-pip-egg-info-vef2myp3/certora_cli_alpha_shelly_hf09062022.egg-info/PKG-INFO
2022-06-09T19:01:19,867     writing dependency_links to /tmp/pip-pip-egg-info-vef2myp3/certora_cli_alpha_shelly_hf09062022.egg-info/dependency_links.txt
2022-06-09T19:01:19,869     writing entry points to /tmp/pip-pip-egg-info-vef2myp3/certora_cli_alpha_shelly_hf09062022.egg-info/entry_points.txt
2022-06-09T19:01:19,871     writing requirements to /tmp/pip-pip-egg-info-vef2myp3/certora_cli_alpha_shelly_hf09062022.egg-info/requires.txt
2022-06-09T19:01:19,873     writing top-level names to /tmp/pip-pip-egg-info-vef2myp3/certora_cli_alpha_shelly_hf09062022.egg-info/top_level.txt
2022-06-09T19:01:19,877     writing manifest file '/tmp/pip-pip-egg-info-vef2myp3/certora_cli_alpha_shelly_hf09062022.egg-info/SOURCES.txt'
2022-06-09T19:01:20,229     reading manifest file '/tmp/pip-pip-egg-info-vef2myp3/certora_cli_alpha_shelly_hf09062022.egg-info/SOURCES.txt'
2022-06-09T19:01:20,232     reading manifest template 'MANIFEST.in'
2022-06-09T19:01:20,244     writing manifest file '/tmp/pip-pip-egg-info-vef2myp3/certora_cli_alpha_shelly_hf09062022.egg-info/SOURCES.txt'
2022-06-09T19:01:20,377   Source in /tmp/pip-wheel-rzy08oyj/certora-cli-alpha-shelly-hf09062022_44fb9109fa8b42aaa12b06c3cd1afb92 has version 20220609.18.49, which satisfies requirement certora-cli-alpha-shelly-hf09062022==20220609.18.49 from https://files.pythonhosted.org/packages/75/38/92deb36942af8e059cc011121081303819c8a022e7768eaa7f27d6aca106/certora-cli-alpha-shelly-hf09062022-20220609.18.49.tar.gz#sha256=68349e8a367fd097adcd0ccda1c77179ea61fd93924d85eaca4eed2e1c1d25a6
2022-06-09T19:01:20,379   Removed certora-cli-alpha-shelly-hf09062022==20220609.18.49 from https://files.pythonhosted.org/packages/75/38/92deb36942af8e059cc011121081303819c8a022e7768eaa7f27d6aca106/certora-cli-alpha-shelly-hf09062022-20220609.18.49.tar.gz#sha256=68349e8a367fd097adcd0ccda1c77179ea61fd93924d85eaca4eed2e1c1d25a6 from build tracker '/tmp/pip-req-tracker-v5q3l44x'
2022-06-09T19:01:20,390 Created temporary directory: /tmp/pip-unpack-6x8d79_i
2022-06-09T19:01:20,391 Building wheels for collected packages: certora-cli-alpha-shelly-hf09062022
2022-06-09T19:01:20,400   Created temporary directory: /tmp/pip-wheel-ecyyzyeg
2022-06-09T19:01:20,401   Building wheel for certora-cli-alpha-shelly-hf09062022 (setup.py): started
2022-06-09T19:01:20,402   Destination directory: /tmp/pip-wheel-ecyyzyeg
2022-06-09T19:01:20,402   Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-rzy08oyj/certora-cli-alpha-shelly-hf09062022_44fb9109fa8b42aaa12b06c3cd1afb92/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-rzy08oyj/certora-cli-alpha-shelly-hf09062022_44fb9109fa8b42aaa12b06c3cd1afb92/setup.py'"'"';f=getattr(tokenize, '"'"'open'"'"', open)(__file__);code=f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-ecyyzyeg
2022-06-09T19:01:22,518   running bdist_wheel
2022-06-09T19:01:22,533   running build
2022-06-09T19:01:22,534   running build_py
2022-06-09T19:01:22,869   creating build
2022-06-09T19:01:22,870   creating build/lib
2022-06-09T19:01:22,871   creating build/lib/certora_jars
2022-06-09T19:01:22,874   copying certora_jars/__init__.py -> build/lib/certora_jars
2022-06-09T19:01:22,878   creating build/lib/certora_cli
2022-06-09T19:01:22,880   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2022-06-09T19:01:22,892   copying certora_cli/__init__.py -> build/lib/certora_cli
2022-06-09T19:01:22,899   creating build/lib/certora_cli/EVMVerifier
2022-06-09T19:01:22,902   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2022-06-09T19:01:22,908   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2022-06-09T19:01:22,929   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2022-06-09T19:01:22,934   copying certora_cli/EVMVerifier/certoraDualArg.py -> build/lib/certora_cli/EVMVerifier
2022-06-09T19:01:22,940   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2022-06-09T19:01:22,946   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2022-06-09T19:01:22,955   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2022-06-09T19:01:22,960   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2022-06-09T19:01:22,967   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2022-06-09T19:01:22,974   creating build/lib/certora_cli/Shared
2022-06-09T19:01:22,976   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2022-06-09T19:01:22,981   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2022-06-09T19:01:22,988   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2022-06-09T19:01:22,993   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2022-06-09T19:01:22,996   running egg_info
2022-06-09T19:01:23,034   writing top-level names to certora_cli_alpha_shelly_hf09062022.egg-info/top_level.txt
2022-06-09T19:01:23,037   writing requirements to certora_cli_alpha_shelly_hf09062022.egg-info/requires.txt
2022-06-09T19:01:23,040   writing entry points to certora_cli_alpha_shelly_hf09062022.egg-info/entry_points.txt
2022-06-09T19:01:23,042   writing certora_cli_alpha_shelly_hf09062022.egg-info/PKG-INFO
2022-06-09T19:01:23,045   writing dependency_links to certora_cli_alpha_shelly_hf09062022.egg-info/dependency_links.txt
2022-06-09T19:01:23,059   reading manifest file 'certora_cli_alpha_shelly_hf09062022.egg-info/SOURCES.txt'
2022-06-09T19:01:23,063   reading manifest template 'MANIFEST.in'
2022-06-09T19:01:23,076   writing manifest file 'certora_cli_alpha_shelly_hf09062022.egg-info/SOURCES.txt'
2022-06-09T19:01:23,081   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2022-06-09T19:01:24,115   installing to build/bdist.linux-armv7l/wheel
2022-06-09T19:01:24,116   running install
2022-06-09T19:01:24,118   running install_lib
2022-06-09T19:01:24,125   creating build/bdist.linux-armv7l
2022-06-09T19:01:24,126   creating build/bdist.linux-armv7l/wheel
2022-06-09T19:01:24,129   creating build/bdist.linux-armv7l/wheel/certora_jars
2022-06-09T19:01:24,131   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2022-06-09T19:01:25,140   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2022-06-09T19:01:25,146   creating build/bdist.linux-armv7l/wheel/certora_cli
2022-06-09T19:01:25,148   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2022-06-09T19:01:25,166   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-06-09T19:01:25,168   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-06-09T19:01:25,175   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-06-09T19:01:25,196   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-06-09T19:01:25,201   copying build/lib/certora_cli/EVMVerifier/certoraDualArg.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-06-09T19:01:25,208   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-06-09T19:01:25,214   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-06-09T19:01:25,224   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-06-09T19:01:25,227   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-06-09T19:01:25,233   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-06-09T19:01:25,238   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-06-09T19:01:25,240   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-06-09T19:01:25,246   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-06-09T19:01:25,253   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-06-09T19:01:25,257   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-06-09T19:01:25,261   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2022-06-09T19:01:25,264   running install_egg_info
2022-06-09T19:01:25,290   Copying certora_cli_alpha_shelly_hf09062022.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_shelly_hf09062022-20220609.18.49-py3.5.egg-info
2022-06-09T19:01:25,319   running install_scripts
2022-06-09T19:01:25,512   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_shelly_hf09062022-20220609.18.49.dist-info/WHEEL
2022-06-09T19:01:28,991   Building wheel for certora-cli-alpha-shelly-hf09062022 (setup.py): finished with status 'done'
2022-06-09T19:01:29,170   Created wheel for certora-cli-alpha-shelly-hf09062022: filename=certora_cli_alpha_shelly_hf09062022-20220609.18.49-py3-none-any.whl size=10152257 sha256=2c3d24629a540e956ee915f929ef7e610f74da6bd20cbe759d734db335532cd6
2022-06-09T19:01:29,171   Stored in directory: /tmp/pip-ephem-wheel-cache-2y7elwfy/wheels/7e/78/ae/e6f4da6180d00881909fbe123b8b535286da8c8c900b89d3cb
2022-06-09T19:01:29,193 Successfully built certora-cli-alpha-shelly-hf09062022
2022-06-09T19:01:30,949 Removed build tracker: '/tmp/pip-req-tracker-v5q3l44x'