2022-05-09T10:16:48,869 Created temporary directory: /tmp/pip-ephem-wheel-cache-vgpqqdsc
2022-05-09T10:16:48,876 Created temporary directory: /tmp/pip-req-tracker-xonarwh4
2022-05-09T10:16:48,876 Initialized build tracking at /tmp/pip-req-tracker-xonarwh4
2022-05-09T10:16:48,877 Created build tracker: /tmp/pip-req-tracker-xonarwh4
2022-05-09T10:16:48,877 Entered build tracker: /tmp/pip-req-tracker-xonarwh4
2022-05-09T10:16:48,879 Created temporary directory: /tmp/pip-wheel-t6mvagk8
2022-05-09T10:16:48,934 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2022-05-09T10:16:48,938 2 location(s) to search for versions of certora-cli-alpha-master:
2022-05-09T10:16:48,938 * https://pypi.org/simple/certora-cli-alpha-master/
2022-05-09T10:16:48,938 * https://www.piwheels.org/simple/certora-cli-alpha-master/
2022-05-09T10:16:48,939 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/
2022-05-09T10:16:48,941 Getting page https://pypi.org/simple/certora-cli-alpha-master/
2022-05-09T10:16:48,946 Found index url https://pypi.org/simple
2022-05-09T10:16:49,260   Found link https://files.pythonhosted.org/packages/be/62/81a1799090d462673e4498d0012431de00158d6e2c1ff5950c787f15538c/certora-cli-alpha-master-20220509.10.2.tar.gz#sha256=f51630360336594edb6c1ae86a878e03db7bcc8068fd79a6d325ac3b50e3ddd9 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220509.10.2
2022-05-09T10:16:49,261   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/38/0e/daf635e25d6cdcad1a976deb6c256793034f934d4ef0193c90a2d971e475/certora_cli_alpha_master-20220509.10.2-py3-none-any.whl#sha256=5f353e87bc6a2b41e9bf010032b08359aad3b157aed92d5edc65566a18812e3b (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5)
2022-05-09T10:16:49,262 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/
2022-05-09T10:16:49,263 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/
2022-05-09T10:16:49,265 Found index url https://www.piwheels.org/simple
2022-05-09T10:16:49,524 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates
2022-05-09T10:16:49,556 Collecting certora-cli-alpha-master==20220509.10.2
2022-05-09T10:16:49,560   Created temporary directory: /tmp/pip-unpack-cphbnxka
2022-05-09T10:16:49,798   Downloading certora-cli-alpha-master-20220509.10.2.tar.gz (89 kB)
2022-05-09T10:16:50,072   Added certora-cli-alpha-master==20220509.10.2 from https://files.pythonhosted.org/packages/be/62/81a1799090d462673e4498d0012431de00158d6e2c1ff5950c787f15538c/certora-cli-alpha-master-20220509.10.2.tar.gz#sha256=f51630360336594edb6c1ae86a878e03db7bcc8068fd79a6d325ac3b50e3ddd9 to build tracker '/tmp/pip-req-tracker-xonarwh4'
2022-05-09T10:16:50,074     Running setup.py (path:/tmp/pip-wheel-t6mvagk8/certora-cli-alpha-master_68aea3280cd64a7e84b661ad62584a3e/setup.py) egg_info for package certora-cli-alpha-master
2022-05-09T10:16:50,075     Created temporary directory: /tmp/pip-pip-egg-info-eoq2dl64
2022-05-09T10:16:50,076     Running command python setup.py egg_info
2022-05-09T10:16:52,539     running egg_info
2022-05-09T10:16:52,547     creating /tmp/pip-pip-egg-info-eoq2dl64/certora_cli_alpha_master.egg-info
2022-05-09T10:16:52,550     writing /tmp/pip-pip-egg-info-eoq2dl64/certora_cli_alpha_master.egg-info/PKG-INFO
2022-05-09T10:16:52,554     writing dependency_links to /tmp/pip-pip-egg-info-eoq2dl64/certora_cli_alpha_master.egg-info/dependency_links.txt
2022-05-09T10:16:52,556     writing entry points to /tmp/pip-pip-egg-info-eoq2dl64/certora_cli_alpha_master.egg-info/entry_points.txt
2022-05-09T10:16:52,558     writing top-level names to /tmp/pip-pip-egg-info-eoq2dl64/certora_cli_alpha_master.egg-info/top_level.txt
2022-05-09T10:16:52,561     writing requirements to /tmp/pip-pip-egg-info-eoq2dl64/certora_cli_alpha_master.egg-info/requires.txt
2022-05-09T10:16:52,566     writing manifest file '/tmp/pip-pip-egg-info-eoq2dl64/certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-09T10:16:52,958     reading manifest file '/tmp/pip-pip-egg-info-eoq2dl64/certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-09T10:16:52,961     reading manifest template 'MANIFEST.in'
2022-05-09T10:16:52,964     warning: no files found matching '*.jar' under directory 'certora_jars'
2022-05-09T10:16:52,977     writing manifest file '/tmp/pip-pip-egg-info-eoq2dl64/certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-09T10:16:53,123   Source in /tmp/pip-wheel-t6mvagk8/certora-cli-alpha-master_68aea3280cd64a7e84b661ad62584a3e has version 20220509.10.2, which satisfies requirement certora-cli-alpha-master==20220509.10.2 from https://files.pythonhosted.org/packages/be/62/81a1799090d462673e4498d0012431de00158d6e2c1ff5950c787f15538c/certora-cli-alpha-master-20220509.10.2.tar.gz#sha256=f51630360336594edb6c1ae86a878e03db7bcc8068fd79a6d325ac3b50e3ddd9
2022-05-09T10:16:53,125   Removed certora-cli-alpha-master==20220509.10.2 from https://files.pythonhosted.org/packages/be/62/81a1799090d462673e4498d0012431de00158d6e2c1ff5950c787f15538c/certora-cli-alpha-master-20220509.10.2.tar.gz#sha256=f51630360336594edb6c1ae86a878e03db7bcc8068fd79a6d325ac3b50e3ddd9 from build tracker '/tmp/pip-req-tracker-xonarwh4'
2022-05-09T10:16:53,137 Created temporary directory: /tmp/pip-unpack-qql_fg9t
2022-05-09T10:16:53,138 Building wheels for collected packages: certora-cli-alpha-master
2022-05-09T10:16:53,147   Created temporary directory: /tmp/pip-wheel-w6w0uim4
2022-05-09T10:16:53,148   Building wheel for certora-cli-alpha-master (setup.py): started
2022-05-09T10:16:53,149   Destination directory: /tmp/pip-wheel-w6w0uim4
2022-05-09T10:16:53,149   Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-t6mvagk8/certora-cli-alpha-master_68aea3280cd64a7e84b661ad62584a3e/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-t6mvagk8/certora-cli-alpha-master_68aea3280cd64a7e84b661ad62584a3e/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-w6w0uim4
2022-05-09T10:16:55,624   running bdist_wheel
2022-05-09T10:16:55,640   running build
2022-05-09T10:16:55,641   running build_py
2022-05-09T10:16:55,973   creating build
2022-05-09T10:16:55,974   creating build/lib
2022-05-09T10:16:55,976   creating build/lib/certora_cli
2022-05-09T10:16:55,978   copying certora_cli/__init__.py -> build/lib/certora_cli
2022-05-09T10:16:55,982   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2022-05-09T10:16:55,995   creating build/lib/certora_cli/Shared
2022-05-09T10:16:55,997   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2022-05-09T10:16:56,002   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2022-05-09T10:16:56,007   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2022-05-09T10:16:56,014   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2022-05-09T10:16:56,024   creating build/lib/certora_cli/certora_jars
2022-05-09T10:16:56,026   copying certora_cli/certora_jars/__init__.py -> build/lib/certora_cli/certora_jars
2022-05-09T10:16:56,034   creating build/lib/certora_cli/EVMVerifier
2022-05-09T10:16:56,036   copying certora_cli/EVMVerifier/certoraDualArg.py -> build/lib/certora_cli/EVMVerifier
2022-05-09T10:16:56,048   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2022-05-09T10:16:56,053   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2022-05-09T10:16:56,059   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2022-05-09T10:16:56,066   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2022-05-09T10:16:56,086   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2022-05-09T10:16:56,096   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2022-05-09T10:16:56,103   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2022-05-09T10:16:56,110   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2022-05-09T10:16:56,115   running egg_info
2022-05-09T10:16:56,150   writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt
2022-05-09T10:16:56,152   writing certora_cli_alpha_master.egg-info/PKG-INFO
2022-05-09T10:16:56,156   writing requirements to certora_cli_alpha_master.egg-info/requires.txt
2022-05-09T10:16:56,159   writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt
2022-05-09T10:16:56,161   writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt
2022-05-09T10:16:56,210   reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-09T10:16:56,215   reading manifest template 'MANIFEST.in'
2022-05-09T10:16:56,216   warning: no files found matching '*.jar' under directory 'certora_jars'
2022-05-09T10:16:56,224   writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-09T10:16:56,245   installing to build/bdist.linux-armv7l/wheel
2022-05-09T10:16:56,246   running install
2022-05-09T10:16:56,248   running install_lib
2022-05-09T10:16:56,256   creating build/bdist.linux-armv7l
2022-05-09T10:16:56,257   creating build/bdist.linux-armv7l/wheel
2022-05-09T10:16:56,261   creating build/bdist.linux-armv7l/wheel/certora_cli
2022-05-09T10:16:56,264   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-09T10:16:56,266   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-09T10:16:56,272   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-09T10:16:56,277   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-09T10:16:56,283   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-09T10:16:56,292   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2022-05-09T10:16:56,298   creating build/bdist.linux-armv7l/wheel/certora_cli/certora_jars
2022-05-09T10:16:56,300   copying build/lib/certora_cli/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/certora_jars
2022-05-09T10:16:56,305   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2022-05-09T10:16:56,319   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-09T10:16:56,321   copying build/lib/certora_cli/EVMVerifier/certoraDualArg.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-09T10:16:56,327   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-09T10:16:56,330   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-09T10:16:56,336   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-09T10:16:56,343   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-09T10:16:56,363   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-09T10:16:56,373   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-09T10:16:56,379   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-09T10:16:56,386   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-09T10:16:56,390   running install_egg_info
2022-05-09T10:16:56,406   Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20220509.10.2-py3.5.egg-info
2022-05-09T10:16:56,434   running install_scripts
2022-05-09T10:16:56,627   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20220509.10.2.dist-info/WHEEL
2022-05-09T10:16:56,955   Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done'
2022-05-09T10:16:56,960   Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20220509.10.2-py3-none-any.whl size=97026 sha256=ea5519c8c826b0571b43665d74c9e78fd7437d90068fdc9e5e15910b95d9fa47
2022-05-09T10:16:56,961   Stored in directory: /tmp/pip-ephem-wheel-cache-vgpqqdsc/wheels/d0/25/72/da25d161146f818b3425f170049c2b5ace1f90bc2c6ea8f820
2022-05-09T10:16:56,979 Successfully built certora-cli-alpha-master
2022-05-09T10:16:57,001 Removed build tracker: '/tmp/pip-req-tracker-xonarwh4'