2023-08-28T08:07:02,522 Created temporary directory: /tmp/pip-build-tracker-lanivzoj 2023-08-28T08:07:02,525 Initialized build tracking at /tmp/pip-build-tracker-lanivzoj 2023-08-28T08:07:02,526 Created build tracker: /tmp/pip-build-tracker-lanivzoj 2023-08-28T08:07:02,526 Entered build tracker: /tmp/pip-build-tracker-lanivzoj 2023-08-28T08:07:02,527 Created temporary directory: /tmp/pip-wheel-jnwu1zy9 2023-08-28T08:07:02,536 Created temporary directory: /tmp/pip-ephem-wheel-cache-b24qj6wx 2023-08-28T08:07:02,592 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-08-28T08:07:02,601 2 location(s) to search for versions of bppy: 2023-08-28T08:07:02,601 * https://pypi.org/simple/bppy/ 2023-08-28T08:07:02,601 * https://www.piwheels.org/simple/bppy/ 2023-08-28T08:07:02,602 Fetching project page and analyzing links: https://pypi.org/simple/bppy/ 2023-08-28T08:07:02,603 Getting page https://pypi.org/simple/bppy/ 2023-08-28T08:07:02,607 Found index url https://pypi.org/simple/ 2023-08-28T08:07:02,792 Fetched page https://pypi.org/simple/bppy/ as application/vnd.pypi.simple.v1+json 2023-08-28T08:07:02,800 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/) 2023-08-28T08:07:02,801 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 2023-08-28T08:07:02,802 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/) 2023-08-28T08:07:02,803 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 2023-08-28T08:07:02,803 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/) 2023-08-28T08:07:02,804 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 2023-08-28T08:07:02,804 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/) 2023-08-28T08:07:02,805 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 2023-08-28T08:07:02,806 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/) 2023-08-28T08:07:02,806 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 2023-08-28T08:07:02,807 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) 2023-08-28T08:07:02,808 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 2023-08-28T08:07:02,809 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) 2023-08-28T08:07:02,810 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 2023-08-28T08:07:02,812 Fetching project page and analyzing links: https://www.piwheels.org/simple/bppy/ 2023-08-28T08:07:02,812 Getting page https://www.piwheels.org/simple/bppy/ 2023-08-28T08:07:02,815 Found index url https://www.piwheels.org/simple/ 2023-08-28T08:07:07,271 Fetched page https://www.piwheels.org/simple/bppy/ as text/html 2023-08-28T08:07:07,277 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) 2023-08-28T08:07:07,278 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/) 2023-08-28T08:07:07,279 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/) 2023-08-28T08:07:07,279 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/) 2023-08-28T08:07:07,279 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/) 2023-08-28T08:07:07,280 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/) 2023-08-28T08:07:07,280 Skipping link: not a file: https://www.piwheels.org/simple/bppy/ 2023-08-28T08:07:07,281 Skipping link: not a file: https://pypi.org/simple/bppy/ 2023-08-28T08:07:07,318 Given no hashes to check 1 links for project 'bppy': discarding no candidates 2023-08-28T08:07:07,356 Collecting bppy==0.0.8 2023-08-28T08:07:07,362 Created temporary directory: /tmp/pip-unpack-q11lhpqa 2023-08-28T08:07:07,538 Downloading bppy-0.0.8.tar.gz (21 kB) 2023-08-28T08:07:07,753 Added bppy==0.0.8 from https://files.pythonhosted.org/packages/ae/ea/b91cb5e347d67c5523dfd19cfabde29608a29494bbd4453faac63b64afd2/bppy-0.0.8.tar.gz to build tracker '/tmp/pip-build-tracker-lanivzoj' 2023-08-28T08:07:07,756 Running setup.py (path:/tmp/pip-wheel-jnwu1zy9/bppy_7df6e03d4b4e4f9dad3240781e79627d/setup.py) egg_info for package bppy 2023-08-28T08:07:07,757 Created temporary directory: /tmp/pip-pip-egg-info-rw5sa7np 2023-08-28T08:07:07,758 Preparing metadata (setup.py): started 2023-08-28T08:07:07,760 Running command python setup.py egg_info 2023-08-28T08:07:09,395 running egg_info 2023-08-28T08:07:09,397 creating /tmp/pip-pip-egg-info-rw5sa7np/bppy.egg-info 2023-08-28T08:07:09,484 writing /tmp/pip-pip-egg-info-rw5sa7np/bppy.egg-info/PKG-INFO 2023-08-28T08:07:09,489 writing dependency_links to /tmp/pip-pip-egg-info-rw5sa7np/bppy.egg-info/dependency_links.txt 2023-08-28T08:07:09,494 writing requirements to /tmp/pip-pip-egg-info-rw5sa7np/bppy.egg-info/requires.txt 2023-08-28T08:07:09,496 writing top-level names to /tmp/pip-pip-egg-info-rw5sa7np/bppy.egg-info/top_level.txt 2023-08-28T08:07:09,498 writing manifest file '/tmp/pip-pip-egg-info-rw5sa7np/bppy.egg-info/SOURCES.txt' 2023-08-28T08:07:09,988 reading manifest file '/tmp/pip-pip-egg-info-rw5sa7np/bppy.egg-info/SOURCES.txt' 2023-08-28T08:07:09,991 reading manifest template 'MANIFEST.in' 2023-08-28T08:07:10,023 adding license file 'LICENSE' 2023-08-28T08:07:10,032 writing manifest file '/tmp/pip-pip-egg-info-rw5sa7np/bppy.egg-info/SOURCES.txt' 2023-08-28T08:07:10,154 Preparing metadata (setup.py): finished with status 'done' 2023-08-28T08:07:10,168 Source in /tmp/pip-wheel-jnwu1zy9/bppy_7df6e03d4b4e4f9dad3240781e79627d has version 0.0.8, which satisfies requirement bppy==0.0.8 from https://files.pythonhosted.org/packages/ae/ea/b91cb5e347d67c5523dfd19cfabde29608a29494bbd4453faac63b64afd2/bppy-0.0.8.tar.gz 2023-08-28T08:07:10,170 Removed bppy==0.0.8 from https://files.pythonhosted.org/packages/ae/ea/b91cb5e347d67c5523dfd19cfabde29608a29494bbd4453faac63b64afd2/bppy-0.0.8.tar.gz from build tracker '/tmp/pip-build-tracker-lanivzoj' 2023-08-28T08:07:10,185 Created temporary directory: /tmp/pip-unpack-uzobt_kv 2023-08-28T08:07:10,186 Building wheels for collected packages: bppy 2023-08-28T08:07:10,195 Created temporary directory: /tmp/pip-wheel-mzibh1ma 2023-08-28T08:07:10,196 Building wheel for bppy (setup.py): started 2023-08-28T08:07:10,198 Destination directory: /tmp/pip-wheel-mzibh1ma 2023-08-28T08:07:10,199 Running command python setup.py bdist_wheel 2023-08-28T08:07:11,935 running bdist_wheel 2023-08-28T08:07:12,746 running build 2023-08-28T08:07:12,747 running build_py 2023-08-28T08:07:12,844 creating build 2023-08-28T08:07:12,845 creating build/lib 2023-08-28T08:07:12,847 creating build/lib/bppy 2023-08-28T08:07:12,849 copying bppy/__init__.py -> build/lib/bppy 2023-08-28T08:07:12,855 creating build/lib/bppy/gym 2023-08-28T08:07:12,857 copying bppy/gym/bp_observation_space.py -> build/lib/bppy/gym 2023-08-28T08:07:12,862 copying bppy/gym/__init__.py -> build/lib/bppy/gym 2023-08-28T08:07:12,865 copying bppy/gym/simple_bp_observation_space.py -> build/lib/bppy/gym 2023-08-28T08:07:12,869 copying bppy/gym/bp_env.py -> build/lib/bppy/gym 2023-08-28T08:07:12,874 copying bppy/gym/bp_action_space.py -> build/lib/bppy/gym 2023-08-28T08:07:12,879 creating build/lib/bppy/analysis 2023-08-28T08:07:12,880 copying bppy/analysis/dfs_bprogram_verifier.py -> build/lib/bppy/analysis 2023-08-28T08:07:12,884 copying bppy/analysis/symbolic_bprogram_verifier.py -> build/lib/bppy/analysis 2023-08-28T08:07:12,889 copying bppy/analysis/__init__.py -> build/lib/bppy/analysis 2023-08-28T08:07:12,894 creating build/lib/bppy/model 2023-08-28T08:07:12,896 copying bppy/model/event_set.py -> build/lib/bppy/model 2023-08-28T08:07:12,900 copying bppy/model/__init__.py -> build/lib/bppy/model 2023-08-28T08:07:12,902 copying bppy/model/b_thread.py -> build/lib/bppy/model 2023-08-28T08:07:12,906 copying bppy/model/sync_statement.py -> build/lib/bppy/model 2023-08-28T08:07:12,909 copying bppy/model/b_event.py -> build/lib/bppy/model 2023-08-28T08:07:12,913 copying bppy/model/bprogram.py -> build/lib/bppy/model 2023-08-28T08:07:12,918 creating build/lib/bppy/utils 2023-08-28T08:07:12,920 copying bppy/utils/dfs.py -> build/lib/bppy/utils 2023-08-28T08:07:12,925 copying bppy/utils/__init__.py -> build/lib/bppy/utils 2023-08-28T08:07:12,927 copying bppy/utils/exceptions.py -> build/lib/bppy/utils 2023-08-28T08:07:12,931 copying bppy/utils/z3helper.py -> build/lib/bppy/utils 2023-08-28T08:07:12,935 creating build/lib/bppy/execution 2023-08-28T08:07:12,937 copying bppy/execution/__init__.py -> build/lib/bppy/execution 2023-08-28T08:07:12,942 creating build/lib/bppy/model/event_selection 2023-08-28T08:07:12,944 copying bppy/model/event_selection/simple_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2023-08-28T08:07:12,948 copying bppy/model/event_selection/__init__.py -> build/lib/bppy/model/event_selection 2023-08-28T08:07:12,951 copying bppy/model/event_selection/priority_based_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2023-08-28T08:07:12,955 copying bppy/model/event_selection/solver_based_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2023-08-28T08:07:12,958 copying bppy/model/event_selection/event_selection_strategy.py -> build/lib/bppy/model/event_selection 2023-08-28T08:07:12,962 copying bppy/model/event_selection/experimental_smt_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2023-08-28T08:07:12,966 copying bppy/model/event_selection/smt_event_selection_strategy.py -> build/lib/bppy/model/event_selection 2023-08-28T08:07:12,971 creating build/lib/bppy/execution/listeners 2023-08-28T08:07:12,972 copying bppy/execution/listeners/print_b_program_runner_listener.py -> build/lib/bppy/execution/listeners 2023-08-28T08:07:12,976 copying bppy/execution/listeners/__init__.py -> build/lib/bppy/execution/listeners 2023-08-28T08:07:12,979 copying bppy/execution/listeners/b_program_runner_listener.py -> build/lib/bppy/execution/listeners 2023-08-28T08:07:13,089 /home/piwheels/.local/lib/python3.7/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-08-28T08:07:13,090 !! 2023-08-28T08:07:13,091 ******************************************************************************** 2023-08-28T08:07:13,091 Please avoid running ``setup.py`` directly. 2023-08-28T08:07:13,091 Instead, use pypa/build, pypa/installer, pypa/build or 2023-08-28T08:07:13,092 other standards-based tools. 2023-08-28T08:07:13,092 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-08-28T08:07:13,093 ******************************************************************************** 2023-08-28T08:07:13,093 !! 2023-08-28T08:07:13,094 self.initialize_options() 2023-08-28T08:07:13,180 installing to build/bdist.linux-armv7l/wheel 2023-08-28T08:07:13,180 running install 2023-08-28T08:07:13,242 running install_lib 2023-08-28T08:07:13,335 creating build/bdist.linux-armv7l 2023-08-28T08:07:13,336 creating build/bdist.linux-armv7l/wheel 2023-08-28T08:07:13,340 creating build/bdist.linux-armv7l/wheel/bppy 2023-08-28T08:07:13,343 creating build/bdist.linux-armv7l/wheel/bppy/gym 2023-08-28T08:07:13,345 copying build/lib/bppy/gym/bp_observation_space.py -> build/bdist.linux-armv7l/wheel/bppy/gym 2023-08-28T08:07:13,349 copying build/lib/bppy/gym/__init__.py -> build/bdist.linux-armv7l/wheel/bppy/gym 2023-08-28T08:07:13,353 copying build/lib/bppy/gym/simple_bp_observation_space.py -> build/bdist.linux-armv7l/wheel/bppy/gym 2023-08-28T08:07:13,357 copying build/lib/bppy/gym/bp_env.py -> build/bdist.linux-armv7l/wheel/bppy/gym 2023-08-28T08:07:13,362 copying build/lib/bppy/gym/bp_action_space.py -> build/bdist.linux-armv7l/wheel/bppy/gym 2023-08-28T08:07:13,366 copying build/lib/bppy/__init__.py -> build/bdist.linux-armv7l/wheel/bppy 2023-08-28T08:07:13,371 creating build/bdist.linux-armv7l/wheel/bppy/analysis 2023-08-28T08:07:13,373 copying build/lib/bppy/analysis/dfs_bprogram_verifier.py -> build/bdist.linux-armv7l/wheel/bppy/analysis 2023-08-28T08:07:13,377 copying build/lib/bppy/analysis/symbolic_bprogram_verifier.py -> build/bdist.linux-armv7l/wheel/bppy/analysis 2023-08-28T08:07:13,382 copying build/lib/bppy/analysis/__init__.py -> build/bdist.linux-armv7l/wheel/bppy/analysis 2023-08-28T08:07:13,386 creating build/bdist.linux-armv7l/wheel/bppy/model 2023-08-28T08:07:13,388 copying build/lib/bppy/model/event_set.py -> build/bdist.linux-armv7l/wheel/bppy/model 2023-08-28T08:07:13,393 copying build/lib/bppy/model/__init__.py -> build/bdist.linux-armv7l/wheel/bppy/model 2023-08-28T08:07:13,397 creating build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2023-08-28T08:07:13,399 copying build/lib/bppy/model/event_selection/simple_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2023-08-28T08:07:13,404 copying build/lib/bppy/model/event_selection/__init__.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2023-08-28T08:07:13,407 copying build/lib/bppy/model/event_selection/priority_based_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2023-08-28T08:07:13,411 copying build/lib/bppy/model/event_selection/solver_based_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2023-08-28T08:07:13,415 copying build/lib/bppy/model/event_selection/event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2023-08-28T08:07:13,419 copying build/lib/bppy/model/event_selection/experimental_smt_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2023-08-28T08:07:13,422 copying build/lib/bppy/model/event_selection/smt_event_selection_strategy.py -> build/bdist.linux-armv7l/wheel/bppy/model/event_selection 2023-08-28T08:07:13,426 copying build/lib/bppy/model/b_thread.py -> build/bdist.linux-armv7l/wheel/bppy/model 2023-08-28T08:07:13,429 copying build/lib/bppy/model/sync_statement.py -> build/bdist.linux-armv7l/wheel/bppy/model 2023-08-28T08:07:13,433 copying build/lib/bppy/model/b_event.py -> build/bdist.linux-armv7l/wheel/bppy/model 2023-08-28T08:07:13,436 copying build/lib/bppy/model/bprogram.py -> build/bdist.linux-armv7l/wheel/bppy/model 2023-08-28T08:07:13,442 creating build/bdist.linux-armv7l/wheel/bppy/utils 2023-08-28T08:07:13,444 copying build/lib/bppy/utils/dfs.py -> build/bdist.linux-armv7l/wheel/bppy/utils 2023-08-28T08:07:13,448 copying build/lib/bppy/utils/__init__.py -> build/bdist.linux-armv7l/wheel/bppy/utils 2023-08-28T08:07:13,451 copying build/lib/bppy/utils/exceptions.py -> build/bdist.linux-armv7l/wheel/bppy/utils 2023-08-28T08:07:13,455 copying build/lib/bppy/utils/z3helper.py -> build/bdist.linux-armv7l/wheel/bppy/utils 2023-08-28T08:07:13,459 creating build/bdist.linux-armv7l/wheel/bppy/execution 2023-08-28T08:07:13,461 copying build/lib/bppy/execution/__init__.py -> build/bdist.linux-armv7l/wheel/bppy/execution 2023-08-28T08:07:13,466 creating build/bdist.linux-armv7l/wheel/bppy/execution/listeners 2023-08-28T08:07:13,467 copying build/lib/bppy/execution/listeners/print_b_program_runner_listener.py -> build/bdist.linux-armv7l/wheel/bppy/execution/listeners 2023-08-28T08:07:13,471 copying build/lib/bppy/execution/listeners/__init__.py -> build/bdist.linux-armv7l/wheel/bppy/execution/listeners 2023-08-28T08:07:13,474 copying build/lib/bppy/execution/listeners/b_program_runner_listener.py -> build/bdist.linux-armv7l/wheel/bppy/execution/listeners 2023-08-28T08:07:13,478 running install_egg_info 2023-08-28T08:07:13,682 running egg_info 2023-08-28T08:07:13,766 writing bppy.egg-info/PKG-INFO 2023-08-28T08:07:13,769 writing dependency_links to bppy.egg-info/dependency_links.txt 2023-08-28T08:07:13,774 writing requirements to bppy.egg-info/requires.txt 2023-08-28T08:07:13,776 writing top-level names to bppy.egg-info/top_level.txt 2023-08-28T08:07:13,880 reading manifest file 'bppy.egg-info/SOURCES.txt' 2023-08-28T08:07:13,886 reading manifest template 'MANIFEST.in' 2023-08-28T08:07:13,916 adding license file 'LICENSE' 2023-08-28T08:07:13,927 writing manifest file 'bppy.egg-info/SOURCES.txt' 2023-08-28T08:07:13,930 Copying bppy.egg-info to build/bdist.linux-armv7l/wheel/bppy-0.0.8-py3.7.egg-info 2023-08-28T08:07:13,948 running install_scripts 2023-08-28T08:07:13,983 creating build/bdist.linux-armv7l/wheel/bppy-0.0.8.dist-info/WHEEL 2023-08-28T08:07:13,987 creating '/tmp/pip-wheel-mzibh1ma/bppy-0.0.8-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-08-28T08:07:13,992 adding 'bppy/__init__.py' 2023-08-28T08:07:13,996 adding 'bppy/analysis/__init__.py' 2023-08-28T08:07:13,998 adding 'bppy/analysis/dfs_bprogram_verifier.py' 2023-08-28T08:07:14,003 adding 'bppy/analysis/symbolic_bprogram_verifier.py' 2023-08-28T08:07:14,007 adding 'bppy/execution/__init__.py' 2023-08-28T08:07:14,010 adding 'bppy/execution/listeners/__init__.py' 2023-08-28T08:07:14,012 adding 'bppy/execution/listeners/b_program_runner_listener.py' 2023-08-28T08:07:14,015 adding 'bppy/execution/listeners/print_b_program_runner_listener.py' 2023-08-28T08:07:14,018 adding 'bppy/gym/__init__.py' 2023-08-28T08:07:14,021 adding 'bppy/gym/bp_action_space.py' 2023-08-28T08:07:14,025 adding 'bppy/gym/bp_env.py' 2023-08-28T08:07:14,027 adding 'bppy/gym/bp_observation_space.py' 2023-08-28T08:07:14,030 adding 'bppy/gym/simple_bp_observation_space.py' 2023-08-28T08:07:14,033 adding 'bppy/model/__init__.py' 2023-08-28T08:07:14,036 adding 'bppy/model/b_event.py' 2023-08-28T08:07:14,038 adding 'bppy/model/b_thread.py' 2023-08-28T08:07:14,042 adding 'bppy/model/bprogram.py' 2023-08-28T08:07:14,045 adding 'bppy/model/event_set.py' 2023-08-28T08:07:14,047 adding 'bppy/model/sync_statement.py' 2023-08-28T08:07:14,051 adding 'bppy/model/event_selection/__init__.py' 2023-08-28T08:07:14,054 adding 'bppy/model/event_selection/event_selection_strategy.py' 2023-08-28T08:07:14,056 adding 'bppy/model/event_selection/experimental_smt_event_selection_strategy.py' 2023-08-28T08:07:14,059 adding 'bppy/model/event_selection/priority_based_event_selection_strategy.py' 2023-08-28T08:07:14,062 adding 'bppy/model/event_selection/simple_event_selection_strategy.py' 2023-08-28T08:07:14,064 adding 'bppy/model/event_selection/smt_event_selection_strategy.py' 2023-08-28T08:07:14,067 adding 'bppy/model/event_selection/solver_based_event_selection_strategy.py' 2023-08-28T08:07:14,070 adding 'bppy/utils/__init__.py' 2023-08-28T08:07:14,073 adding 'bppy/utils/dfs.py' 2023-08-28T08:07:14,076 adding 'bppy/utils/exceptions.py' 2023-08-28T08:07:14,078 adding 'bppy/utils/z3helper.py' 2023-08-28T08:07:14,083 adding 'bppy-0.0.8.dist-info/LICENSE' 2023-08-28T08:07:14,085 adding 'bppy-0.0.8.dist-info/METADATA' 2023-08-28T08:07:14,087 adding 'bppy-0.0.8.dist-info/WHEEL' 2023-08-28T08:07:14,089 adding 'bppy-0.0.8.dist-info/top_level.txt' 2023-08-28T08:07:14,091 adding 'bppy-0.0.8.dist-info/RECORD' 2023-08-28T08:07:14,095 removing build/bdist.linux-armv7l/wheel 2023-08-28T08:07:14,271 Building wheel for bppy (setup.py): finished with status 'done' 2023-08-28T08:07:14,279 Created wheel for bppy: filename=bppy-0.0.8-py3-none-any.whl size=26269 sha256=cee3ddd95b20142b7ae5f5bd9eb7ca46050cae9252dec90388f9bb9e0a81abf3 2023-08-28T08:07:14,281 Stored in directory: /tmp/pip-ephem-wheel-cache-b24qj6wx/wheels/04/d4/fc/1f947e86db7bc486b5153f92ae2bb5d9ce0ca6ac9fb9e98a99 2023-08-28T08:07:14,310 Successfully built bppy 2023-08-28T08:07:14,319 Removed build tracker: '/tmp/pip-build-tracker-lanivzoj'