2024-05-19T10:59:26,328 Created temporary directory: /tmp/pip-build-tracker-o8mzkrct 2024-05-19T10:59:26,330 Initialized build tracking at /tmp/pip-build-tracker-o8mzkrct 2024-05-19T10:59:26,330 Created build tracker: /tmp/pip-build-tracker-o8mzkrct 2024-05-19T10:59:26,331 Entered build tracker: /tmp/pip-build-tracker-o8mzkrct 2024-05-19T10:59:26,331 Created temporary directory: /tmp/pip-wheel-khnku8_4 2024-05-19T10:59:26,335 Created temporary directory: /tmp/pip-ephem-wheel-cache-vp62f17s 2024-05-19T10:59:26,360 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-05-19T10:59:26,363 2 location(s) to search for versions of bppy: 2024-05-19T10:59:26,363 * https://pypi.org/simple/bppy/ 2024-05-19T10:59:26,363 * https://www.piwheels.org/simple/bppy/ 2024-05-19T10:59:26,364 Fetching project page and analyzing links: https://pypi.org/simple/bppy/ 2024-05-19T10:59:26,365 Getting page https://pypi.org/simple/bppy/ 2024-05-19T10:59:26,366 Found index url https://pypi.org/simple/ 2024-05-19T10:59:26,580 Fetched page https://pypi.org/simple/bppy/ as application/vnd.pypi.simple.v1+json 2024-05-19T10:59:26,587 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/) 2024-05-19T10:59:26,587 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 2024-05-19T10:59:26,588 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/) 2024-05-19T10:59:26,589 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 2024-05-19T10:59:26,590 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/) 2024-05-19T10:59:26,590 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 2024-05-19T10:59:26,591 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/) 2024-05-19T10:59:26,592 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 2024-05-19T10:59:26,593 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/) 2024-05-19T10:59:26,594 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 2024-05-19T10:59:26,594 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) 2024-05-19T10:59:26,595 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 2024-05-19T10:59:26,596 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) 2024-05-19T10:59:26,597 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 2024-05-19T10:59:26,598 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) 2024-05-19T10:59:26,599 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 2024-05-19T10:59:26,599 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) 2024-05-19T10:59:26,600 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 2024-05-19T10:59:26,601 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) 2024-05-19T10:59:26,602 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 2024-05-19T10:59:26,602 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) 2024-05-19T10:59:26,603 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 2024-05-19T10:59:26,604 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) 2024-05-19T10:59:26,604 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 2024-05-19T10:59:26,605 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) 2024-05-19T10:59:26,606 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 2024-05-19T10:59:26,607 Fetching project page and analyzing links: https://www.piwheels.org/simple/bppy/ 2024-05-19T10:59:26,607 Getting page https://www.piwheels.org/simple/bppy/ 2024-05-19T10:59:26,609 Found index url https://www.piwheels.org/simple/ 2024-05-19T10:59:26,765 Fetched page https://www.piwheels.org/simple/bppy/ as text/html 2024-05-19T10:59:26,769 Skipping link: No binaries permitted for bppy: https://www.piwheels.org/simple/bppy/bppy-1.0.1-py3-none-any.whl#sha256=2d7aa9466f6212c54f3d7e2674e1f6e8c175e3725e854ad3652cc64e90a00ec2 (from https://www.piwheels.org/simple/bppy/) (requires-python:>=3.4) 2024-05-19T10:59:26,770 Skipping link: No binaries permitted for bppy: https://www.piwheels.org/simple/bppy/bppy-1.0.0-py3-none-any.whl#sha256=9951dad7f05220e0cfde1231b1734f506855028590e61a26a4d9dc7932c727e8 (from https://www.piwheels.org/simple/bppy/) (requires-python:>=3.4) 2024-05-19T10:59:26,771 Skipping link: No binaries permitted for bppy: https://www.piwheels.org/simple/bppy/bppy-0.0.11-py3-none-any.whl#sha256=9b03e9606b68bcbff09899d8c6b6bb91810ccd6e728b2514be596ec54fbb37a9 (from https://www.piwheels.org/simple/bppy/) (requires-python:>=3.4) 2024-05-19T10:59:26,771 Skipping link: No binaries permitted for bppy: https://www.piwheels.org/simple/bppy/bppy-0.0.10-py3-none-any.whl#sha256=0dd5236b577db6a1a4acf70de568987265c80012cec6e1a28489348fbe678676 (from https://www.piwheels.org/simple/bppy/) (requires-python:>=3.4) 2024-05-19T10:59:26,772 Skipping link: No binaries permitted for bppy: https://www.piwheels.org/simple/bppy/bppy-0.0.9-py3-none-any.whl#sha256=75d9c47c47e922e05f12ac04cbc2509ac78e3839609f919ee1927b1abd3b7743 (from https://www.piwheels.org/simple/bppy/) (requires-python:>=3.4) 2024-05-19T10:59:26,772 Skipping link: No binaries permitted for bppy: https://www.piwheels.org/simple/bppy/bppy-0.0.8-py3-none-any.whl#sha256=cee3ddd95b20142b7ae5f5bd9eb7ca46050cae9252dec90388f9bb9e0a81abf3 (from https://www.piwheels.org/simple/bppy/) (requires-python:>=3.4) 2024-05-19T10:59:26,773 Skipping link: No binaries permitted for bppy: https://www.piwheels.org/simple/bppy/bppy-0.0.7-py3-none-any.whl#sha256=b90479d0eb7854d3255015b537fb6d61fd8e39d7db83a1b186e66f9dee8fb71a (from https://www.piwheels.org/simple/bppy/) (requires-python:>=3.4) 2024-05-19T10:59:26,773 Skipping link: No binaries permitted for bppy: https://www.piwheels.org/simple/bppy/bppy-0.0.6-py3-none-any.whl#sha256=59d30362aa3dceac7d4da3023ec7a4926d9a575dd36fa51c79827111f4beb52b (from https://www.piwheels.org/simple/bppy/) 2024-05-19T10:59:26,774 Skipping link: No binaries permitted for bppy: https://www.piwheels.org/simple/bppy/bppy-0.0.5-py3-none-any.whl#sha256=2d2eff48ebc21bbd670c76a8c57c0e461f43cbce00277f9cca9fb0befa838277 (from https://www.piwheels.org/simple/bppy/) 2024-05-19T10:59:26,774 Skipping link: No binaries permitted for bppy: https://www.piwheels.org/simple/bppy/bppy-0.0.4-py3-none-any.whl#sha256=0f8ed78889ad4dc78a4a4a58a932f39e968c84f7441f87122b1c83feffa2b45d (from https://www.piwheels.org/simple/bppy/) 2024-05-19T10:59:26,775 Skipping link: No binaries permitted for bppy: https://www.piwheels.org/simple/bppy/bppy-0.0.3-py3-none-any.whl#sha256=140f1c561301b4c98b6224c4f092709a581e754931a36764f05f3efaabc6b0ab (from https://www.piwheels.org/simple/bppy/) 2024-05-19T10:59:26,775 Skipping link: No binaries permitted for bppy: https://www.piwheels.org/simple/bppy/bppy-0.0.2-py3-none-any.whl#sha256=8055310373ddf29f12207efe2b8e9d8ed9b9d02651e6622c293253eb126eca77 (from https://www.piwheels.org/simple/bppy/) 2024-05-19T10:59:26,776 Skipping link: not a file: https://www.piwheels.org/simple/bppy/ 2024-05-19T10:59:26,777 Skipping link: not a file: https://pypi.org/simple/bppy/ 2024-05-19T10:59:26,798 Given no hashes to check 1 links for project 'bppy': discarding no candidates 2024-05-19T10:59:26,818 Collecting bppy==1.0.2 2024-05-19T10:59:26,820 Created temporary directory: /tmp/pip-unpack-du7e1f9h 2024-05-19T10:59:27,029 Downloading bppy-1.0.2.tar.gz (26 kB) 2024-05-19T10:59:27,143 Added bppy==1.0.2 from https://files.pythonhosted.org/packages/00/d6/be5e0770566a1fb9a3d63cc2d5da49f8009d4272b9b546e8c67d05403937/bppy-1.0.2.tar.gz to build tracker '/tmp/pip-build-tracker-o8mzkrct' 2024-05-19T10:59:27,145 Running setup.py (path:/tmp/pip-wheel-khnku8_4/bppy_59a81ba8c2c64588be6a311d5543e643/setup.py) egg_info for package bppy 2024-05-19T10:59:27,146 Created temporary directory: /tmp/pip-pip-egg-info-ubtvowar 2024-05-19T10:59:27,147 Preparing metadata (setup.py): started 2024-05-19T10:59:27,148 Running command python setup.py egg_info 2024-05-19T10:59:28,102 running egg_info 2024-05-19T10:59:28,103 creating /tmp/pip-pip-egg-info-ubtvowar/bppy.egg-info 2024-05-19T10:59:28,131 writing /tmp/pip-pip-egg-info-ubtvowar/bppy.egg-info/PKG-INFO 2024-05-19T10:59:28,138 writing dependency_links to /tmp/pip-pip-egg-info-ubtvowar/bppy.egg-info/dependency_links.txt 2024-05-19T10:59:28,142 writing requirements to /tmp/pip-pip-egg-info-ubtvowar/bppy.egg-info/requires.txt 2024-05-19T10:59:28,143 writing top-level names to /tmp/pip-pip-egg-info-ubtvowar/bppy.egg-info/top_level.txt 2024-05-19T10:59:28,145 writing manifest file '/tmp/pip-pip-egg-info-ubtvowar/bppy.egg-info/SOURCES.txt' 2024-05-19T10:59:28,237 reading manifest file '/tmp/pip-pip-egg-info-ubtvowar/bppy.egg-info/SOURCES.txt' 2024-05-19T10:59:28,239 reading manifest template 'MANIFEST.in' 2024-05-19T10:59:28,253 adding license file 'LICENSE' 2024-05-19T10:59:28,256 writing manifest file '/tmp/pip-pip-egg-info-ubtvowar/bppy.egg-info/SOURCES.txt' 2024-05-19T10:59:28,363 Preparing metadata (setup.py): finished with status 'done' 2024-05-19T10:59:28,366 Source in /tmp/pip-wheel-khnku8_4/bppy_59a81ba8c2c64588be6a311d5543e643 has version 1.0.2, which satisfies requirement bppy==1.0.2 from https://files.pythonhosted.org/packages/00/d6/be5e0770566a1fb9a3d63cc2d5da49f8009d4272b9b546e8c67d05403937/bppy-1.0.2.tar.gz 2024-05-19T10:59:28,367 Removed bppy==1.0.2 from https://files.pythonhosted.org/packages/00/d6/be5e0770566a1fb9a3d63cc2d5da49f8009d4272b9b546e8c67d05403937/bppy-1.0.2.tar.gz from build tracker '/tmp/pip-build-tracker-o8mzkrct' 2024-05-19T10:59:28,372 Created temporary directory: /tmp/pip-unpack-eb3uhj5t 2024-05-19T10:59:28,373 Created temporary directory: /tmp/pip-unpack-3vcm19ep 2024-05-19T10:59:28,403 Building wheels for collected packages: bppy 2024-05-19T10:59:28,407 Created temporary directory: /tmp/pip-wheel-oows248i 2024-05-19T10:59:28,408 Building wheel for bppy (setup.py): started 2024-05-19T10:59:28,409 Destination directory: /tmp/pip-wheel-oows248i 2024-05-19T10:59:28,410 Running command python setup.py bdist_wheel 2024-05-19T10:59:29,304 running bdist_wheel 2024-05-19T10:59:29,435 running build 2024-05-19T10:59:29,436 running build_py 2024-05-19T10:59:29,463 creating build 2024-05-19T10:59:29,464 creating build/lib 2024-05-19T10:59:29,465 creating build/lib/bppy 2024-05-19T10:59:29,466 copying bppy/__init__.py -> build/lib/bppy 2024-05-19T10:59:29,468 creating build/lib/bppy/utils 2024-05-19T10:59:29,469 copying bppy/utils/weighted_sampling.py -> build/lib/bppy/utils 2024-05-19T10:59:29,471 copying bppy/utils/exceptions.py -> build/lib/bppy/utils 2024-05-19T10:59:29,473 copying bppy/utils/__init__.py -> build/lib/bppy/utils 2024-05-19T10:59:29,474 copying bppy/utils/z3helper.py -> build/lib/bppy/utils 2024-05-19T10:59:29,476 copying bppy/utils/dfs.py -> build/lib/bppy/utils 2024-05-19T10:59:29,479 creating build/lib/bppy/gym 2024-05-19T10:59:29,479 copying bppy/gym/bp_action_space.py -> build/lib/bppy/gym 2024-05-19T10:59:29,481 copying bppy/gym/simple_bp_observation_space.py -> build/lib/bppy/gym 2024-05-19T10:59:29,483 copying bppy/gym/bp_observation_space.py -> build/lib/bppy/gym 2024-05-19T10:59:29,485 copying bppy/gym/__init__.py -> build/lib/bppy/gym 2024-05-19T10:59:29,487 copying bppy/gym/bp_env.py -> build/lib/bppy/gym 2024-05-19T10:59:29,489 creating build/lib/bppy/model 2024-05-19T10:59:29,490 copying bppy/model/sync_statement.py -> build/lib/bppy/model 2024-05-19T10:59:29,492 copying bppy/model/b_thread.py -> build/lib/bppy/model 2024-05-19T10:59:29,494 copying bppy/model/event_set.py -> build/lib/bppy/model 2024-05-19T10:59:29,496 copying bppy/model/bprogram.py -> build/lib/bppy/model 2024-05-19T10:59:29,498 copying bppy/model/b_event.py -> build/lib/bppy/model 2024-05-19T10:59:29,500 copying bppy/model/__init__.py -> build/lib/bppy/model 2024-05-19T10:59:29,502 creating build/lib/bppy/execution 2024-05-19T10:59:29,503 copying bppy/execution/__init__.py -> build/lib/bppy/execution 2024-05-19T10:59:29,505 creating build/lib/bppy/analysis 2024-05-19T10:59:29,506 copying bppy/analysis/symbolic_bprogram_verifier.py -> build/lib/bppy/analysis 2024-05-19T10:59:29,510 copying bppy/analysis/dfs_bprogram_verifier.py -> build/lib/bppy/analysis 2024-05-19T10:59:29,513 copying bppy/analysis/bprogram_converter.py -> build/lib/bppy/analysis 2024-05-19T10:59:29,518 copying bppy/analysis/__init__.py -> build/lib/bppy/analysis 2024-05-19T10:59:29,521 creating build/lib/bppy/model/event_selection 2024-05-19T10:59:29,522 copying bppy/model/event_selection/priority_based_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2024-05-19T10:59:29,525 copying bppy/model/event_selection/experimental_smt_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2024-05-19T10:59:29,527 copying bppy/model/event_selection/solver_based_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2024-05-19T10:59:29,529 copying bppy/model/event_selection/event_selection_strategy.py -> build/lib/bppy/model/event_selection 2024-05-19T10:59:29,530 copying bppy/model/event_selection/__init__.py -> build/lib/bppy/model/event_selection 2024-05-19T10:59:29,532 copying bppy/model/event_selection/rich_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2024-05-19T10:59:29,533 copying bppy/model/event_selection/smt_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2024-05-19T10:59:29,535 copying bppy/model/event_selection/simple_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2024-05-19T10:59:29,538 creating build/lib/bppy/execution/listeners 2024-05-19T10:59:29,538 copying bppy/execution/listeners/__init__.py -> build/lib/bppy/execution/listeners 2024-05-19T10:59:29,540 copying bppy/execution/listeners/b_program_runner_listener.py -> build/lib/bppy/execution/listeners 2024-05-19T10:59:29,542 copying bppy/execution/listeners/print_b_program_runner_listener.py -> build/lib/bppy/execution/listeners 2024-05-19T10:59:29,578 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-05-19T10:59:29,579 !! 2024-05-19T10:59:29,580 ******************************************************************************** 2024-05-19T10:59:29,580 Please avoid running ``setup.py`` directly. 2024-05-19T10:59:29,581 Instead, use pypa/build, pypa/installer or other 2024-05-19T10:59:29,582 standards-based tools. 2024-05-19T10:59:29,583 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-05-19T10:59:29,583 ******************************************************************************** 2024-05-19T10:59:29,585 !! 2024-05-19T10:59:29,585 self.initialize_options() 2024-05-19T10:59:29,605 installing to build/bdist.linux-armv7l/wheel 2024-05-19T10:59:29,606 running install 2024-05-19T10:59:29,630 running install_lib 2024-05-19T10:59:29,656 creating build/bdist.linux-armv7l 2024-05-19T10:59:29,656 creating build/bdist.linux-armv7l/wheel 2024-05-19T10:59:29,658 creating build/bdist.linux-armv7l/wheel/bppy 2024-05-19T10:59:29,659 creating build/bdist.linux-armv7l/wheel/bppy/utils 2024-05-19T10:59:29,660 copying build/lib/bppy/utils/weighted_sampling.py -> build/bdist.linux-armv7l/wheel/bppy/utils 2024-05-19T10:59:29,662 copying build/lib/bppy/utils/exceptions.py -> build/bdist.linux-armv7l/wheel/bppy/utils 2024-05-19T10:59:29,664 copying build/lib/bppy/utils/__init__.py -> build/bdist.linux-armv7l/wheel/bppy/utils 2024-05-19T10:59:29,665 copying build/lib/bppy/utils/z3helper.py -> build/bdist.linux-armv7l/wheel/bppy/utils 2024-05-19T10:59:29,667 copying build/lib/bppy/utils/dfs.py -> build/bdist.linux-armv7l/wheel/bppy/utils 2024-05-19T10:59:29,670 creating build/bdist.linux-armv7l/wheel/bppy/gym 2024-05-19T10:59:29,671 copying build/lib/bppy/gym/bp_action_space.py -> build/bdist.linux-armv7l/wheel/bppy/gym 2024-05-19T10:59:29,673 copying build/lib/bppy/gym/simple_bp_observation_space.py -> build/bdist.linux-armv7l/wheel/bppy/gym 2024-05-19T10:59:29,675 copying build/lib/bppy/gym/bp_observation_space.py -> build/bdist.linux-armv7l/wheel/bppy/gym 2024-05-19T10:59:29,677 copying build/lib/bppy/gym/__init__.py -> build/bdist.linux-armv7l/wheel/bppy/gym 2024-05-19T10:59:29,679 copying build/lib/bppy/gym/bp_env.py -> build/bdist.linux-armv7l/wheel/bppy/gym 2024-05-19T10:59:29,682 creating build/bdist.linux-armv7l/wheel/bppy/model 2024-05-19T10:59:29,682 copying build/lib/bppy/model/sync_statement.py -> build/bdist.linux-armv7l/wheel/bppy/model 2024-05-19T10:59:29,684 copying build/lib/bppy/model/b_thread.py -> build/bdist.linux-armv7l/wheel/bppy/model 2024-05-19T10:59:29,686 copying build/lib/bppy/model/event_set.py -> build/bdist.linux-armv7l/wheel/bppy/model 2024-05-19T10:59:29,688 copying build/lib/bppy/model/bprogram.py -> build/bdist.linux-armv7l/wheel/bppy/model 2024-05-19T10:59:29,690 copying build/lib/bppy/model/b_event.py -> build/bdist.linux-armv7l/wheel/bppy/model 2024-05-19T10:59:29,692 copying build/lib/bppy/model/__init__.py -> build/bdist.linux-armv7l/wheel/bppy/model 2024-05-19T10:59:29,693 creating build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2024-05-19T10:59:29,694 copying build/lib/bppy/model/event_selection/priority_based_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2024-05-19T10:59:29,696 copying build/lib/bppy/model/event_selection/experimental_smt_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2024-05-19T10:59:29,698 copying build/lib/bppy/model/event_selection/solver_based_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2024-05-19T10:59:29,699 copying build/lib/bppy/model/event_selection/event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2024-05-19T10:59:29,701 copying build/lib/bppy/model/event_selection/__init__.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2024-05-19T10:59:29,702 copying build/lib/bppy/model/event_selection/rich_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2024-05-19T10:59:29,704 copying build/lib/bppy/model/event_selection/smt_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2024-05-19T10:59:29,706 copying build/lib/bppy/model/event_selection/simple_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2024-05-19T10:59:29,708 creating build/bdist.linux-armv7l/wheel/bppy/execution 2024-05-19T10:59:29,710 creating build/bdist.linux-armv7l/wheel/bppy/execution/listeners 2024-05-19T10:59:29,711 copying build/lib/bppy/execution/listeners/__init__.py -> build/bdist.linux-armv7l/wheel/bppy/execution/listeners 2024-05-19T10:59:29,713 copying build/lib/bppy/execution/listeners/b_program_runner_listener.py -> build/bdist.linux-armv7l/wheel/bppy/execution/listeners 2024-05-19T10:59:29,715 copying build/lib/bppy/execution/listeners/print_b_program_runner_listener.py -> build/bdist.linux-armv7l/wheel/bppy/execution/listeners 2024-05-19T10:59:29,717 copying build/lib/bppy/execution/__init__.py -> build/bdist.linux-armv7l/wheel/bppy/execution 2024-05-19T10:59:29,718 copying build/lib/bppy/__init__.py -> build/bdist.linux-armv7l/wheel/bppy 2024-05-19T10:59:29,721 creating build/bdist.linux-armv7l/wheel/bppy/analysis 2024-05-19T10:59:29,722 copying build/lib/bppy/analysis/symbolic_bprogram_verifier.py -> build/bdist.linux-armv7l/wheel/bppy/analysis 2024-05-19T10:59:29,724 copying build/lib/bppy/analysis/dfs_bprogram_verifier.py -> build/bdist.linux-armv7l/wheel/bppy/analysis 2024-05-19T10:59:29,726 copying build/lib/bppy/analysis/bprogram_converter.py -> build/bdist.linux-armv7l/wheel/bppy/analysis 2024-05-19T10:59:29,728 copying build/lib/bppy/analysis/__init__.py -> build/bdist.linux-armv7l/wheel/bppy/analysis 2024-05-19T10:59:29,730 running install_egg_info 2024-05-19T10:59:29,763 running egg_info 2024-05-19T10:59:29,789 writing bppy.egg-info/PKG-INFO 2024-05-19T10:59:29,796 writing dependency_links to bppy.egg-info/dependency_links.txt 2024-05-19T10:59:29,807 writing requirements to bppy.egg-info/requires.txt 2024-05-19T10:59:29,814 writing top-level names to bppy.egg-info/top_level.txt 2024-05-19T10:59:29,849 reading manifest file 'bppy.egg-info/SOURCES.txt' 2024-05-19T10:59:29,852 reading manifest template 'MANIFEST.in' 2024-05-19T10:59:29,866 adding license file 'LICENSE' 2024-05-19T10:59:29,869 writing manifest file 'bppy.egg-info/SOURCES.txt' 2024-05-19T10:59:29,871 Copying bppy.egg-info to build/bdist.linux-armv7l/wheel/bppy-1.0.2-py3.11.egg-info 2024-05-19T10:59:29,880 running install_scripts 2024-05-19T10:59:29,895 creating build/bdist.linux-armv7l/wheel/bppy-1.0.2.dist-info/WHEEL 2024-05-19T10:59:29,897 creating '/tmp/pip-wheel-oows248i/bppy-1.0.2-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-05-19T10:59:29,899 adding 'bppy/__init__.py' 2024-05-19T10:59:29,901 adding 'bppy/analysis/__init__.py' 2024-05-19T10:59:29,903 adding 'bppy/analysis/bprogram_converter.py' 2024-05-19T10:59:29,904 adding 'bppy/analysis/dfs_bprogram_verifier.py' 2024-05-19T10:59:29,906 adding 'bppy/analysis/symbolic_bprogram_verifier.py' 2024-05-19T10:59:29,908 adding 'bppy/execution/__init__.py' 2024-05-19T10:59:29,910 adding 'bppy/execution/listeners/__init__.py' 2024-05-19T10:59:29,911 adding 'bppy/execution/listeners/b_program_runner_listener.py' 2024-05-19T10:59:29,912 adding 'bppy/execution/listeners/print_b_program_runner_listener.py' 2024-05-19T10:59:29,914 adding 'bppy/gym/__init__.py' 2024-05-19T10:59:29,915 adding 'bppy/gym/bp_action_space.py' 2024-05-19T10:59:29,917 adding 'bppy/gym/bp_env.py' 2024-05-19T10:59:29,918 adding 'bppy/gym/bp_observation_space.py' 2024-05-19T10:59:29,919 adding 'bppy/gym/simple_bp_observation_space.py' 2024-05-19T10:59:29,921 adding 'bppy/model/__init__.py' 2024-05-19T10:59:29,922 adding 'bppy/model/b_event.py' 2024-05-19T10:59:29,923 adding 'bppy/model/b_thread.py' 2024-05-19T10:59:29,925 adding 'bppy/model/bprogram.py' 2024-05-19T10:59:29,926 adding 'bppy/model/event_set.py' 2024-05-19T10:59:29,928 adding 'bppy/model/sync_statement.py' 2024-05-19T10:59:29,929 adding 'bppy/model/event_selection/__init__.py' 2024-05-19T10:59:29,931 adding 'bppy/model/event_selection/event_selection_strategy.py' 2024-05-19T10:59:29,932 adding 'bppy/model/event_selection/experimental_smt_event_selection_strategy.py' 2024-05-19T10:59:29,933 adding 'bppy/model/event_selection/priority_based_event_selection_strategy.py' 2024-05-19T10:59:29,934 adding 'bppy/model/event_selection/rich_event_selection_strategy.py' 2024-05-19T10:59:29,936 adding 'bppy/model/event_selection/simple_event_selection_strategy.py' 2024-05-19T10:59:29,937 adding 'bppy/model/event_selection/smt_event_selection_strategy.py' 2024-05-19T10:59:29,938 adding 'bppy/model/event_selection/solver_based_event_selection_strategy.py' 2024-05-19T10:59:29,940 adding 'bppy/utils/__init__.py' 2024-05-19T10:59:29,941 adding 'bppy/utils/dfs.py' 2024-05-19T10:59:29,943 adding 'bppy/utils/exceptions.py' 2024-05-19T10:59:29,944 adding 'bppy/utils/weighted_sampling.py' 2024-05-19T10:59:29,945 adding 'bppy/utils/z3helper.py' 2024-05-19T10:59:29,947 adding 'bppy-1.0.2.dist-info/LICENSE' 2024-05-19T10:59:29,948 adding 'bppy-1.0.2.dist-info/METADATA' 2024-05-19T10:59:29,949 adding 'bppy-1.0.2.dist-info/WHEEL' 2024-05-19T10:59:29,950 adding 'bppy-1.0.2.dist-info/top_level.txt' 2024-05-19T10:59:29,951 adding 'bppy-1.0.2.dist-info/RECORD' 2024-05-19T10:59:29,953 removing build/bdist.linux-armv7l/wheel 2024-05-19T10:59:30,073 Building wheel for bppy (setup.py): finished with status 'done' 2024-05-19T10:59:30,076 Created wheel for bppy: filename=bppy-1.0.2-py3-none-any.whl size=32155 sha256=8f8ac62d560cbd4174951a29c48a2cc464ee7ae1c75ce10fe3343435bdb2cd8b 2024-05-19T10:59:30,077 Stored in directory: /tmp/pip-ephem-wheel-cache-vp62f17s/wheels/50/8c/b8/ff5d849c3c9db2f9a8f3abe52094d80d6b5ec6def313e8f423 2024-05-19T10:59:30,088 Successfully built bppy 2024-05-19T10:59:30,092 Removed build tracker: '/tmp/pip-build-tracker-o8mzkrct'