2023-07-25T09:37:41,266 Created temporary directory: /tmp/pip-build-tracker-c9svu96e
2023-07-25T09:37:41,267 Initialized build tracking at /tmp/pip-build-tracker-c9svu96e
2023-07-25T09:37:41,267 Created build tracker: /tmp/pip-build-tracker-c9svu96e
2023-07-25T09:37:41,268 Entered build tracker: /tmp/pip-build-tracker-c9svu96e
2023-07-25T09:37:41,268 Created temporary directory: /tmp/pip-wheel-ol9lenmi
2023-07-25T09:37:41,272 Created temporary directory: /tmp/pip-ephem-wheel-cache-d_tl8eoz
2023-07-25T09:37:41,299 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-07-25T09:37:41,303 2 location(s) to search for versions of certora-cli-alpha-nast-mutation-test:
2023-07-25T09:37:41,303 * https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T09:37:41,303 * https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T09:37:41,303 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T09:37:41,304 Getting page https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T09:37:41,306 Found index url https://pypi.org/simple/
2023-07-25T09:37:41,376 Fetched page https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ as application/vnd.pypi.simple.v1+json
2023-07-25T09:37:41,380   Found link https://files.pythonhosted.org/packages/17/d5/3d6c46f4f9a33de2eccf5260cdb7e3b5c348efadf944c9b3dcbb4f1f7a34/certora-cli-alpha-nast-mutation-test-20230719.15.53.919804.tar.gz (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8), version: 20230719.15.53.919804
2023-07-25T09:37:41,381   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/6e/3a/de2a411fcb8d80c9d58ebfd4b1086d9338ed7ab85b8555ce2111cd9d02e5/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T09:37:41,381   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/00/40/00cd4b9113821e438cbf9e857246ff5d20fbbfe2cfcb7d8a97acada01cf9/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T09:37:41,381   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/82/0a/0b949589e4ec267ab2c19831067a826231fec0ad087bd3812a0dc448288d/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T09:37:41,382   Found link https://files.pythonhosted.org/packages/85/c7/9c1f08c47e8f0d8f89065c9df0db0b9ee53ba940028e70a9d37492135b25/certora-cli-alpha-nast-mutation-test-20230725.8.57.697813.tar.gz (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8), version: 20230725.8.57.697813
2023-07-25T09:37:41,382   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/ab/ec/4f20eb41be56a49409f9f6e7950db1b997166986ef1961954b20dbd92128/certora_cli_alpha_nast_mutation_test-20230725.8.57.697813-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T09:37:41,383   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/cb/91/0dd3cbc8e1bded0e5eaf8eb515845c371890406540c3752d4f91acfd8106/certora_cli_alpha_nast_mutation_test-20230725.8.57.697813-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T09:37:41,383   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/b1/b7/955bbbf53284d70676a2076d0e4b6394aa5a6bbcc0be0caf113d36aca018/certora_cli_alpha_nast_mutation_test-20230725.8.57.697813-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T09:37:41,384 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T09:37:41,384 Getting page https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T09:37:41,385 Found index url https://www.piwheels.org/simple/
2023-07-25T09:37:41,553 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ as text/html
2023-07-25T09:37:41,554   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3-none-any.whl#sha256=13c33b992f79f8ecb3a879c16a91982e13e4cbb3b700a61a1cf5189f75f8bdb6 (from https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T09:37:41,554 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T09:37:41,554 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T09:37:41,572 Given no hashes to check 1 links for project 'certora-cli-alpha-nast-mutation-test': discarding no candidates
2023-07-25T09:37:41,590 Collecting certora-cli-alpha-nast-mutation-test==20230725.8.57.697813
2023-07-25T09:37:41,592   Created temporary directory: /tmp/pip-unpack-whhojbri
2023-07-25T09:37:41,735   Downloading certora-cli-alpha-nast-mutation-test-20230725.8.57.697813.tar.gz (37.5 MB)
2023-07-25T09:37:50,911   Added certora-cli-alpha-nast-mutation-test==20230725.8.57.697813 from https://files.pythonhosted.org/packages/85/c7/9c1f08c47e8f0d8f89065c9df0db0b9ee53ba940028e70a9d37492135b25/certora-cli-alpha-nast-mutation-test-20230725.8.57.697813.tar.gz to build tracker '/tmp/pip-build-tracker-c9svu96e'
2023-07-25T09:37:50,913   Running setup.py (path:/tmp/pip-wheel-ol9lenmi/certora-cli-alpha-nast-mutation-test_d23c5d3c3af442f58c9d66a810ae6741/setup.py) egg_info for package certora-cli-alpha-nast-mutation-test
2023-07-25T09:37:50,914   Created temporary directory: /tmp/pip-pip-egg-info-dcqigy12
2023-07-25T09:37:50,914   Preparing metadata (setup.py): started
2023-07-25T09:37:50,915   Running command python setup.py egg_info
2023-07-25T09:37:51,507   running egg_info
2023-07-25T09:37:51,509   creating /tmp/pip-pip-egg-info-dcqigy12/certora_cli_alpha_nast_mutation_test.egg-info
2023-07-25T09:37:51,536   writing /tmp/pip-pip-egg-info-dcqigy12/certora_cli_alpha_nast_mutation_test.egg-info/PKG-INFO
2023-07-25T09:37:51,538   writing dependency_links to /tmp/pip-pip-egg-info-dcqigy12/certora_cli_alpha_nast_mutation_test.egg-info/dependency_links.txt
2023-07-25T09:37:51,540   writing entry points to /tmp/pip-pip-egg-info-dcqigy12/certora_cli_alpha_nast_mutation_test.egg-info/entry_points.txt
2023-07-25T09:37:51,541   writing requirements to /tmp/pip-pip-egg-info-dcqigy12/certora_cli_alpha_nast_mutation_test.egg-info/requires.txt
2023-07-25T09:37:51,542   writing top-level names to /tmp/pip-pip-egg-info-dcqigy12/certora_cli_alpha_nast_mutation_test.egg-info/top_level.txt
2023-07-25T09:37:51,544   writing manifest file '/tmp/pip-pip-egg-info-dcqigy12/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-07-25T09:37:51,627   reading manifest file '/tmp/pip-pip-egg-info-dcqigy12/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-07-25T09:37:51,628   reading manifest template 'MANIFEST.in'
2023-07-25T09:37:51,633   warning: no files found matching 'gambit' under directory 'certora_bins'
2023-07-25T09:37:51,674   adding license file 'LICENSE'
2023-07-25T09:37:51,678   writing manifest file '/tmp/pip-pip-egg-info-dcqigy12/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-07-25T09:37:51,737   Preparing metadata (setup.py): finished with status 'done'
2023-07-25T09:37:51,743   Source in /tmp/pip-wheel-ol9lenmi/certora-cli-alpha-nast-mutation-test_d23c5d3c3af442f58c9d66a810ae6741 has version 20230725.8.57.697813, which satisfies requirement certora-cli-alpha-nast-mutation-test==20230725.8.57.697813 from https://files.pythonhosted.org/packages/85/c7/9c1f08c47e8f0d8f89065c9df0db0b9ee53ba940028e70a9d37492135b25/certora-cli-alpha-nast-mutation-test-20230725.8.57.697813.tar.gz
2023-07-25T09:37:51,743   Removed certora-cli-alpha-nast-mutation-test==20230725.8.57.697813 from https://files.pythonhosted.org/packages/85/c7/9c1f08c47e8f0d8f89065c9df0db0b9ee53ba940028e70a9d37492135b25/certora-cli-alpha-nast-mutation-test-20230725.8.57.697813.tar.gz from build tracker '/tmp/pip-build-tracker-c9svu96e'
2023-07-25T09:37:51,750 Created temporary directory: /tmp/pip-unpack-jue4k8zf
2023-07-25T09:37:51,750 Building wheels for collected packages: certora-cli-alpha-nast-mutation-test
2023-07-25T09:37:51,754   Created temporary directory: /tmp/pip-wheel-9_guymmb
2023-07-25T09:37:51,754   Building wheel for certora-cli-alpha-nast-mutation-test (setup.py): started
2023-07-25T09:37:51,755   Destination directory: /tmp/pip-wheel-9_guymmb
2023-07-25T09:37:51,755   Running command python setup.py bdist_wheel
2023-07-25T09:37:52,381   running bdist_wheel
2023-07-25T09:37:52,678   running build
2023-07-25T09:37:52,678   running build_py
2023-07-25T09:37:52,726   creating build
2023-07-25T09:37:52,727   creating build/lib
2023-07-25T09:37:52,728   creating build/lib/certora_jars
2023-07-25T09:37:52,729   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-07-25T09:37:52,732   creating build/lib/certora_bins
2023-07-25T09:37:52,733   copying certora_bins/__init__.py -> build/lib/certora_bins
2023-07-25T09:37:52,736   creating build/lib/certora_cli
2023-07-25T09:37:52,737   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-07-25T09:37:52,741   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-07-25T09:37:52,744   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-07-25T09:37:52,745   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2023-07-25T09:37:52,748   creating build/lib/certora_cli/Shared
2023-07-25T09:37:52,749   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-07-25T09:37:52,754   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-07-25T09:37:52,756   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-07-25T09:37:52,759   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-07-25T09:37:52,763   creating build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,764   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,772   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,776   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,778   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,781   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,784   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,787   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,789   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,792   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,794   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,798   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,802   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,806   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,808   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T09:37:52,811   creating build/lib/certora_cli/EquivalenceCheck
2023-07-25T09:37:52,813   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2023-07-25T09:37:52,816   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2023-07-25T09:37:52,818   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-07-25T09:37:52,819   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-07-25T09:37:52,823   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-07-25T09:37:52,825   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-07-25T09:37:52,837   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-07-25T09:37:52,840   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-07-25T09:37:52,842   running egg_info
2023-07-25T09:37:52,906   writing certora_cli_alpha_nast_mutation_test.egg-info/PKG-INFO
2023-07-25T09:37:52,914   writing dependency_links to certora_cli_alpha_nast_mutation_test.egg-info/dependency_links.txt
2023-07-25T09:37:52,918   writing entry points to certora_cli_alpha_nast_mutation_test.egg-info/entry_points.txt
2023-07-25T09:37:52,920   writing requirements to certora_cli_alpha_nast_mutation_test.egg-info/requires.txt
2023-07-25T09:37:52,921   writing top-level names to certora_cli_alpha_nast_mutation_test.egg-info/top_level.txt
2023-07-25T09:37:52,954   reading manifest file 'certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-07-25T09:37:52,961   reading manifest template 'MANIFEST.in'
2023-07-25T09:37:52,967   warning: no files found matching 'gambit' under directory 'certora_bins'
2023-07-25T09:37:53,015   adding license file 'LICENSE'
2023-07-25T09:37:53,019   writing manifest file 'certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-07-25T09:37:53,023   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-07-25T09:37:53,025   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-07-25T09:37:53,262   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-07-25T09:37:53,423   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-07-25T09:37:53,636   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2023-07-25T09:37:53,638   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2023-07-25T09:37:53,641   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2023-07-25T09:37:53,643   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2023-07-25T09:37:53,645   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2023-07-25T09:37:53,680   /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-07-25T09:37:53,680   !!

