2025-06-02T03:31:27,513 Created temporary directory: /tmp/pip-build-tracker-43e31zc5 2025-06-02T03:31:27,514 Initialized build tracking at /tmp/pip-build-tracker-43e31zc5 2025-06-02T03:31:27,514 Created build tracker: /tmp/pip-build-tracker-43e31zc5 2025-06-02T03:31:27,515 Entered build tracker: /tmp/pip-build-tracker-43e31zc5 2025-06-02T03:31:27,515 Created temporary directory: /tmp/pip-wheel-j6ypvrpr 2025-06-02T03:31:27,519 Created temporary directory: /tmp/pip-ephem-wheel-cache-zmm89_ou 2025-06-02T03:31:27,576 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-06-02T03:31:27,578 2 location(s) to search for versions of bppy: 2025-06-02T03:31:27,578 * https://pypi.org/simple/bppy/ 2025-06-02T03:31:27,578 * https://www.piwheels.org/simple/bppy/ 2025-06-02T03:31:27,579 Fetching project page and analyzing links: https://pypi.org/simple/bppy/ 2025-06-02T03:31:27,580 Getting page https://pypi.org/simple/bppy/ 2025-06-02T03:31:27,581 Found index url https://pypi.org/simple/ 2025-06-02T03:31:27,809 Fetched page https://pypi.org/simple/bppy/ as application/vnd.pypi.simple.v1+json 2025-06-02T03:31:27,819 Skipping link: No binaries permitted for bppy: https://files.pythonhosted.org/packages/55/2b/88245527ee5c34c4867a49853d5ff24ebb993067a7474994c3bd403ef7f5/bppy-0.0.2-py3-none-any.whl (from https://pypi.org/simple/bppy/) 2025-06-02T03:31:27,820 Found link https://files.pythonhosted.org/packages/89/49/8596cd3a44d9b4ae6ffbdcbdcd719d59b1954500487d12b8609db6970be9/bppy-0.0.2.tar.gz (from https://pypi.org/simple/bppy/), version: 0.0.2 2025-06-02T03:31:27,821 Skipping link: No binaries permitted for bppy: https://files.pythonhosted.org/packages/21/72/8a7728357db944d022e1be77920b4cf3325501b66d016e6abdd4c848dac4/bppy-0.0.3-py3-none-any.whl (from https://pypi.org/simple/bppy/) 2025-06-02T03:31:27,822 Found link https://files.pythonhosted.org/packages/3f/b4/adc568009fe24d495207d1e7403d2aea4ae4178054a46b1d4645adb0bfa3/bppy-0.0.3.tar.gz (from https://pypi.org/simple/bppy/), version: 0.0.3 2025-06-02T03:31:27,823 Skipping link: No binaries permitted for bppy: https://files.pythonhosted.org/packages/4a/c3/1279f3f08fb4b847a4ece7cf4b4282f08247521ccefe0b68938855e1ccd0/bppy-0.0.4-py3-none-any.whl (from https://pypi.org/simple/bppy/) 2025-06-02T03:31:27,824 Found link https://files.pythonhosted.org/packages/17/35/6b03eb99185f86023ce35e048e7f6eb90ba6da1a9d7f9aa64e46afabf3a4/bppy-0.0.4.tar.gz (from https://pypi.org/simple/bppy/), version: 0.0.4 2025-06-02T03:31:27,825 Skipping link: No binaries permitted for bppy: https://files.pythonhosted.org/packages/66/43/5eb0a098331aab421148298759f62899f052cdc67dd43ab15970702b4c63/bppy-0.0.5-py3-none-any.whl (from https://pypi.org/simple/bppy/) 2025-06-02T03:31:27,826 Found link https://files.pythonhosted.org/packages/e2/3c/3a33e7181adac143f9b2bd5bb3e01bd9361c86740a64b0dcefbbba61a1f0/bppy-0.0.5.tar.gz (from https://pypi.org/simple/bppy/), version: 0.0.5 2025-06-02T03:31:27,828 Skipping link: No binaries permitted for bppy: https://files.pythonhosted.org/packages/31/34/315bb8d46524d600c7ec307838181d340b3117a8dd58d557756a39fa6d3f/bppy-0.0.6-py3-none-any.whl (from https://pypi.org/simple/bppy/) 2025-06-02T03:31:27,828 Found link https://files.pythonhosted.org/packages/7b/ab/cec5b88e283dc107dadffc6e20f71d4133a129415e3fe438256b563402fc/bppy-0.0.6.tar.gz (from https://pypi.org/simple/bppy/), version: 0.0.6 2025-06-02T03:31:27,829 Skipping link: No binaries permitted for bppy: https://files.pythonhosted.org/packages/0c/65/c4a2a9d36df0d039ead2a0438a5d860e25b847b4cadbdfd877c31f26e5ed/bppy-0.0.7-py3-none-any.whl (from https://pypi.org/simple/bppy/) (requires-python:>=3.4) 2025-06-02T03:31:27,830 Found link https://files.pythonhosted.org/packages/f5/52/8a167c5ef24fba5c5a31f5d41d9e592f775ad024dbffd051b436c23458b7/bppy-0.0.7.tar.gz (from https://pypi.org/simple/bppy/) (requires-python:>=3.4), version: 0.0.7 2025-06-02T03:31:27,831 Skipping link: No binaries permitted for bppy: https://files.pythonhosted.org/packages/40/04/caba7b962678060a0b33eba92a9c45f20858239400c19308979383c81cc1/bppy-0.0.8-py3-none-any.whl (from https://pypi.org/simple/bppy/) (requires-python:>=3.4) 2025-06-02T03:31:27,831 Found link https://files.pythonhosted.org/packages/ae/ea/b91cb5e347d67c5523dfd19cfabde29608a29494bbd4453faac63b64afd2/bppy-0.0.8.tar.gz (from https://pypi.org/simple/bppy/) (requires-python:>=3.4), version: 0.0.8 2025-06-02T03:31:27,832 Skipping link: No binaries permitted for bppy: https://files.pythonhosted.org/packages/98/71/e6befe2303bad1e51ad710815200f01a77c14f48a72986239b5c0eef630e/bppy-0.0.9-py3-none-any.whl (from https://pypi.org/simple/bppy/) (requires-python:>=3.4) 2025-06-02T03:31:27,833 Found link https://files.pythonhosted.org/packages/21/ed/79b05a0ea4a4a8e6b545b7a2470ff4b24c66670ebfbb6241f30552b5bbea/bppy-0.0.9.tar.gz (from https://pypi.org/simple/bppy/) (requires-python:>=3.4), version: 0.0.9 2025-06-02T03:31:27,833 Skipping link: No binaries permitted for bppy: https://files.pythonhosted.org/packages/03/b8/b3cbaf858f5633106cdd9383bb674e0ff732db8c3b6c7c7be184d0191a0f/bppy-0.0.10-py3-none-any.whl (from https://pypi.org/simple/bppy/) (requires-python:>=3.4) 2025-06-02T03:31:27,834 Found link https://files.pythonhosted.org/packages/f3/00/f20d117d7b096a911a04bebec5e93c613887d6ce582a3f405e32e276c3cf/bppy-0.0.10.tar.gz (from https://pypi.org/simple/bppy/) (requires-python:>=3.4), version: 0.0.10 2025-06-02T03:31:27,834 Skipping link: No binaries permitted for bppy: https://files.pythonhosted.org/packages/f6/e1/7227cd2a77b5daef2e951cbd8da8923a02893016f2762d4629dc666999e7/bppy-0.0.11-py3-none-any.whl (from https://pypi.org/simple/bppy/) (requires-python:>=3.4) 2025-06-02T03:31:27,835 Found link https://files.pythonhosted.org/packages/77/98/b3b028e4cb2dbb4e690b9f12df55cce52330b7e26af100d05e1eaee741dc/bppy-0.0.11.tar.gz (from https://pypi.org/simple/bppy/) (requires-python:>=3.4), version: 0.0.11 2025-06-02T03:31:27,835 Skipping link: No binaries permitted for bppy: https://files.pythonhosted.org/packages/d4/c3/b986d1f6d1829dcbdd00dd6ed6e609bf59a2498fa947afe7a1cc93cfec02/bppy-1.0.0-py3-none-any.whl (from https://pypi.org/simple/bppy/) (requires-python:>=3.4) 2025-06-02T03:31:27,836 Found link https://files.pythonhosted.org/packages/aa/a7/d167870c3a0a61349f6acf072bf59b18478275ea99577a12747ba24e4afc/bppy-1.0.0.tar.gz (from https://pypi.org/simple/bppy/) (requires-python:>=3.4), version: 1.0.0 2025-06-02T03:31:27,836 Skipping link: No binaries permitted for bppy: https://files.pythonhosted.org/packages/31/eb/440de3e490c12514fb57247565a201978caba1218f3703861114713502df/bppy-1.0.1-py3-none-any.whl (from https://pypi.org/simple/bppy/) (requires-python:>=3.4) 2025-06-02T03:31:27,837 Found link https://files.pythonhosted.org/packages/2e/bc/b4ead58e8a508e6a72247864baa2a85c1cdb5637a8246977f56dc6f6dcdd/bppy-1.0.1.tar.gz (from https://pypi.org/simple/bppy/) (requires-python:>=3.4), version: 1.0.1 2025-06-02T03:31:27,837 Skipping link: No binaries permitted for bppy: https://files.pythonhosted.org/packages/0f/e8/32808098a7bc5cc0509a87700434b3cdd4f99b69ec917ce6816ff40147d6/bppy-1.0.2-py3-none-any.whl (from https://pypi.org/simple/bppy/) (requires-python:>=3.9) 2025-06-02T03:31:27,839 Found link https://files.pythonhosted.org/packages/00/d6/be5e0770566a1fb9a3d63cc2d5da49f8009d4272b9b546e8c67d05403937/bppy-1.0.2.tar.gz (from https://pypi.org/simple/bppy/) (requires-python:>=3.9), version: 1.0.2 2025-06-02T03:31:27,839 Skipping link: No binaries permitted for bppy: https://files.pythonhosted.org/packages/63/d5/9fe4e5302c1aa117ec2575181d305cbd2b8fda8e627ab707175b956cba49/bppy-1.0.3-py3-none-any.whl (from https://pypi.org/simple/bppy/) (requires-python:>=3.9) 2025-06-02T03:31:27,840 Found link https://files.pythonhosted.org/packages/31/01/c353187146d7773e04fe218e71ed42bf74d14dcb2997ae8fbf28255adfa7/bppy-1.0.3.tar.gz (from https://pypi.org/simple/bppy/) (requires-python:>=3.9), version: 1.0.3 2025-06-02T03:31:27,841 Fetching project page and analyzing links: https://www.piwheels.org/simple/bppy/ 2025-06-02T03:31:27,841 Getting page https://www.piwheels.org/simple/bppy/ 2025-06-02T03:31:27,843 Found index url https://www.piwheels.org/simple/ 2025-06-02T03:31:28,000 WARNING: Retrying (Retry(total=4, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/bppy/ 2025-06-02T03:31:28,663 WARNING: Retrying (Retry(total=3, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/bppy/ 2025-06-02T03:31:29,830 WARNING: Retrying (Retry(total=2, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/bppy/ 2025-06-02T03:31:32,016 WARNING: Retrying (Retry(total=1, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/bppy/ 2025-06-02T03:31:36,190 WARNING: Retrying (Retry(total=0, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/bppy/ 2025-06-02T03:31:36,362 Could not fetch URL https://www.piwheels.org/simple/bppy/: There was a problem confirming the ssl certificate: HTTPSConnectionPool(host='www.piwheels.org', port=443): Max retries exceeded with url: /simple/bppy/ (Caused by SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))) - skipping 2025-06-02T03:31:36,364 Skipping link: not a file: https://www.piwheels.org/simple/bppy/ 2025-06-02T03:31:36,364 Skipping link: not a file: https://pypi.org/simple/bppy/ 2025-06-02T03:31:36,385 Given no hashes to check 1 links for project 'bppy': discarding no candidates 2025-06-02T03:31:36,387 Collecting bppy==1.0.3 2025-06-02T03:31:36,390 Created temporary directory: /tmp/pip-unpack-3b2ihoit 2025-06-02T03:31:36,616 Downloading bppy-1.0.3.tar.gz (27 kB) 2025-06-02T03:31:36,741 Added bppy==1.0.3 from https://files.pythonhosted.org/packages/31/01/c353187146d7773e04fe218e71ed42bf74d14dcb2997ae8fbf28255adfa7/bppy-1.0.3.tar.gz to build tracker '/tmp/pip-build-tracker-43e31zc5' 2025-06-02T03:31:36,743 Running setup.py (path:/tmp/pip-wheel-j6ypvrpr/bppy_acfd39e5d2454407bbbc56f17e118863/setup.py) egg_info for package bppy 2025-06-02T03:31:36,744 Created temporary directory: /tmp/pip-pip-egg-info-iiqbhwzf 2025-06-02T03:31:36,745 Preparing metadata (setup.py): started 2025-06-02T03:31:36,746 Running command python setup.py egg_info 2025-06-02T03:31:37,642 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-06-02T03:31:37,642 !! 2025-06-02T03:31:37,643 ******************************************************************************** 2025-06-02T03:31:37,644 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-06-02T03:31:37,645 License :: OSI Approved :: MIT License 2025-06-02T03:31:37,646 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-06-02T03:31:37,647 ******************************************************************************** 2025-06-02T03:31:37,648 !! 2025-06-02T03:31:37,648 self._finalize_license_expression() 2025-06-02T03:31:37,673 running egg_info 2025-06-02T03:31:37,702 creating /tmp/pip-pip-egg-info-iiqbhwzf/bppy.egg-info 2025-06-02T03:31:37,703 writing /tmp/pip-pip-egg-info-iiqbhwzf/bppy.egg-info/PKG-INFO 2025-06-02T03:31:37,710 writing dependency_links to /tmp/pip-pip-egg-info-iiqbhwzf/bppy.egg-info/dependency_links.txt 2025-06-02T03:31:37,714 writing requirements to /tmp/pip-pip-egg-info-iiqbhwzf/bppy.egg-info/requires.txt 2025-06-02T03:31:37,715 writing top-level names to /tmp/pip-pip-egg-info-iiqbhwzf/bppy.egg-info/top_level.txt 2025-06-02T03:31:37,716 writing manifest file '/tmp/pip-pip-egg-info-iiqbhwzf/bppy.egg-info/SOURCES.txt' 2025-06-02T03:31:37,814 reading manifest file '/tmp/pip-pip-egg-info-iiqbhwzf/bppy.egg-info/SOURCES.txt' 2025-06-02T03:31:37,816 reading manifest template 'MANIFEST.in' 2025-06-02T03:31:37,831 adding license file 'LICENSE' 2025-06-02T03:31:37,835 writing manifest file '/tmp/pip-pip-egg-info-iiqbhwzf/bppy.egg-info/SOURCES.txt' 2025-06-02T03:31:37,942 Preparing metadata (setup.py): finished with status 'done' 2025-06-02T03:31:37,946 Source in /tmp/pip-wheel-j6ypvrpr/bppy_acfd39e5d2454407bbbc56f17e118863 has version 1.0.3, which satisfies requirement bppy==1.0.3 from https://files.pythonhosted.org/packages/31/01/c353187146d7773e04fe218e71ed42bf74d14dcb2997ae8fbf28255adfa7/bppy-1.0.3.tar.gz 2025-06-02T03:31:37,947 Removed bppy==1.0.3 from https://files.pythonhosted.org/packages/31/01/c353187146d7773e04fe218e71ed42bf74d14dcb2997ae8fbf28255adfa7/bppy-1.0.3.tar.gz from build tracker '/tmp/pip-build-tracker-43e31zc5' 2025-06-02T03:31:37,956 Created temporary directory: /tmp/pip-unpack-odm38h8z 2025-06-02T03:31:37,957 Created temporary directory: /tmp/pip-unpack-occ2_gbc 2025-06-02T03:31:37,957 Building wheels for collected packages: bppy 2025-06-02T03:31:37,961 Created temporary directory: /tmp/pip-wheel-qrh8zkrf 2025-06-02T03:31:37,962 DEPRECATION: Building 'bppy' using the legacy setup.py bdist_wheel mechanism, which will be removed in a future version. pip 25.3 will enforce this behaviour change. A possible replacement is to use the standardized build interface by setting the `--use-pep517` option, (possibly combined with `--no-build-isolation`), or adding a `pyproject.toml` file to the source tree of 'bppy'. Discussion can be found at https://github.com/pypa/pip/issues/6334 2025-06-02T03:31:37,964 Building wheel for bppy (setup.py): started 2025-06-02T03:31:37,965 Destination directory: /tmp/pip-wheel-qrh8zkrf 2025-06-02T03:31:37,966 Running command python setup.py bdist_wheel 2025-06-02T03:31:38,795 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-06-02T03:31:38,795 !! 2025-06-02T03:31:38,796 ******************************************************************************** 2025-06-02T03:31:38,797 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-06-02T03:31:38,798 License :: OSI Approved :: MIT License 2025-06-02T03:31:38,800 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-06-02T03:31:38,800 ******************************************************************************** 2025-06-02T03:31:38,801 !! 2025-06-02T03:31:38,802 self._finalize_license_expression() 2025-06-02T03:31:38,802 running bdist_wheel 2025-06-02T03:31:38,937 running build 2025-06-02T03:31:38,938 running build_py 2025-06-02T03:31:38,969 creating build/lib/bppy 2025-06-02T03:31:38,972 copying bppy/__init__.py -> build/lib/bppy 2025-06-02T03:31:38,975 creating build/lib/bppy/utils 2025-06-02T03:31:38,977 copying bppy/utils/__init__.py -> build/lib/bppy/utils 2025-06-02T03:31:38,979 copying bppy/utils/exceptions.py -> build/lib/bppy/utils 2025-06-02T03:31:38,981 copying bppy/utils/weighted_sampling.py -> build/lib/bppy/utils 2025-06-02T03:31:38,984 copying bppy/utils/dfs.py -> build/lib/bppy/utils 2025-06-02T03:31:38,987 copying bppy/utils/z3helper.py -> build/lib/bppy/utils 2025-06-02T03:31:38,990 creating build/lib/bppy/model 2025-06-02T03:31:38,992 copying bppy/model/__init__.py -> build/lib/bppy/model 2025-06-02T03:31:38,994 copying bppy/model/b_event.py -> build/lib/bppy/model 2025-06-02T03:31:38,996 copying bppy/model/b_thread.py -> build/lib/bppy/model 2025-06-02T03:31:38,999 copying bppy/model/event_set.py -> build/lib/bppy/model 2025-06-02T03:31:39,001 copying bppy/model/bprogram.py -> build/lib/bppy/model 2025-06-02T03:31:39,004 copying bppy/model/sync_statement.py -> build/lib/bppy/model 2025-06-02T03:31:39,006 creating build/lib/bppy/execution 2025-06-02T03:31:39,008 copying bppy/execution/__init__.py -> build/lib/bppy/execution 2025-06-02T03:31:39,010 creating build/lib/bppy/gym 2025-06-02T03:31:39,012 copying bppy/gym/bp_action_space.py -> build/lib/bppy/gym 2025-06-02T03:31:39,014 copying bppy/gym/__init__.py -> build/lib/bppy/gym 2025-06-02T03:31:39,016 copying bppy/gym/bp_env.py -> build/lib/bppy/gym 2025-06-02T03:31:39,019 copying bppy/gym/simple_bp_observation_space.py -> build/lib/bppy/gym 2025-06-02T03:31:39,021 copying bppy/gym/bp_observation_space.py -> build/lib/bppy/gym 2025-06-02T03:31:39,024 creating build/lib/bppy/analysis 2025-06-02T03:31:39,025 copying bppy/analysis/__init__.py -> build/lib/bppy/analysis 2025-06-02T03:31:39,027 copying bppy/analysis/symbolic_bprogram_verifier.py -> build/lib/bppy/analysis 2025-06-02T03:31:39,030 copying bppy/analysis/bprogram_converter.py -> build/lib/bppy/analysis 2025-06-02T03:31:39,033 copying bppy/analysis/dfs_bprogram_verifier.py -> build/lib/bppy/analysis 2025-06-02T03:31:39,036 creating build/lib/bppy/model/event_selection 2025-06-02T03:31:39,037 copying bppy/model/event_selection/experimental_smt_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2025-06-02T03:31:39,040 copying bppy/model/event_selection/__init__.py -> build/lib/bppy/model/event_selection 2025-06-02T03:31:39,042 copying bppy/model/event_selection/smt_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2025-06-02T03:31:39,044 copying bppy/model/event_selection/simple_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2025-06-02T03:31:39,046 copying bppy/model/event_selection/priority_based_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2025-06-02T03:31:39,048 copying bppy/model/event_selection/event_selection_strategy.py -> build/lib/bppy/model/event_selection 2025-06-02T03:31:39,050 copying bppy/model/event_selection/rich_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2025-06-02T03:31:39,053 copying bppy/model/event_selection/solver_based_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2025-06-02T03:31:39,056 creating build/lib/bppy/execution/listeners 2025-06-02T03:31:39,057 copying bppy/execution/listeners/print_b_program_runner_listener.py -> build/lib/bppy/execution/listeners 2025-06-02T03:31:39,059 copying bppy/execution/listeners/__init__.py -> build/lib/bppy/execution/listeners 2025-06-02T03:31:39,061 copying bppy/execution/listeners/b_program_runner_listener.py -> build/lib/bppy/execution/listeners 2025-06-02T03:31:39,099 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-06-02T03:31:39,100 !! 2025-06-02T03:31:39,101 ******************************************************************************** 2025-06-02T03:31:39,102 Please avoid running ``setup.py`` directly. 2025-06-02T03:31:39,102 Instead, use pypa/build, pypa/installer or other 2025-06-02T03:31:39,103 standards-based tools. 2025-06-02T03:31:39,104 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-06-02T03:31:39,104 or your builds will no longer be supported. 2025-06-02T03:31:39,106 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-06-02T03:31:39,106 ******************************************************************************** 2025-06-02T03:31:39,107 !! 2025-06-02T03:31:39,108 self.initialize_options() 2025-06-02T03:31:39,129 installing to build/bdist.linux-armv7l/wheel 2025-06-02T03:31:39,130 running install 2025-06-02T03:31:39,155 running install_lib 2025-06-02T03:31:39,182 creating build/bdist.linux-armv7l/wheel 2025-06-02T03:31:39,183 creating build/bdist.linux-armv7l/wheel/bppy 2025-06-02T03:31:39,185 creating build/bdist.linux-armv7l/wheel/bppy/utils 2025-06-02T03:31:39,186 copying build/lib/bppy/utils/__init__.py -> build/bdist.linux-armv7l/wheel/./bppy/utils 2025-06-02T03:31:39,188 copying build/lib/bppy/utils/exceptions.py -> build/bdist.linux-armv7l/wheel/./bppy/utils 2025-06-02T03:31:39,189 copying build/lib/bppy/utils/weighted_sampling.py -> build/bdist.linux-armv7l/wheel/./bppy/utils 2025-06-02T03:31:39,191 copying build/lib/bppy/utils/dfs.py -> build/bdist.linux-armv7l/wheel/./bppy/utils 2025-06-02T03:31:39,193 copying build/lib/bppy/utils/z3helper.py -> build/bdist.linux-armv7l/wheel/./bppy/utils 2025-06-02T03:31:39,195 copying build/lib/bppy/__init__.py -> build/bdist.linux-armv7l/wheel/./bppy 2025-06-02T03:31:39,197 creating build/bdist.linux-armv7l/wheel/bppy/model 2025-06-02T03:31:39,198 copying build/lib/bppy/model/__init__.py -> build/bdist.linux-armv7l/wheel/./bppy/model 2025-06-02T03:31:39,200 copying build/lib/bppy/model/b_event.py -> build/bdist.linux-armv7l/wheel/./bppy/model 2025-06-02T03:31:39,202 copying build/lib/bppy/model/b_thread.py -> build/bdist.linux-armv7l/wheel/./bppy/model 2025-06-02T03:31:39,205 creating build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2025-06-02T03:31:39,206 copying build/lib/bppy/model/event_selection/experimental_smt_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/./bppy/model/event_selection 2025-06-02T03:31:39,208 copying build/lib/bppy/model/event_selection/__init__.py -> build/bdist.linux-armv7l/wheel/./bppy/model/event_selection 2025-06-02T03:31:39,209 copying build/lib/bppy/model/event_selection/smt_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/./bppy/model/event_selection 2025-06-02T03:31:39,211 copying build/lib/bppy/model/event_selection/simple_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/./bppy/model/event_selection 2025-06-02T03:31:39,213 copying build/lib/bppy/model/event_selection/priority_based_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/./bppy/model/event_selection 2025-06-02T03:31:39,216 copying build/lib/bppy/model/event_selection/event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/./bppy/model/event_selection 2025-06-02T03:31:39,218 copying build/lib/bppy/model/event_selection/rich_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/./bppy/model/event_selection 2025-06-02T03:31:39,219 copying build/lib/bppy/model/event_selection/solver_based_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/./bppy/model/event_selection 2025-06-02T03:31:39,222 copying build/lib/bppy/model/event_set.py -> build/bdist.linux-armv7l/wheel/./bppy/model 2025-06-02T03:31:39,224 copying build/lib/bppy/model/bprogram.py -> build/bdist.linux-armv7l/wheel/./bppy/model 2025-06-02T03:31:39,226 copying build/lib/bppy/model/sync_statement.py -> build/bdist.linux-armv7l/wheel/./bppy/model 2025-06-02T03:31:39,229 creating build/bdist.linux-armv7l/wheel/bppy/execution 2025-06-02T03:31:39,230 copying build/lib/bppy/execution/__init__.py -> build/bdist.linux-armv7l/wheel/./bppy/execution 2025-06-02T03:31:39,233 creating build/bdist.linux-armv7l/wheel/bppy/execution/listeners 2025-06-02T03:31:39,234 copying build/lib/bppy/execution/listeners/print_b_program_runner_listener.py -> build/bdist.linux-armv7l/wheel/./bppy/execution/listeners 2025-06-02T03:31:39,236 copying build/lib/bppy/execution/listeners/__init__.py -> build/bdist.linux-armv7l/wheel/./bppy/execution/listeners 2025-06-02T03:31:39,238 copying build/lib/bppy/execution/listeners/b_program_runner_listener.py -> build/bdist.linux-armv7l/wheel/./bppy/execution/listeners 2025-06-02T03:31:39,241 creating build/bdist.linux-armv7l/wheel/bppy/gym 2025-06-02T03:31:39,242 copying build/lib/bppy/gym/bp_action_space.py -> build/bdist.linux-armv7l/wheel/./bppy/gym 2025-06-02T03:31:39,244 copying build/lib/bppy/gym/__init__.py -> build/bdist.linux-armv7l/wheel/./bppy/gym 2025-06-02T03:31:39,246 copying build/lib/bppy/gym/bp_env.py -> build/bdist.linux-armv7l/wheel/./bppy/gym 2025-06-02T03:31:39,248 copying build/lib/bppy/gym/simple_bp_observation_space.py -> build/bdist.linux-armv7l/wheel/./bppy/gym 2025-06-02T03:31:39,251 copying build/lib/bppy/gym/bp_observation_space.py -> build/bdist.linux-armv7l/wheel/./bppy/gym 2025-06-02T03:31:39,253 creating build/bdist.linux-armv7l/wheel/bppy/analysis 2025-06-02T03:31:39,254 copying build/lib/bppy/analysis/__init__.py -> build/bdist.linux-armv7l/wheel/./bppy/analysis 2025-06-02T03:31:39,256 copying build/lib/bppy/analysis/symbolic_bprogram_verifier.py -> build/bdist.linux-armv7l/wheel/./bppy/analysis 2025-06-02T03:31:39,259 copying build/lib/bppy/analysis/bprogram_converter.py -> build/bdist.linux-armv7l/wheel/./bppy/analysis 2025-06-02T03:31:39,261 copying build/lib/bppy/analysis/dfs_bprogram_verifier.py -> build/bdist.linux-armv7l/wheel/./bppy/analysis 2025-06-02T03:31:39,263 running install_egg_info 2025-06-02T03:31:39,301 running egg_info 2025-06-02T03:31:39,328 writing bppy.egg-info/PKG-INFO 2025-06-02T03:31:39,334 writing dependency_links to bppy.egg-info/dependency_links.txt 2025-06-02T03:31:39,338 writing requirements to bppy.egg-info/requires.txt 2025-06-02T03:31:39,340 writing top-level names to bppy.egg-info/top_level.txt 2025-06-02T03:31:39,379 reading manifest file 'bppy.egg-info/SOURCES.txt' 2025-06-02T03:31:39,384 reading manifest template 'MANIFEST.in' 2025-06-02T03:31:39,399 adding license file 'LICENSE' 2025-06-02T03:31:39,404 writing manifest file 'bppy.egg-info/SOURCES.txt' 2025-06-02T03:31:39,406 Copying bppy.egg-info to build/bdist.linux-armv7l/wheel/./bppy-1.0.3-py3.11.egg-info 2025-06-02T03:31:39,416 running install_scripts 2025-06-02T03:31:39,427 creating build/bdist.linux-armv7l/wheel/bppy-1.0.3.dist-info/WHEEL 2025-06-02T03:31:39,430 creating '/tmp/pip-wheel-qrh8zkrf/bppy-1.0.3-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-06-02T03:31:39,433 adding 'bppy/__init__.py' 2025-06-02T03:31:39,435 adding 'bppy/analysis/__init__.py' 2025-06-02T03:31:39,437 adding 'bppy/analysis/bprogram_converter.py' 2025-06-02T03:31:39,438 adding 'bppy/analysis/dfs_bprogram_verifier.py' 2025-06-02T03:31:39,441 adding 'bppy/analysis/symbolic_bprogram_verifier.py' 2025-06-02T03:31:39,443 adding 'bppy/execution/__init__.py' 2025-06-02T03:31:39,445 adding 'bppy/execution/listeners/__init__.py' 2025-06-02T03:31:39,446 adding 'bppy/execution/listeners/b_program_runner_listener.py' 2025-06-02T03:31:39,448 adding 'bppy/execution/listeners/print_b_program_runner_listener.py' 2025-06-02T03:31:39,449 adding 'bppy/gym/__init__.py' 2025-06-02T03:31:39,451 adding 'bppy/gym/bp_action_space.py' 2025-06-02T03:31:39,453 adding 'bppy/gym/bp_env.py' 2025-06-02T03:31:39,454 adding 'bppy/gym/bp_observation_space.py' 2025-06-02T03:31:39,456 adding 'bppy/gym/simple_bp_observation_space.py' 2025-06-02T03:31:39,457 adding 'bppy/model/__init__.py' 2025-06-02T03:31:39,459 adding 'bppy/model/b_event.py' 2025-06-02T03:31:39,460 adding 'bppy/model/b_thread.py' 2025-06-02T03:31:39,462 adding 'bppy/model/bprogram.py' 2025-06-02T03:31:39,464 adding 'bppy/model/event_set.py' 2025-06-02T03:31:39,465 adding 'bppy/model/sync_statement.py' 2025-06-02T03:31:39,467 adding 'bppy/model/event_selection/__init__.py' 2025-06-02T03:31:39,468 adding 'bppy/model/event_selection/event_selection_strategy.py' 2025-06-02T03:31:39,470 adding 'bppy/model/event_selection/experimental_smt_event_selection_strategy.py' 2025-06-02T03:31:39,471 adding 'bppy/model/event_selection/priority_based_event_selection_strategy.py' 2025-06-02T03:31:39,472 adding 'bppy/model/event_selection/rich_event_selection_strategy.py' 2025-06-02T03:31:39,474 adding 'bppy/model/event_selection/simple_event_selection_strategy.py' 2025-06-02T03:31:39,475 adding 'bppy/model/event_selection/smt_event_selection_strategy.py' 2025-06-02T03:31:39,476 adding 'bppy/model/event_selection/solver_based_event_selection_strategy.py' 2025-06-02T03:31:39,478 adding 'bppy/utils/__init__.py' 2025-06-02T03:31:39,480 adding 'bppy/utils/dfs.py' 2025-06-02T03:31:39,481 adding 'bppy/utils/exceptions.py' 2025-06-02T03:31:39,482 adding 'bppy/utils/weighted_sampling.py' 2025-06-02T03:31:39,483 adding 'bppy/utils/z3helper.py' 2025-06-02T03:31:39,486 adding 'bppy-1.0.3.dist-info/licenses/LICENSE' 2025-06-02T03:31:39,487 adding 'bppy-1.0.3.dist-info/METADATA' 2025-06-02T03:31:39,488 adding 'bppy-1.0.3.dist-info/WHEEL' 2025-06-02T03:31:39,489 adding 'bppy-1.0.3.dist-info/top_level.txt' 2025-06-02T03:31:39,490 adding 'bppy-1.0.3.dist-info/RECORD' 2025-06-02T03:31:39,492 removing build/bdist.linux-armv7l/wheel 2025-06-02T03:31:39,613 Building wheel for bppy (setup.py): finished with status 'done' 2025-06-02T03:31:39,616 Created wheel for bppy: filename=bppy-1.0.3-py3-none-any.whl size=32379 sha256=18bb8606ffadbc4c7c5b57a5cf71b1707e6878cbd50bdd22007e6ba81726d4d0 2025-06-02T03:31:39,617 Stored in directory: /tmp/pip-ephem-wheel-cache-zmm89_ou/wheels/3e/52/92/ce3e4a7828ff74b889148f605d06058e3fc95bf3b21c9c6bf7 2025-06-02T03:31:39,629 Successfully built bppy 2025-06-02T03:31:39,634 Removed build tracker: '/tmp/pip-build-tracker-43e31zc5'