Build: world-goblins
Name: python-claripy-9.2.101-2
maintainer: LemonPie
email: lemonpie at artixlinux.org
[1]https://orion.artixlinux.org/job/packages/job/python-claripy/job/mas
ter/10/
References
1. https://orion.artixlinux.org/job/packages/job/python-claripy/job/master/10/
-------------- next part --------------
Started by user artist
Looking up repository packages/python-claripy
Querying the current revision of branch master...
Current revision of branch master is 21bafb5d0bb42a44af1e70f295bf88c3950b0908
Obtained .artixlinux/Jenkinsfile from 21bafb5d0bb42a44af1e70f295bf88c3950b0908
Loading library artix-ci at orion
Attempting to resolve orion from remote references...
> git --version # timeout=10
> git --version # 'git version 2.47.0'
using GIT_ASKPASS to set credentials jenkins gitea token
> git ls-remote -- https://gitea.artixlinux.org/artix/pipeline-libs.git # timeout=10
Found match: refs/heads/orion revision 880bd3745db54fd7d2bc517b1ce67190bee429ae
Selected Git installation does not exist. Using Default
The recommended git tool is: NONE
using credential jenkins-gotea-token
> git rev-parse --resolve-git-dir /var/lib/jenkins/workspace/packages_python-claripy_master at libs/d1b6e538991d6cf27c1f72e8cf4d6e290b22a9c93094b0e97e3a05b8d58db898/.git # timeout=10
Fetching changes from the remote Git repository
> git config remote.origin.url https://gitea.artixlinux.org/artix/pipeline-libs.git # timeout=10
Fetching without tags
Fetching upstream changes from https://gitea.artixlinux.org/artix/pipeline-libs.git
> git --version # timeout=10
> git --version # 'git version 2.47.0'
using GIT_ASKPASS to set credentials jenkins gitea token
> git fetch --no-tags --force --progress -- https://gitea.artixlinux.org/artix/pipeline-libs.git +refs/heads/orion:refs/remotes/origin/orion # timeout=10
Checking out Revision 880bd3745db54fd7d2bc517b1ce67190bee429ae (orion)
> git config core.sparsecheckout # timeout=10
> git checkout -f 880bd3745db54fd7d2bc517b1ce67190bee429ae # timeout=10
Commit message: "Merge pull request 'fix check args' (#69) from master into orion"
[Gitea] Notifying branch build status: PENDING Build started...
[Gitea] Notified
[Pipeline] Start of Pipeline
[Pipeline] catchError
[Pipeline] {
[Pipeline] libraryResource
[Pipeline] readYaml
[Pipeline] }
[Pipeline] // catchError
[Pipeline] node
Running on Jenkins in /var/lib/jenkins/workspace/packages_python-claripy_master
[Pipeline] {
[Pipeline] timestamps
[Pipeline] {
[Pipeline] ansiColor
[Pipeline] {
[2024-11-24T11:59:16.346Z]
[Pipeline] stage
[Pipeline] { (Checkout)
[Pipeline] checkout
[2024-11-24T11:59:16.389Z] The recommended git tool is: NONE
[2024-11-24T11:59:16.389Z] using credential jenkins-gotea-token
[2024-11-24T11:59:16.488Z] > git rev-parse --resolve-git-dir /var/lib/jenkins/workspace/packages_python-claripy_master/.git # timeout=10
[2024-11-24T11:59:16.492Z] Fetching changes from the remote Git repository
[2024-11-24T11:59:16.494Z] > git config remote.origin.url https://gitea.artixlinux.org/packages/python-claripy.git # timeout=10
[2024-11-24T11:59:16.497Z] Cleaning workspace
[2024-11-24T11:59:16.497Z] > git rev-parse --verify HEAD # timeout=10
[2024-11-24T11:59:16.502Z] Resetting working tree
[2024-11-24T11:59:16.502Z] > git reset --hard # timeout=10
[2024-11-24T11:59:16.511Z] > git clean -fdx # timeout=10
[2024-11-24T11:59:16.515Z] Fetching without tags
[2024-11-24T11:59:16.515Z] Fetching upstream changes from https://gitea.artixlinux.org/packages/python-claripy.git
[2024-11-24T11:59:16.515Z] > git --version # timeout=10
[2024-11-24T11:59:16.518Z] > git --version # 'git version 2.47.0'
[2024-11-24T11:59:16.518Z] using GIT_ASKPASS to set credentials jenkins gitea token
[2024-11-24T11:59:16.521Z] > git fetch --no-tags --force --progress -- https://gitea.artixlinux.org/packages/python-claripy.git +refs/heads/master:refs/remotes/origin/master # timeout=10
[2024-11-24T11:59:16.647Z] Checking out Revision 21bafb5d0bb42a44af1e70f295bf88c3950b0908 (master)
[2024-11-24T11:59:16.647Z] > git config core.sparsecheckout # timeout=10
[2024-11-24T11:59:16.653Z] > git checkout -f 21bafb5d0bb42a44af1e70f295bf88c3950b0908 # timeout=10
[2024-11-24T11:59:16.661Z] Commit message: "[world-goblins] 'python-claripy-9.2.101-2' add"
[2024-11-24T11:59:16.661Z] > git rev-list --no-walk 21bafb5d0bb42a44af1e70f295bf88c3950b0908 # timeout=10
[2024-11-24T11:59:16.675Z] [Gitea] Notifying branch build status: PENDING Build started...
[2024-11-24T11:59:16.826Z] [Gitea] Notified
[Pipeline] readYaml
[Pipeline] sh
[2024-11-24T11:59:17.089Z] + git show -s --format=%an 21bafb5d0bb42a44af1e70f295bf88c3950b0908
[Pipeline] sh
[2024-11-24T11:59:17.347Z] + git show -s --format=%ae 21bafb5d0bb42a44af1e70f295bf88c3950b0908
[Pipeline] echo
[2024-11-24T11:59:17.371Z] addRepo=world-goblins
[Pipeline] echo
[2024-11-24T11:59:17.376Z] removeRepo=null
[Pipeline] echo
[2024-11-24T11:59:17.381Z] triggersBuild=true
[Pipeline] echo
[2024-11-24T11:59:17.386Z] triggersRebuild=false
[Pipeline] echo
[2024-11-24T11:59:17.391Z] triggersRepoAdd=true
[Pipeline] echo
[2024-11-24T11:59:17.396Z] triggersRepoRemove=false
[Pipeline] echo
[2024-11-24T11:59:17.401Z] triggersNoCheck=false
[Pipeline] echo
[2024-11-24T11:59:17.407Z] name=LemonPie
[Pipeline] echo
[2024-11-24T11:59:17.412Z] email=lemonpie at artixlinux.org
[Pipeline] echo
[2024-11-24T11:59:17.417Z] credentialsId=BUILDBOT_GPGP
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Build)
[Pipeline] catchError
[Pipeline] {
[Pipeline] sh
[2024-11-24T11:59:17.732Z] + buildpkg -n -a x86_64 -d world-goblins -e 'LemonPie <lemonpie at artixlinux.org>'
[2024-11-24T11:59:21.854Z] :: Synchronizing package databases...
[2024-11-24T11:59:21.854Z] system-goblins downloading...
[2024-11-24T11:59:21.854Z] system-gremlins downloading...
[2024-11-24T11:59:21.854Z] system downloading...
[2024-11-24T11:59:21.854Z] world-goblins downloading...
[2024-11-24T11:59:21.854Z] world-gremlins downloading...
[2024-11-24T11:59:21.854Z] world downloading...
[2024-11-24T11:59:21.854Z] :: Starting full system upgrade...
[2024-11-24T11:59:21.854Z] there is nothing to do
[2024-11-24T11:59:24.336Z] ==> Building in chroot for [world-goblins] (x86_64)...
[2024-11-24T11:59:24.587Z] ==> Synchronizing chroot copy [/build/buildpkg/world-goblins-x86_64/root] -> [jenkins]...done
[2024-11-24T11:59:25.497Z] ==> Making package: python-claripy 9.2.101-2 (Sun Nov 24 12:59:25 2024)
[2024-11-24T11:59:25.497Z] ==> Retrieving sources...
[2024-11-24T11:59:25.748Z] -> Found python-claripy-9.2.101.tar.gz
[2024-11-24T11:59:25.748Z] ==> Validating source files with sha512sums...
[2024-11-24T11:59:25.748Z] python-claripy-9.2.101.tar.gz ... Passed
[2024-11-24T11:59:25.748Z] ==> Validating source files with b2sums...
[2024-11-24T11:59:25.748Z] python-claripy-9.2.101.tar.gz ... Passed
[2024-11-24T11:59:30.942Z] ==> Making package: python-claripy 9.2.101-2 (Sun Nov 24 11:59:30 2024)
[2024-11-24T11:59:30.942Z] ==> Checking runtime dependencies...
[2024-11-24T11:59:30.942Z] ==> Installing missing dependencies...
[2024-11-24T11:59:31.192Z] resolving dependencies...
[2024-11-24T11:59:31.192Z] looking for conflicting packages...
[2024-11-24T11:59:31.192Z]
[2024-11-24T11:59:31.192Z] Package (15) New Version Net Change Download Size
[2024-11-24T11:59:31.192Z]
[2024-11-24T11:59:31.192Z] world-goblins/python-autocommand 2.2.2-7 0.08 MiB
[2024-11-24T11:59:31.192Z] world-goblins/python-jaraco.collections 5.0.1-2 0.10 MiB
[2024-11-24T11:59:31.192Z] world-goblins/python-jaraco.context 5.3.0-2 0.04 MiB
[2024-11-24T11:59:31.192Z] world-goblins/python-jaraco.functools 4.0.2-2 0.07 MiB
[2024-11-24T11:59:31.192Z] world-goblins/python-jaraco.text 4.0.0-2 0.08 MiB
[2024-11-24T11:59:31.192Z] world-goblins/python-more-itertools 10.3.0-2 0.62 MiB
[2024-11-24T11:59:31.192Z] world-goblins/python-packaging 24.2-3 0.66 MiB
[2024-11-24T11:59:31.192Z] world-goblins/python-platformdirs 4.3.6-2 0.24 MiB
[2024-11-24T11:59:31.192Z] world-goblins/python-setuptools 1:75.2.0-4 8.05 MiB
[2024-11-24T11:59:31.192Z] world-goblins/python-wheel 0.45.0-3 0.28 MiB
[2024-11-24T11:59:31.192Z] world/z3 4.13.0-2 33.60 MiB
[2024-11-24T11:59:31.192Z] world-goblins/python-cachetools 5.5.0-2 0.13 MiB
[2024-11-24T11:59:31.192Z] world-goblins/python-decorator 5.1.1-5 0.06 MiB
[2024-11-24T11:59:31.192Z] world-goblins/python-pysmt 0.9.5-5 4.62 MiB 0.63 MiB
[2024-11-24T11:59:31.192Z] world/python-z3-solver 4.13.0-2 2.48 MiB
[2024-11-24T11:59:31.192Z]
[2024-11-24T11:59:31.192Z] Total Download Size: 0.63 MiB
[2024-11-24T11:59:31.192Z] Total Installed Size: 51.12 MiB
[2024-11-24T11:59:31.192Z]
[2024-11-24T11:59:31.192Z] :: Proceed with installation? [Y/n]
[2024-11-24T11:59:31.192Z] :: Retrieving packages...
[2024-11-24T11:59:31.192Z] python-pysmt-0.9.5-5-any downloading...
[2024-11-24T11:59:31.192Z] checking keyring...
[2024-11-24T11:59:31.442Z] checking package integrity...
[2024-11-24T11:59:31.692Z] loading package files...
[2024-11-24T11:59:31.943Z] checking for file conflicts...
[2024-11-24T11:59:31.943Z] :: Processing package changes...
[2024-11-24T11:59:31.943Z] installing python-cachetools...
[2024-11-24T11:59:31.943Z] installing python-decorator...
[2024-11-24T11:59:31.943Z] installing python-more-itertools...
[2024-11-24T11:59:31.943Z] installing python-jaraco.functools...
[2024-11-24T11:59:31.943Z] installing python-jaraco.context...
[2024-11-24T11:59:31.943Z] installing python-autocommand...
[2024-11-24T11:59:31.943Z] installing python-jaraco.text...
[2024-11-24T11:59:31.943Z] Optional dependencies for python-jaraco.text
[2024-11-24T11:59:31.943Z] python-inflect: for show-newlines script
[2024-11-24T11:59:31.943Z] installing python-jaraco.collections...
[2024-11-24T11:59:31.943Z] installing python-packaging...
[2024-11-24T11:59:31.943Z] installing python-platformdirs...
[2024-11-24T11:59:31.943Z] installing python-wheel...
[2024-11-24T11:59:31.943Z] Optional dependencies for python-wheel
[2024-11-24T11:59:31.943Z] python-keyring: for wheel.signatures
[2024-11-24T11:59:31.943Z] python-xdg: for wheel.signatures
[2024-11-24T11:59:31.943Z] python-setuptools: for legacy bdist_wheel subcommand [pending]
[2024-11-24T11:59:31.943Z] installing python-setuptools...
[2024-11-24T11:59:31.943Z] installing z3...
[2024-11-24T11:59:31.943Z] installing python-z3-solver...
[2024-11-24T11:59:31.943Z] installing python-pysmt...
[2024-11-24T11:59:32.193Z] ==> Checking buildtime dependencies...
[2024-11-24T11:59:32.193Z] ==> Installing missing dependencies...
[2024-11-24T11:59:32.443Z] resolving dependencies...
[2024-11-24T11:59:32.443Z] looking for conflicting packages...
[2024-11-24T11:59:32.443Z]
[2024-11-24T11:59:32.443Z] Package (6) New Version Net Change
[2024-11-24T11:59:32.443Z]
[2024-11-24T11:59:32.443Z] world-goblins/python-iniconfig 2.0.0-6 0.04 MiB
[2024-11-24T11:59:32.443Z] world-goblins/python-pluggy 1.5.0-3 0.20 MiB
[2024-11-24T11:59:32.443Z] world-goblins/python-pyproject-hooks 1.2.0-3 0.10 MiB
[2024-11-24T11:59:32.443Z] world-goblins/python-build 1.2.2-3 0.20 MiB
[2024-11-24T11:59:32.443Z] world-goblins/python-installer 0.7.0-10 0.17 MiB
[2024-11-24T11:59:32.443Z] world-goblins/python-pytest 1:8.3.3-2.1 3.91 MiB
[2024-11-24T11:59:32.443Z]
[2024-11-24T11:59:32.443Z] Total Installed Size: 4.62 MiB
[2024-11-24T11:59:32.443Z]
[2024-11-24T11:59:32.443Z] :: Proceed with installation? [Y/n]
[2024-11-24T11:59:32.443Z] checking keyring...
[2024-11-24T11:59:32.443Z] checking package integrity...
[2024-11-24T11:59:32.443Z] loading package files...
[2024-11-24T11:59:32.443Z] checking for file conflicts...
[2024-11-24T11:59:32.443Z] :: Processing package changes...
[2024-11-24T11:59:32.443Z] installing python-pyproject-hooks...
[2024-11-24T11:59:32.443Z] installing python-build...
[2024-11-24T11:59:32.443Z] Optional dependencies for python-build
[2024-11-24T11:59:32.443Z] python-pip: to use as the Python package installer (default)
[2024-11-24T11:59:32.443Z] python-uv: to use as the Python package installer
[2024-11-24T11:59:32.443Z] python-virtualenv: to use virtualenv for build isolation
[2024-11-24T11:59:32.443Z] installing python-installer...
[2024-11-24T11:59:32.443Z] installing python-iniconfig...
[2024-11-24T11:59:32.443Z] installing python-pluggy...
[2024-11-24T11:59:32.443Z] installing python-pytest...
[2024-11-24T11:59:32.702Z] ==> Retrieving sources...
[2024-11-24T11:59:32.702Z] -> Found python-claripy-9.2.101.tar.gz
[2024-11-24T11:59:32.702Z] ==> WARNING: Skipping all source file integrity checks.
[2024-11-24T11:59:32.702Z] ==> Extracting sources...
[2024-11-24T11:59:32.702Z] -> Extracting python-claripy-9.2.101.tar.gz with bsdtar
[2024-11-24T11:59:32.702Z] ==> Starting prepare()...
[2024-11-24T11:59:32.702Z] ==> Starting build()...
[2024-11-24T11:59:32.702Z] * Getting build dependencies for wheel...
[2024-11-24T11:59:32.953Z] running egg_info
[2024-11-24T11:59:32.953Z] creating claripy.egg-info
[2024-11-24T11:59:32.953Z] writing claripy.egg-info/PKG-INFO
[2024-11-24T11:59:32.953Z] writing dependency_links to claripy.egg-info/dependency_links.txt
[2024-11-24T11:59:32.953Z] writing requirements to claripy.egg-info/requires.txt
[2024-11-24T11:59:32.953Z] writing top-level names to claripy.egg-info/top_level.txt
[2024-11-24T11:59:32.953Z] writing manifest file 'claripy.egg-info/SOURCES.txt'
[2024-11-24T11:59:32.953Z] reading manifest file 'claripy.egg-info/SOURCES.txt'
[2024-11-24T11:59:32.953Z] reading manifest template 'MANIFEST.in'
[2024-11-24T11:59:32.953Z] warning: no files found matching 'VERSION'
[2024-11-24T11:59:32.953Z] adding license file 'LICENSE'
[2024-11-24T11:59:32.953Z] writing manifest file 'claripy.egg-info/SOURCES.txt'
[2024-11-24T11:59:33.203Z] * Building wheel...
[2024-11-24T11:59:33.453Z] running bdist_wheel
[2024-11-24T11:59:33.453Z] running build
[2024-11-24T11:59:33.453Z] running build_py
[2024-11-24T11:59:33.453Z] creating build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/operations.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/__init__.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/annotation.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/backend_object.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/smtlib_utils.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/strings.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/debug.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/backend_manager.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/balancer.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/bv.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/errors.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/simplifications.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/frontend.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/solvers.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/ops.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] copying claripy/fp.py -> build/lib/claripy
[2024-11-24T11:59:33.453Z] creating build/lib/claripy/utils
[2024-11-24T11:59:33.453Z] copying claripy/utils/__init__.py -> build/lib/claripy/utils
[2024-11-24T11:59:33.453Z] copying claripy/utils/deprecated.py -> build/lib/claripy/utils
[2024-11-24T11:59:33.453Z] copying claripy/utils/orderedset.py -> build/lib/claripy/utils
[2024-11-24T11:59:33.454Z] creating build/lib/claripy/backends
[2024-11-24T11:59:33.454Z] copying claripy/backends/__init__.py -> build/lib/claripy/backends
[2024-11-24T11:59:33.454Z] copying claripy/backends/backend_z3_parallel.py -> build/lib/claripy/backends
[2024-11-24T11:59:33.454Z] copying claripy/backends/backend_vsa.py -> build/lib/claripy/backends
[2024-11-24T11:59:33.454Z] copying claripy/backends/backend_concrete.py -> build/lib/claripy/backends
[2024-11-24T11:59:33.454Z] copying claripy/backends/backend_z3.py -> build/lib/claripy/backends
[2024-11-24T11:59:33.454Z] copying claripy/backends/backend_smtlib.py -> build/lib/claripy/backends
[2024-11-24T11:59:33.454Z] creating build/lib/claripy/ast
[2024-11-24T11:59:33.454Z] copying claripy/ast/__init__.py -> build/lib/claripy/ast
[2024-11-24T11:59:33.454Z] copying claripy/ast/strings.py -> build/lib/claripy/ast
[2024-11-24T11:59:33.454Z] copying claripy/ast/bits.py -> build/lib/claripy/ast
[2024-11-24T11:59:33.454Z] copying claripy/ast/base.py -> build/lib/claripy/ast
[2024-11-24T11:59:33.454Z] copying claripy/ast/bv.py -> build/lib/claripy/ast
[2024-11-24T11:59:33.454Z] copying claripy/ast/vs.py -> build/lib/claripy/ast
[2024-11-24T11:59:33.454Z] copying claripy/ast/int.py -> build/lib/claripy/ast
[2024-11-24T11:59:33.454Z] copying claripy/ast/bool.py -> build/lib/claripy/ast
[2024-11-24T11:59:33.454Z] copying claripy/ast/fp.py -> build/lib/claripy/ast
[2024-11-24T11:59:33.454Z] creating build/lib/claripy/frontends
[2024-11-24T11:59:33.454Z] copying claripy/frontends/__init__.py -> build/lib/claripy/frontends
[2024-11-24T11:59:33.454Z] copying claripy/frontends/replacement_frontend.py -> build/lib/claripy/frontends
[2024-11-24T11:59:33.454Z] copying claripy/frontends/hybrid_frontend.py -> build/lib/claripy/frontends
[2024-11-24T11:59:33.454Z] copying claripy/frontends/constrained_frontend.py -> build/lib/claripy/frontends
[2024-11-24T11:59:33.454Z] copying claripy/frontends/light_frontend.py -> build/lib/claripy/frontends
[2024-11-24T11:59:33.454Z] copying claripy/frontends/composite_frontend.py -> build/lib/claripy/frontends
[2024-11-24T11:59:33.454Z] copying claripy/frontends/full_frontend.py -> build/lib/claripy/frontends
[2024-11-24T11:59:33.454Z] creating build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/simplify_helper_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/__init__.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/debug_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/solve_block_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/model_cache_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/constraint_filter_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/smtlib_script_dumper_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/sat_cache_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/composited_cache_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/constraint_deduplicator_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/constraint_fixer_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/constraint_expansion_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/eager_resolution_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/eval_string_to_ast_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/concrete_handler_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying claripy/frontend_mixins/simplify_skipper_mixin.py -> build/lib/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] creating build/lib/claripy/vsa
[2024-11-24T11:59:33.454Z] copying claripy/vsa/__init__.py -> build/lib/claripy/vsa
[2024-11-24T11:59:33.454Z] copying claripy/vsa/discrete_strided_interval_set.py -> build/lib/claripy/vsa
[2024-11-24T11:59:33.454Z] copying claripy/vsa/bool_result.py -> build/lib/claripy/vsa
[2024-11-24T11:59:33.454Z] copying claripy/vsa/strided_interval.py -> build/lib/claripy/vsa
[2024-11-24T11:59:33.454Z] copying claripy/vsa/errors.py -> build/lib/claripy/vsa
[2024-11-24T11:59:33.454Z] copying claripy/vsa/abstract_location.py -> build/lib/claripy/vsa
[2024-11-24T11:59:33.454Z] copying claripy/vsa/valueset.py -> build/lib/claripy/vsa
[2024-11-24T11:59:33.454Z] creating build/lib/claripy/backends/backend_smtlib_solvers
[2024-11-24T11:59:33.454Z] copying claripy/backends/backend_smtlib_solvers/__init__.py -> build/lib/claripy/backends/backend_smtlib_solvers
[2024-11-24T11:59:33.454Z] copying claripy/backends/backend_smtlib_solvers/z3_popen.py -> build/lib/claripy/backends/backend_smtlib_solvers
[2024-11-24T11:59:33.454Z] copying claripy/backends/backend_smtlib_solvers/cvc4_popen.py -> build/lib/claripy/backends/backend_smtlib_solvers
[2024-11-24T11:59:33.454Z] copying claripy/backends/backend_smtlib_solvers/abc_popen.py -> build/lib/claripy/backends/backend_smtlib_solvers
[2024-11-24T11:59:33.454Z] copying claripy/backends/backend_smtlib_solvers/z3str_popen.py -> build/lib/claripy/backends/backend_smtlib_solvers
[2024-11-24T11:59:33.454Z] copying claripy/py.typed -> build/lib/claripy
[2024-11-24T11:59:33.454Z] copying claripy/ast/bv.pyi -> build/lib/claripy/ast
[2024-11-24T11:59:33.454Z] installing to build/bdist.linux-x86_64/wheel
[2024-11-24T11:59:33.454Z] running install
[2024-11-24T11:59:33.454Z] running install_lib
[2024-11-24T11:59:33.454Z] creating build/bdist.linux-x86_64/wheel
[2024-11-24T11:59:33.454Z] creating build/bdist.linux-x86_64/wheel/claripy
[2024-11-24T11:59:33.454Z] creating build/bdist.linux-x86_64/wheel/claripy/utils
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/utils/__init__.py -> build/bdist.linux-x86_64/wheel/./claripy/utils
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/utils/deprecated.py -> build/bdist.linux-x86_64/wheel/./claripy/utils
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/utils/orderedset.py -> build/bdist.linux-x86_64/wheel/./claripy/utils
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/operations.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/__init__.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/annotation.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/backend_object.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] creating build/bdist.linux-x86_64/wheel/claripy/backends
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/backends/__init__.py -> build/bdist.linux-x86_64/wheel/./claripy/backends
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/backends/backend_z3_parallel.py -> build/bdist.linux-x86_64/wheel/./claripy/backends
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/backends/backend_vsa.py -> build/bdist.linux-x86_64/wheel/./claripy/backends
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/backends/backend_concrete.py -> build/bdist.linux-x86_64/wheel/./claripy/backends
[2024-11-24T11:59:33.454Z] creating build/bdist.linux-x86_64/wheel/claripy/backends/backend_smtlib_solvers
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/backends/backend_smtlib_solvers/__init__.py -> build/bdist.linux-x86_64/wheel/./claripy/backends/backend_smtlib_solvers
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/backends/backend_smtlib_solvers/z3_popen.py -> build/bdist.linux-x86_64/wheel/./claripy/backends/backend_smtlib_solvers
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/backends/backend_smtlib_solvers/cvc4_popen.py -> build/bdist.linux-x86_64/wheel/./claripy/backends/backend_smtlib_solvers
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/backends/backend_smtlib_solvers/abc_popen.py -> build/bdist.linux-x86_64/wheel/./claripy/backends/backend_smtlib_solvers
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/backends/backend_smtlib_solvers/z3str_popen.py -> build/bdist.linux-x86_64/wheel/./claripy/backends/backend_smtlib_solvers
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/backends/backend_z3.py -> build/bdist.linux-x86_64/wheel/./claripy/backends
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/backends/backend_smtlib.py -> build/bdist.linux-x86_64/wheel/./claripy/backends
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/smtlib_utils.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/strings.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/debug.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/backend_manager.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/py.typed -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/balancer.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] creating build/bdist.linux-x86_64/wheel/claripy/ast
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/ast/__init__.py -> build/bdist.linux-x86_64/wheel/./claripy/ast
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/ast/strings.py -> build/bdist.linux-x86_64/wheel/./claripy/ast
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/ast/bits.py -> build/bdist.linux-x86_64/wheel/./claripy/ast
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/ast/base.py -> build/bdist.linux-x86_64/wheel/./claripy/ast
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/ast/bv.py -> build/bdist.linux-x86_64/wheel/./claripy/ast
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/ast/vs.py -> build/bdist.linux-x86_64/wheel/./claripy/ast
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/ast/int.py -> build/bdist.linux-x86_64/wheel/./claripy/ast
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/ast/bool.py -> build/bdist.linux-x86_64/wheel/./claripy/ast
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/ast/fp.py -> build/bdist.linux-x86_64/wheel/./claripy/ast
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/ast/bv.pyi -> build/bdist.linux-x86_64/wheel/./claripy/ast
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/bv.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/errors.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/simplifications.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] creating build/bdist.linux-x86_64/wheel/claripy/frontends
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontends/__init__.py -> build/bdist.linux-x86_64/wheel/./claripy/frontends
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontends/replacement_frontend.py -> build/bdist.linux-x86_64/wheel/./claripy/frontends
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontends/hybrid_frontend.py -> build/bdist.linux-x86_64/wheel/./claripy/frontends
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontends/constrained_frontend.py -> build/bdist.linux-x86_64/wheel/./claripy/frontends
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontends/light_frontend.py -> build/bdist.linux-x86_64/wheel/./claripy/frontends
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontends/composite_frontend.py -> build/bdist.linux-x86_64/wheel/./claripy/frontends
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontends/full_frontend.py -> build/bdist.linux-x86_64/wheel/./claripy/frontends
[2024-11-24T11:59:33.454Z] creating build/bdist.linux-x86_64/wheel/claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/simplify_helper_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/__init__.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/debug_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/solve_block_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/model_cache_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/constraint_filter_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/smtlib_script_dumper_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/sat_cache_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/composited_cache_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/constraint_deduplicator_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/constraint_fixer_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/constraint_expansion_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/eager_resolution_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/eval_string_to_ast_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/concrete_handler_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/frontend_mixins/simplify_skipper_mixin.py -> build/bdist.linux-x86_64/wheel/./claripy/frontend_mixins
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/solvers.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/ops.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/fp.py -> build/bdist.linux-x86_64/wheel/./claripy
[2024-11-24T11:59:33.454Z] creating build/bdist.linux-x86_64/wheel/claripy/vsa
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/vsa/__init__.py -> build/bdist.linux-x86_64/wheel/./claripy/vsa
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/vsa/discrete_strided_interval_set.py -> build/bdist.linux-x86_64/wheel/./claripy/vsa
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/vsa/bool_result.py -> build/bdist.linux-x86_64/wheel/./claripy/vsa
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/vsa/strided_interval.py -> build/bdist.linux-x86_64/wheel/./claripy/vsa
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/vsa/errors.py -> build/bdist.linux-x86_64/wheel/./claripy/vsa
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/vsa/abstract_location.py -> build/bdist.linux-x86_64/wheel/./claripy/vsa
[2024-11-24T11:59:33.454Z] copying build/lib/claripy/vsa/valueset.py -> build/bdist.linux-x86_64/wheel/./claripy/vsa
[2024-11-24T11:59:33.454Z] running install_egg_info
[2024-11-24T11:59:33.454Z] running egg_info
[2024-11-24T11:59:33.454Z] writing claripy.egg-info/PKG-INFO
[2024-11-24T11:59:33.454Z] writing dependency_links to claripy.egg-info/dependency_links.txt
[2024-11-24T11:59:33.454Z] writing requirements to claripy.egg-info/requires.txt
[2024-11-24T11:59:33.454Z] writing top-level names to claripy.egg-info/top_level.txt
[2024-11-24T11:59:33.454Z] reading manifest file 'claripy.egg-info/SOURCES.txt'
[2024-11-24T11:59:33.454Z] reading manifest template 'MANIFEST.in'
[2024-11-24T11:59:33.454Z] warning: no files found matching 'VERSION'
[2024-11-24T11:59:33.455Z] adding license file 'LICENSE'
[2024-11-24T11:59:33.455Z] writing manifest file 'claripy.egg-info/SOURCES.txt'
[2024-11-24T11:59:33.455Z] Copying claripy.egg-info to build/bdist.linux-x86_64/wheel/./claripy-9.2.101-py3.13.egg-info
[2024-11-24T11:59:33.455Z] running install_scripts
[2024-11-24T11:59:33.455Z] creating build/bdist.linux-x86_64/wheel/claripy-9.2.101.dist-info/WHEEL
[2024-11-24T11:59:33.455Z] creating '/build/python-claripy/src/claripy-9.2.101/dist/.tmp-1fiyhy8t/claripy-9.2.101-py3-none-any.whl' and adding 'build/bdist.linux-x86_64/wheel' to it
[2024-11-24T11:59:33.455Z] adding 'claripy/__init__.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/annotation.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/backend_manager.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/backend_object.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/balancer.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/bv.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/debug.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/errors.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/fp.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/operations.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/ops.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/py.typed'
[2024-11-24T11:59:33.455Z] adding 'claripy/simplifications.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/smtlib_utils.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/solvers.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/strings.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/ast/__init__.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/ast/base.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/ast/bits.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/ast/bool.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/ast/bv.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/ast/bv.pyi'
[2024-11-24T11:59:33.455Z] adding 'claripy/ast/fp.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/ast/int.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/ast/strings.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/ast/vs.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/backends/__init__.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/backends/backend_concrete.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/backends/backend_smtlib.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/backends/backend_vsa.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/backends/backend_z3.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/backends/backend_z3_parallel.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/backends/backend_smtlib_solvers/__init__.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/backends/backend_smtlib_solvers/abc_popen.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/backends/backend_smtlib_solvers/cvc4_popen.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/backends/backend_smtlib_solvers/z3_popen.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/backends/backend_smtlib_solvers/z3str_popen.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/__init__.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/composited_cache_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/concrete_handler_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/constraint_deduplicator_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/constraint_expansion_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/constraint_filter_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/constraint_fixer_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/debug_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/eager_resolution_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/eval_string_to_ast_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/model_cache_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/sat_cache_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/simplify_helper_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/simplify_skipper_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/smtlib_script_dumper_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontend_mixins/solve_block_mixin.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontends/__init__.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontends/composite_frontend.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontends/constrained_frontend.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontends/full_frontend.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontends/hybrid_frontend.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontends/light_frontend.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/frontends/replacement_frontend.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/utils/__init__.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/utils/deprecated.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/utils/orderedset.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/vsa/__init__.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/vsa/abstract_location.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/vsa/bool_result.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/vsa/discrete_strided_interval_set.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/vsa/errors.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/vsa/strided_interval.py'
[2024-11-24T11:59:33.455Z] adding 'claripy/vsa/valueset.py'
[2024-11-24T11:59:33.455Z] adding 'claripy-9.2.101.dist-info/LICENSE'
[2024-11-24T11:59:33.455Z] adding 'claripy-9.2.101.dist-info/METADATA'
[2024-11-24T11:59:33.455Z] adding 'claripy-9.2.101.dist-info/WHEEL'
[2024-11-24T11:59:33.455Z] adding 'claripy-9.2.101.dist-info/top_level.txt'
[2024-11-24T11:59:33.455Z] adding 'claripy-9.2.101.dist-info/RECORD'
[2024-11-24T11:59:33.455Z] removing build/bdist.linux-x86_64/wheel
[2024-11-24T11:59:33.455Z] Successfully built claripy-9.2.101-py3-none-any.whl
[2024-11-24T11:59:33.455Z] ==> Starting check()...
[2024-11-24T11:59:33.705Z] ============================= test session starts ==============================
[2024-11-24T11:59:33.705Z] platform linux -- Python 3.13.0, pytest-8.3.3, pluggy-1.5.0 -- /usr/bin/python
[2024-11-24T11:59:33.705Z] cachedir: .pytest_cache
[2024-11-24T11:59:33.705Z] rootdir: /build/python-claripy/src/claripy-9.2.101
[2024-11-24T11:59:33.705Z] configfile: pyproject.toml
[2024-11-24T11:59:37.828Z] collecting ... collected 5 items / 22 errors
[2024-11-24T11:59:37.828Z]
[2024-11-24T11:59:37.828Z] ==================================== ERRORS ====================================
[2024-11-24T11:59:37.828Z] __________________ ERROR collecting tests/test_annotations.py __________________
[2024-11-24T11:59:37.828Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_annotations.py'.
[2024-11-24T11:59:37.828Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.828Z] Traceback:
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.828Z] mod = import_path(
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.828Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.828Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.828Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.828Z] tests/test_annotations.py:2: in <module>
[2024-11-24T11:59:37.828Z] import claripy
[2024-11-24T11:59:37.828Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.828Z] from . import backends as _backends_module
[2024-11-24T11:59:37.828Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.828Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.828Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.828Z] import z3
[2024-11-24T11:59:37.828Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.828Z] ______________________ ERROR collecting tests/test_ast.py ______________________
[2024-11-24T11:59:37.828Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_ast.py'.
[2024-11-24T11:59:37.828Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.828Z] Traceback:
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.828Z] mod = import_path(
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.828Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.828Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.828Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.828Z] tests/test_ast.py:1: in <module>
[2024-11-24T11:59:37.828Z] import claripy
[2024-11-24T11:59:37.828Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.828Z] from . import backends as _backends_module
[2024-11-24T11:59:37.828Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.828Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.828Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.828Z] import z3
[2024-11-24T11:59:37.828Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.828Z] __________________ ERROR collecting tests/test_backend_smt.py __________________
[2024-11-24T11:59:37.828Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_backend_smt.py'.
[2024-11-24T11:59:37.828Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.828Z] Traceback:
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.828Z] mod = import_path(
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.828Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.828Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.828Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.828Z] tests/test_backend_smt.py:2: in <module>
[2024-11-24T11:59:37.828Z] import claripy
[2024-11-24T11:59:37.828Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.828Z] from . import backends as _backends_module
[2024-11-24T11:59:37.828Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.828Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.828Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.828Z] import z3
[2024-11-24T11:59:37.828Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.828Z] ________________ ERROR collecting tests/test_backend_smt_abc.py ________________
[2024-11-24T11:59:37.828Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_backend_smt_abc.py'.
[2024-11-24T11:59:37.828Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.828Z] Traceback:
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.828Z] mod = import_path(
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.828Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.828Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.828Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.828Z] tests/test_backend_smt_abc.py:2: in <module>
[2024-11-24T11:59:37.828Z] import claripy
[2024-11-24T11:59:37.828Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.828Z] from . import backends as _backends_module
[2024-11-24T11:59:37.828Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.828Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.828Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.828Z] import z3
[2024-11-24T11:59:37.828Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.828Z] _____________ ERROR collecting tests/test_backend_smt_composite.py _____________
[2024-11-24T11:59:37.828Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_backend_smt_composite.py'.
[2024-11-24T11:59:37.828Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.828Z] Traceback:
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.828Z] mod = import_path(
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.828Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.828Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.828Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.828Z] tests/test_backend_smt_composite.py:2: in <module>
[2024-11-24T11:59:37.828Z] import claripy
[2024-11-24T11:59:37.828Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.828Z] from . import backends as _backends_module
[2024-11-24T11:59:37.828Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.828Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.828Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.828Z] import z3
[2024-11-24T11:59:37.828Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.828Z] ____________ ERROR collecting tests/test_backend_smt_congruency.py _____________
[2024-11-24T11:59:37.828Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_backend_smt_congruency.py'.
[2024-11-24T11:59:37.828Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.828Z] Traceback:
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.828Z] mod = import_path(
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.828Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.828Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.828Z] ???
[2024-11-24T11:59:37.828Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.828Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.828Z] tests/test_backend_smt_congruency.py:4: in <module>
[2024-11-24T11:59:37.828Z] import claripy
[2024-11-24T11:59:37.828Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.828Z] from . import backends as _backends_module
[2024-11-24T11:59:37.828Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.828Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.828Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.828Z] import z3
[2024-11-24T11:59:37.828Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.829Z] _______________ ERROR collecting tests/test_backend_smt_cvc4.py ________________
[2024-11-24T11:59:37.829Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_backend_smt_cvc4.py'.
[2024-11-24T11:59:37.829Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.829Z] Traceback:
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.829Z] mod = import_path(
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.829Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.829Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.829Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.829Z] tests/test_backend_smt_cvc4.py:2: in <module>
[2024-11-24T11:59:37.829Z] import claripy
[2024-11-24T11:59:37.829Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.829Z] from . import backends as _backends_module
[2024-11-24T11:59:37.829Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.829Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.829Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.829Z] import z3
[2024-11-24T11:59:37.829Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.829Z] ________________ ERROR collecting tests/test_backend_smt_z3.py _________________
[2024-11-24T11:59:37.829Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_backend_smt_z3.py'.
[2024-11-24T11:59:37.829Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.829Z] Traceback:
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.829Z] mod = import_path(
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.829Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.829Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.829Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.829Z] tests/test_backend_smt_z3.py:2: in <module>
[2024-11-24T11:59:37.829Z] import claripy
[2024-11-24T11:59:37.829Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.829Z] from . import backends as _backends_module
[2024-11-24T11:59:37.829Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.829Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.829Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.829Z] import z3
[2024-11-24T11:59:37.829Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.829Z] ___________________ ERROR collecting tests/test_balancer.py ____________________
[2024-11-24T11:59:37.829Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_balancer.py'.
[2024-11-24T11:59:37.829Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.829Z] Traceback:
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.829Z] mod = import_path(
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.829Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.829Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.829Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.829Z] tests/test_balancer.py:1: in <module>
[2024-11-24T11:59:37.829Z] import claripy
[2024-11-24T11:59:37.829Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.829Z] from . import backends as _backends_module
[2024-11-24T11:59:37.829Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.829Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.829Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.829Z] import z3
[2024-11-24T11:59:37.829Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.829Z] ______________________ ERROR collecting tests/test_bv.py _______________________
[2024-11-24T11:59:37.829Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_bv.py'.
[2024-11-24T11:59:37.829Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.829Z] Traceback:
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.829Z] mod = import_path(
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.829Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.829Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.829Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.829Z] tests/test_bv.py:4: in <module>
[2024-11-24T11:59:37.829Z] import claripy
[2024-11-24T11:59:37.829Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.829Z] from . import backends as _backends_module
[2024-11-24T11:59:37.829Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.829Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.829Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.829Z] import z3
[2024-11-24T11:59:37.829Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.829Z] ___________________ ERROR collecting tests/test_concrete.py ____________________
[2024-11-24T11:59:37.829Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_concrete.py'.
[2024-11-24T11:59:37.829Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.829Z] Traceback:
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.829Z] mod = import_path(
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.829Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.829Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.829Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.829Z] tests/test_concrete.py:1: in <module>
[2024-11-24T11:59:37.829Z] import claripy
[2024-11-24T11:59:37.829Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.829Z] from . import backends as _backends_module
[2024-11-24T11:59:37.829Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.829Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.829Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.829Z] import z3
[2024-11-24T11:59:37.829Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.829Z] __________________ ERROR collecting tests/test_expression.py ___________________
[2024-11-24T11:59:37.829Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_expression.py'.
[2024-11-24T11:59:37.829Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.829Z] Traceback:
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.829Z] mod = import_path(
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.829Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.829Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.829Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.829Z] tests/test_expression.py:5: in <module>
[2024-11-24T11:59:37.829Z] import claripy
[2024-11-24T11:59:37.829Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.829Z] from . import backends as _backends_module
[2024-11-24T11:59:37.829Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.829Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.829Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.829Z] import z3
[2024-11-24T11:59:37.829Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.829Z] _____________ ERROR collecting tests/test_fallback_abstraction.py ______________
[2024-11-24T11:59:37.829Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_fallback_abstraction.py'.
[2024-11-24T11:59:37.829Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.829Z] Traceback:
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.829Z] mod = import_path(
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.829Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.829Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.829Z] ???
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.829Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.829Z] tests/test_fallback_abstraction.py:3: in <module>
[2024-11-24T11:59:37.829Z] import claripy
[2024-11-24T11:59:37.829Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.829Z] from . import backends as _backends_module
[2024-11-24T11:59:37.829Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.829Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.829Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.829Z] import z3
[2024-11-24T11:59:37.829Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.829Z] ______________________ ERROR collecting tests/test_fp.py _______________________
[2024-11-24T11:59:37.829Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_fp.py'.
[2024-11-24T11:59:37.829Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.829Z] Traceback:
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.829Z] mod = import_path(
[2024-11-24T11:59:37.829Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.830Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.830Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.830Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.830Z] tests/test_fp.py:5: in <module>
[2024-11-24T11:59:37.830Z] import claripy
[2024-11-24T11:59:37.830Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.830Z] from . import backends as _backends_module
[2024-11-24T11:59:37.830Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.830Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.830Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.830Z] import z3
[2024-11-24T11:59:37.830Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.830Z] ____________________ ERROR collecting tests/test_merging.py ____________________
[2024-11-24T11:59:37.830Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_merging.py'.
[2024-11-24T11:59:37.830Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.830Z] Traceback:
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.830Z] mod = import_path(
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.830Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.830Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.830Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.830Z] tests/test_merging.py:4: in <module>
[2024-11-24T11:59:37.830Z] import claripy
[2024-11-24T11:59:37.830Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.830Z] from . import backends as _backends_module
[2024-11-24T11:59:37.830Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.830Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.830Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.830Z] import z3
[2024-11-24T11:59:37.830Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.830Z] __________________ ERROR collecting tests/test_regressions.py __________________
[2024-11-24T11:59:37.830Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_regressions.py'.
[2024-11-24T11:59:37.830Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.830Z] Traceback:
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.830Z] mod = import_path(
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.830Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.830Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.830Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.830Z] tests/test_regressions.py:1: in <module>
[2024-11-24T11:59:37.830Z] import claripy
[2024-11-24T11:59:37.830Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.830Z] from . import backends as _backends_module
[2024-11-24T11:59:37.830Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.830Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.830Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.830Z] import z3
[2024-11-24T11:59:37.830Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.830Z] _________________ ERROR collecting tests/test_replacements.py __________________
[2024-11-24T11:59:37.830Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_replacements.py'.
[2024-11-24T11:59:37.830Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.830Z] Traceback:
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.830Z] mod = import_path(
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.830Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.830Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.830Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.830Z] tests/test_replacements.py:1: in <module>
[2024-11-24T11:59:37.830Z] import claripy
[2024-11-24T11:59:37.830Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.830Z] from . import backends as _backends_module
[2024-11-24T11:59:37.830Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.830Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.830Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.830Z] import z3
[2024-11-24T11:59:37.830Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.830Z] ____________________ ERROR collecting tests/test_serial.py _____________________
[2024-11-24T11:59:37.830Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_serial.py'.
[2024-11-24T11:59:37.830Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.830Z] Traceback:
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.830Z] mod = import_path(
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.830Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.830Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.830Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.830Z] tests/test_serial.py:1: in <module>
[2024-11-24T11:59:37.830Z] import claripy
[2024-11-24T11:59:37.830Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.830Z] from . import backends as _backends_module
[2024-11-24T11:59:37.830Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.830Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.830Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.830Z] import z3
[2024-11-24T11:59:37.830Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.830Z] ___________________ ERROR collecting tests/test_simplify.py ____________________
[2024-11-24T11:59:37.830Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_simplify.py'.
[2024-11-24T11:59:37.830Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.830Z] Traceback:
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.830Z] mod = import_path(
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.830Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.830Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.830Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.830Z] tests/test_simplify.py:1: in <module>
[2024-11-24T11:59:37.830Z] import claripy
[2024-11-24T11:59:37.830Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.830Z] from . import backends as _backends_module
[2024-11-24T11:59:37.830Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.830Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.830Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.830Z] import z3
[2024-11-24T11:59:37.830Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.830Z] ____________________ ERROR collecting tests/test_solver.py _____________________
[2024-11-24T11:59:37.830Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_solver.py'.
[2024-11-24T11:59:37.830Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.830Z] Traceback:
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.830Z] mod = import_path(
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.830Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.830Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.830Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.830Z] tests/test_solver.py:1: in <module>
[2024-11-24T11:59:37.830Z] from common_backend_smt_solver import if_installed
[2024-11-24T11:59:37.830Z] tests/common_backend_smt_solver.py:4: in <module>
[2024-11-24T11:59:37.830Z] import claripy
[2024-11-24T11:59:37.830Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.830Z] from . import backends as _backends_module
[2024-11-24T11:59:37.830Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.830Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.830Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.830Z] import z3
[2024-11-24T11:59:37.830Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.830Z] ______________________ ERROR collecting tests/test_vsa.py ______________________
[2024-11-24T11:59:37.830Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_vsa.py'.
[2024-11-24T11:59:37.830Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.830Z] Traceback:
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.830Z] mod = import_path(
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.830Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.830Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.830Z] ???
[2024-11-24T11:59:37.830Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.830Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.830Z] tests/test_vsa.py:1: in <module>
[2024-11-24T11:59:37.830Z] import claripy
[2024-11-24T11:59:37.830Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.831Z] from . import backends as _backends_module
[2024-11-24T11:59:37.831Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.831Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.831Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.831Z] import z3
[2024-11-24T11:59:37.831Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.831Z] ______________________ ERROR collecting tests/test_z3.py _______________________
[2024-11-24T11:59:37.831Z] ImportError while importing test module '/build/python-claripy/src/claripy-9.2.101/tests/test_z3.py'.
[2024-11-24T11:59:37.831Z] Hint: make sure your test modules/packages have valid Python names.
[2024-11-24T11:59:37.831Z] Traceback:
[2024-11-24T11:59:37.831Z] /usr/lib/python3.13/site-packages/_pytest/python.py:493: in importtestmodule
[2024-11-24T11:59:37.831Z] mod = import_path(
[2024-11-24T11:59:37.831Z] /usr/lib/python3.13/site-packages/_pytest/pathlib.py:582: in import_path
[2024-11-24T11:59:37.831Z] importlib.import_module(module_name)
[2024-11-24T11:59:37.831Z] /usr/lib/python3.13/importlib/__init__.py:88: in import_module
[2024-11-24T11:59:37.831Z] return _bootstrap._gcd_import(name[level:], package, level)
[2024-11-24T11:59:37.831Z] <frozen importlib._bootstrap>:1387: in _gcd_import
[2024-11-24T11:59:37.831Z] ???
[2024-11-24T11:59:37.831Z] <frozen importlib._bootstrap>:1360: in _find_and_load
[2024-11-24T11:59:37.831Z] ???
[2024-11-24T11:59:37.831Z] <frozen importlib._bootstrap>:1331: in _find_and_load_unlocked
[2024-11-24T11:59:37.831Z] ???
[2024-11-24T11:59:37.831Z] <frozen importlib._bootstrap>:935: in _load_unlocked
[2024-11-24T11:59:37.831Z] ???
[2024-11-24T11:59:37.831Z] /usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py:184: in exec_module
[2024-11-24T11:59:37.831Z] exec(co, module.__dict__)
[2024-11-24T11:59:37.831Z] tests/test_z3.py:2: in <module>
[2024-11-24T11:59:37.831Z] import claripy
[2024-11-24T11:59:37.831Z] build/lib/claripy/__init__.py:20: in <module>
[2024-11-24T11:59:37.831Z] from . import backends as _backends_module
[2024-11-24T11:59:37.831Z] build/lib/claripy/backends/__init__.py:847: in <module>
[2024-11-24T11:59:37.831Z] from .backend_z3 import BackendZ3
[2024-11-24T11:59:37.831Z] build/lib/claripy/backends/backend_z3.py:12: in <module>
[2024-11-24T11:59:37.831Z] import z3
[2024-11-24T11:59:37.831Z] E ModuleNotFoundError: No module named 'z3'
[2024-11-24T11:59:37.831Z] =========================== short test summary info ============================
[2024-11-24T11:59:37.831Z] ERROR tests/test_annotations.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_ast.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_backend_smt.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_backend_smt_abc.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_backend_smt_composite.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_backend_smt_congruency.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_backend_smt_cvc4.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_backend_smt_z3.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_balancer.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_bv.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_concrete.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_expression.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_fallback_abstraction.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_fp.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_merging.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_regressions.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_replacements.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_serial.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_simplify.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_solver.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_vsa.py
[2024-11-24T11:59:37.831Z] ERROR tests/test_z3.py
[2024-11-24T11:59:37.831Z] !!!!!!!!!!!!!!!!!!! Interrupted: 22 errors during collection !!!!!!!!!!!!!!!!!!!
[2024-11-24T11:59:37.831Z] ============================== 22 errors in 3.52s ==============================
[2024-11-24T11:59:37.831Z] ==> ERROR: A failure occurred in check().
[2024-11-24T11:59:37.831Z] Aborting...
[2024-11-24T11:59:39.697Z] ==> ERROR: Build failed, check /build/buildpkg/world-goblins-x86_64/jenkins/build
[Pipeline] }
[2024-11-24T11:59:39.699Z] ERROR: Failed to build source
[2024-11-24T11:59:39.699Z] ERROR: script returned exit code 255
[2024-11-24T11:59:39.699Z] Setting overall build result to FAILURE
[Pipeline] // catchError
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Check)
Stage "Check" skipped due to when conditional
[Pipeline] getContext
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Sign)
Stage "Sign" skipped due to when conditional
[Pipeline] getContext
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Add)
Stage "Add" skipped due to when conditional
[Pipeline] getContext
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Remove)
Stage "Remove" skipped due to when conditional
[Pipeline] getContext
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Declarative: Post Actions)
[Pipeline] emailext
[2024-11-24T11:59:39.861Z] Sending email to: artix-build-failures at artixlinux.org
More information about the artix-build-failures
mailing list