2023-07-25T09:37:53,680           ********************************************************************************
2023-07-25T09:37:53,680           Please avoid running ``setup.py`` directly.
2023-07-25T09:37:53,680           Instead, use pypa/build, pypa/installer, pypa/build or
2023-07-25T09:37:53,681           other standards-based tools.

2023-07-25T09:37:53,681           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-07-25T09:37:53,681           ********************************************************************************

2023-07-25T09:37:53,681   !!
2023-07-25T09:37:53,682     self.initialize_options()
2023-07-25T09:37:53,709   installing to build/bdist.linux-armv7l/wheel
2023-07-25T09:37:53,709   running install
2023-07-25T09:37:53,737   running install_lib
2023-07-25T09:37:53,764   creating build/bdist.linux-armv7l
2023-07-25T09:37:53,765   creating build/bdist.linux-armv7l/wheel
2023-07-25T09:37:53,767   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-07-25T09:37:53,768   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-07-25T09:37:54,535   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-07-25T09:37:54,702   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-07-25T09:37:54,705   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-07-25T09:37:54,708   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-07-25T09:37:54,973   creating build/bdist.linux-armv7l/wheel/certora_bins
2023-07-25T09:37:54,973   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/certora_bins
2023-07-25T09:37:54,976   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-07-25T09:37:54,977   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-07-25T09:37:54,980   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-07-25T09:37:54,982   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-07-25T09:37:54,984   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-07-25T09:37:54,986   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-07-25T09:37:54,986   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-07-25T09:37:54,989   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-07-25T09:37:54,991   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-07-25T09:37:54,993   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-07-25T09:37:54,996   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:54,997   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:55,004   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:55,008   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:55,010   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:55,013   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:55,014   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:55,016   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:55,018   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:55,021   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:55,022   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:55,025   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:55,029   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-07-25T09:37:55,030   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-07-25T09:37:55,033   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-07-25T09:37:55,034   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-07-25T09:37:55,036   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-07-25T09:37:55,038   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-07-25T09:37:55,040   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:55,043   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:55,045   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T09:37:55,048   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T09:37:55,049   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T09:37:55,050   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T09:37:55,052   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T09:37:55,054   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T09:37:55,056   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T09:37:55,058   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T09:37:55,059   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T09:37:55,061   running install_egg_info
2023-07-25T09:37:55,092   Copying certora_cli_alpha_nast_mutation_test.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_nast_mutation_test-20230725.8.57.697813-py3.9.egg-info
2023-07-25T09:37:55,103   running install_scripts
2023-07-25T09:37:55,119   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_nast_mutation_test-20230725.8.57.697813.dist-info/WHEEL
2023-07-25T09:37:55,121   creating '/tmp/pip-wheel-9_guymmb/certora_cli_alpha_nast_mutation_test-20230725.8.57.697813-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-07-25T09:37:55,123   adding 'certora_bins/__init__.py'
2023-07-25T09:37:55,125   adding 'certora_cli/__init__.py'
2023-07-25T09:37:55,126   adding 'certora_cli/certoraEqCheck.py'
2023-07-25T09:37:55,131   adding 'certora_cli/certoraMutate.py'
2023-07-25T09:37:55,133   adding 'certora_cli/certoraRun.py'
2023-07-25T09:37:55,135   adding 'certora_cli/EVMVerifier/__init__.py'
2023-07-25T09:37:55,159   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-07-25T09:37:55,166   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-07-25T09:37:55,168   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-07-25T09:37:55,170   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-07-25T09:37:55,174   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-07-25T09:37:55,178   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-07-25T09:37:55,180   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-07-25T09:37:55,185   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-07-25T09:37:55,187   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-07-25T09:37:55,189   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-07-25T09:37:55,190   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-07-25T09:37:55,193   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-07-25T09:37:55,197   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-07-25T09:37:55,199   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-07-25T09:37:55,201   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-07-25T09:37:55,203   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-07-25T09:37:55,207   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-07-25T09:37:55,209   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-07-25T09:37:55,212   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2023-07-25T09:37:55,213   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2023-07-25T09:37:55,214   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2023-07-25T09:37:55,215   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2023-07-25T09:37:55,217   adding 'certora_cli/EquivalenceCheck/__init__.py'
2023-07-25T09:37:55,219   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2023-07-25T09:37:55,221   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2023-07-25T09:37:55,223   adding 'certora_cli/Shared/__init__.py'
2023-07-25T09:37:55,225   adding 'certora_cli/Shared/certoraLogging.py'
2023-07-25T09:37:55,227   adding 'certora_cli/Shared/certoraTester.py'
2023-07-25T09:37:55,233   adding 'certora_cli/Shared/certoraUtils.py'
2023-07-25T09:37:55,237   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-07-25T09:37:57,034   adding 'certora_jars/MutationTest.jar'
2023-07-25T09:37:58,378   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-07-25T09:38:00,079   adding 'certora_jars/Typechecker.jar'
2023-07-25T09:38:00,168   adding 'certora_jars/__init__.py'
2023-07-25T09:38:00,170   adding 'certora_cli_alpha_nast_mutation_test-20230725.8.57.697813.dist-info/LICENSE'
2023-07-25T09:38:00,171   adding 'certora_cli_alpha_nast_mutation_test-20230725.8.57.697813.dist-info/METADATA'
2023-07-25T09:38:00,172   adding 'certora_cli_alpha_nast_mutation_test-20230725.8.57.697813.dist-info/WHEEL'
2023-07-25T09:38:00,173   adding 'certora_cli_alpha_nast_mutation_test-20230725.8.57.697813.dist-info/entry_points.txt'
2023-07-25T09:38:00,174   adding 'certora_cli_alpha_nast_mutation_test-20230725.8.57.697813.dist-info/top_level.txt'
2023-07-25T09:38:00,175   adding 'certora_cli_alpha_nast_mutation_test-20230725.8.57.697813.dist-info/RECORD'
2023-07-25T09:38:00,567   removing build/bdist.linux-armv7l/wheel
2023-07-25T09:38:00,682   Building wheel for certora-cli-alpha-nast-mutation-test (setup.py): finished with status 'done'
2023-07-25T09:38:01,054   Created wheel for certora-cli-alpha-nast-mutation-test: filename=certora_cli_alpha_nast_mutation_test-20230725.8.57.697813-py3-none-any.whl size=37504286 sha256=30de614c49904bb0f740b6ffaacf4a8e5ffe6fb0f5a131ce3b755b21090d2c39
2023-07-25T09:38:01,055   Stored in directory: /tmp/pip-ephem-wheel-cache-d_tl8eoz/wheels/59/e1/7e/60f28fc3b169174ff0beca3119e0567a00c02992c582825c83
2023-07-25T09:38:01,079 Successfully built certora-cli-alpha-nast-mutation-test
2023-07-25T09:38:01,977 Removed build tracker: '/tmp/pip-build-tracker-c9svu96e'