Build: world-goblins
Name: python-pysmt-0.9.5-5
maintainer: LemonPie
email: lemonpie at artixlinux.org
[1]https://orion.artixlinux.org/job/packages/job/python-pysmt/job/maste
r/8/
References
1. https://orion.artixlinux.org/job/packages/job/python-pysmt/job/master/8/
-------------- next part --------------
Push event to branch master
Looking up repository packages/python-pysmt
Querying the current revision of branch master...
Current revision of branch master is fb8dab3f57f6205b7ccefc125ce0521f7590f06f
Obtained .artixlinux/Jenkinsfile from fb8dab3f57f6205b7ccefc125ce0521f7590f06f
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
Cloning the remote Git repository
Cloning with configured refspecs honoured and without tags
Cloning repository https://gitea.artixlinux.org/artix/pipeline-libs.git
> git init /var/lib/jenkins/workspace/packages_python-pysmt_master at libs/d1b6e538991d6cf27c1f72e8cf4d6e290b22a9c93094b0e97e3a05b8d58db898 # timeout=10
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
> git config remote.origin.url https://gitea.artixlinux.org/artix/pipeline-libs.git # timeout=10
> git config --add remote.origin.fetch +refs/heads/orion:refs/remotes/origin/orion # timeout=10
Avoid second fetch
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
Still waiting to schedule task
Waiting for next available executor on ‘Jenkins’
Running on Jenkins in /var/lib/jenkins/workspace/packages_python-pysmt_master
[Pipeline] {
[Pipeline] timestamps
[Pipeline] {
[Pipeline] ansiColor
[Pipeline] {
[2024-11-19T23:00:36.673Z]
[Pipeline] stage
[Pipeline] { (Checkout)
[Pipeline] checkout
[2024-11-19T23:00:36.725Z] The recommended git tool is: NONE
[2024-11-19T23:00:36.725Z] using credential jenkins-gotea-token
[2024-11-19T23:00:36.861Z] Cloning the remote Git repository
[2024-11-19T23:00:36.861Z] Cloning with configured refspecs honoured and without tags
[2024-11-19T23:00:36.861Z] Cloning repository https://gitea.artixlinux.org/packages/python-pysmt.git
[2024-11-19T23:00:36.861Z] > git init /var/lib/jenkins/workspace/packages_python-pysmt_master # timeout=10
[2024-11-19T23:00:36.872Z] Fetching upstream changes from https://gitea.artixlinux.org/packages/python-pysmt.git
[2024-11-19T23:00:36.872Z] > git --version # timeout=10
[2024-11-19T23:00:36.877Z] > git --version # 'git version 2.47.0'
[2024-11-19T23:00:36.877Z] using GIT_ASKPASS to set credentials jenkins gitea token
[2024-11-19T23:00:36.884Z] > git fetch --no-tags --force --progress -- https://gitea.artixlinux.org/packages/python-pysmt.git +refs/heads/master:refs/remotes/origin/master # timeout=10
[2024-11-19T23:00:37.095Z] > git config remote.origin.url https://gitea.artixlinux.org/packages/python-pysmt.git # timeout=10
[2024-11-19T23:00:37.101Z] > git config --add remote.origin.fetch +refs/heads/master:refs/remotes/origin/master # timeout=10
[2024-11-19T23:00:37.111Z] Avoid second fetch
[2024-11-19T23:00:37.111Z] Checking out Revision fb8dab3f57f6205b7ccefc125ce0521f7590f06f (master)
[2024-11-19T23:00:37.111Z] > git config core.sparsecheckout # timeout=10
[2024-11-19T23:00:37.119Z] > git checkout -f fb8dab3f57f6205b7ccefc125ce0521f7590f06f # timeout=10
[2024-11-19T23:00:37.132Z] Commit message: "[world-goblins] 'python-pysmt-0.9.5-5' add"
[2024-11-19T23:00:37.132Z] > git rev-list --no-walk 169a36c1321edb5835c3441611fe30744ce36e0b # timeout=10
[2024-11-19T23:00:37.148Z] [Gitea] Notifying branch build status: PENDING Build started...
[2024-11-19T23:00:37.294Z] [Gitea] Notified
[Pipeline] readYaml
[Pipeline] sh
[2024-11-19T23:00:37.562Z] + git show -s --format=%an fb8dab3f57f6205b7ccefc125ce0521f7590f06f
[Pipeline] sh
[2024-11-19T23:00:37.821Z] + git show -s --format=%ae fb8dab3f57f6205b7ccefc125ce0521f7590f06f
[Pipeline] echo
[2024-11-19T23:00:37.845Z] addRepo=world-goblins
[Pipeline] echo
[2024-11-19T23:00:37.850Z] removeRepo=null
[Pipeline] echo
[2024-11-19T23:00:37.855Z] triggersBuild=true
[Pipeline] echo
[2024-11-19T23:00:37.859Z] triggersRebuild=false
[Pipeline] echo
[2024-11-19T23:00:37.864Z] triggersRepoAdd=true
[Pipeline] echo
[2024-11-19T23:00:37.869Z] triggersRepoRemove=false
[Pipeline] echo
[2024-11-19T23:00:37.873Z] triggersNoCheck=false
[Pipeline] echo
[2024-11-19T23:00:37.879Z] name=LemonPie
[Pipeline] echo
[2024-11-19T23:00:37.883Z] email=lemonpie at artixlinux.org
[Pipeline] echo
[2024-11-19T23:00:37.888Z] credentialsId=BUILDBOT_GPGP
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Build)
[Pipeline] catchError
[Pipeline] {
[Pipeline] sh
[2024-11-19T23:00:38.207Z] + buildpkg -n -a x86_64 -d world-goblins -e 'LemonPie <lemonpie at artixlinux.org>'
[2024-11-19T23:00:42.329Z] :: Synchronizing package databases...
[2024-11-19T23:00:42.329Z] system-goblins downloading...
[2024-11-19T23:00:42.329Z] system-gremlins downloading...
[2024-11-19T23:00:42.329Z] system downloading...
[2024-11-19T23:00:42.329Z] world-goblins downloading...
[2024-11-19T23:00:42.329Z] world-gremlins downloading...
[2024-11-19T23:00:42.329Z] world downloading...
[2024-11-19T23:00:42.329Z] :: Starting full system upgrade...
[2024-11-19T23:00:42.329Z] there is nothing to do
[2024-11-19T23:00:44.811Z] ==> Building in chroot for [world-goblins] (x86_64)...
[2024-11-19T23:00:45.061Z] ==> Synchronizing chroot copy [/build/buildpkg/world-goblins-x86_64/root] -> [jenkins]...done
[2024-11-19T23:00:45.972Z] ==> Making package: python-pysmt 0.9.5-5 (Wed Nov 20 00:00:45 2024)
[2024-11-19T23:00:46.223Z] ==> Retrieving sources...
[2024-11-19T23:00:46.223Z] -> Found python-pysmt-0.9.5.tar.gz
[2024-11-19T23:00:46.223Z] -> Found python-pysmt-0.9.5-python_312_support.patch
[2024-11-19T23:00:46.223Z] ==> Validating source files with sha512sums...
[2024-11-19T23:00:46.223Z] python-pysmt-0.9.5.tar.gz ... Passed
[2024-11-19T23:00:46.223Z] python-pysmt-0.9.5-python_312_support.patch ... Passed
[2024-11-19T23:00:46.223Z] ==> Validating source files with b2sums...
[2024-11-19T23:00:46.223Z] python-pysmt-0.9.5.tar.gz ... Passed
[2024-11-19T23:00:46.223Z] python-pysmt-0.9.5-python_312_support.patch ... Passed
[2024-11-19T23:00:52.703Z] ==> Making package: python-pysmt 0.9.5-5 (Tue Nov 19 23:00:51 2024)
[2024-11-19T23:00:52.703Z] ==> Checking runtime dependencies...
[2024-11-19T23:00:52.703Z] ==> Installing missing dependencies...
[2024-11-19T23:00:52.703Z] resolving dependencies...
[2024-11-19T23:00:52.703Z] looking for conflicting packages...
[2024-11-19T23:00:52.703Z]
[2024-11-19T23:00:52.703Z] Package (12) New Version Net Change
[2024-11-19T23:00:52.703Z]
[2024-11-19T23:00:52.703Z] world-goblins/python-autocommand 2.2.2-7 0.08 MiB
[2024-11-19T23:00:52.703Z] world-goblins/python-jaraco.collections 5.0.1-2 0.10 MiB
[2024-11-19T23:00:52.703Z] world-goblins/python-jaraco.context 5.3.0-2 0.04 MiB
[2024-11-19T23:00:52.703Z] world-goblins/python-jaraco.functools 4.0.2-2 0.07 MiB
[2024-11-19T23:00:52.703Z] world-goblins/python-jaraco.text 4.0.0-2 0.08 MiB
[2024-11-19T23:00:52.703Z] world-goblins/python-more-itertools 10.3.0-2 0.62 MiB
[2024-11-19T23:00:52.703Z] world-goblins/python-packaging 24.2-3 0.66 MiB
[2024-11-19T23:00:52.703Z] world-goblins/python-platformdirs 4.3.6-2 0.24 MiB
[2024-11-19T23:00:52.703Z] world-goblins/python-setuptools 1:75.2.0-4 8.05 MiB
[2024-11-19T23:00:52.703Z] world-goblins/python-wheel 0.45.0-3 0.28 MiB
[2024-11-19T23:00:52.703Z] world/z3 4.13.0-2 33.60 MiB
[2024-11-19T23:00:52.703Z] world/python-z3-solver 4.13.0-2 2.48 MiB
[2024-11-19T23:00:52.703Z]
[2024-11-19T23:00:52.703Z] Total Installed Size: 46.31 MiB
[2024-11-19T23:00:52.703Z]
[2024-11-19T23:00:52.703Z] :: Proceed with installation? [Y/n]
[2024-11-19T23:00:52.703Z] checking keyring...
[2024-11-19T23:00:52.703Z] checking package integrity...
[2024-11-19T23:00:52.703Z] loading package files...
[2024-11-19T23:00:52.703Z] checking for file conflicts...
[2024-11-19T23:00:52.703Z] :: Processing package changes...
[2024-11-19T23:00:52.703Z] installing python-more-itertools...
[2024-11-19T23:00:52.703Z] installing python-jaraco.functools...
[2024-11-19T23:00:52.703Z] installing python-jaraco.context...
[2024-11-19T23:00:52.703Z] installing python-autocommand...
[2024-11-19T23:00:52.703Z] installing python-jaraco.text...
[2024-11-19T23:00:52.703Z] Optional dependencies for python-jaraco.text
[2024-11-19T23:00:52.703Z] python-inflect: for show-newlines script
[2024-11-19T23:00:52.703Z] installing python-jaraco.collections...
[2024-11-19T23:00:52.703Z] installing python-packaging...
[2024-11-19T23:00:52.703Z] installing python-platformdirs...
[2024-11-19T23:00:52.703Z] installing python-wheel...
[2024-11-19T23:00:52.703Z] Optional dependencies for python-wheel
[2024-11-19T23:00:52.703Z] python-keyring: for wheel.signatures
[2024-11-19T23:00:52.703Z] python-xdg: for wheel.signatures
[2024-11-19T23:00:52.703Z] python-setuptools: for legacy bdist_wheel subcommand [pending]
[2024-11-19T23:00:52.703Z] installing python-setuptools...
[2024-11-19T23:00:52.703Z] installing z3...
[2024-11-19T23:00:52.703Z] installing python-z3-solver...
[2024-11-19T23:00:52.703Z] ==> Checking buildtime dependencies...
[2024-11-19T23:00:52.703Z] ==> Installing missing dependencies...
[2024-11-19T23:00:52.703Z] resolving dependencies...
[2024-11-19T23:00:52.703Z] looking for conflicting packages...
[2024-11-19T23:00:52.703Z]
[2024-11-19T23:00:52.703Z] Package (6) New Version Net Change
[2024-11-19T23:00:52.703Z]
[2024-11-19T23:00:52.703Z] world/python-iniconfig 2.0.0-5 0.04 MiB
[2024-11-19T23:00:52.703Z] world-goblins/python-pluggy 1.5.0-3 0.20 MiB
[2024-11-19T23:00:52.703Z] world-goblins/python-pyproject-hooks 1.2.0-3 0.10 MiB
[2024-11-19T23:00:52.703Z] world-goblins/python-build 1.2.2-3 0.20 MiB
[2024-11-19T23:00:52.703Z] world-goblins/python-installer 0.7.0-10 0.17 MiB
[2024-11-19T23:00:52.703Z] world-goblins/python-pytest 1:8.3.3-2 3.91 MiB
[2024-11-19T23:00:52.703Z]
[2024-11-19T23:00:52.703Z] Total Installed Size: 4.62 MiB
[2024-11-19T23:00:52.703Z]
[2024-11-19T23:00:52.703Z] :: Proceed with installation? [Y/n]
[2024-11-19T23:00:52.703Z] checking keyring...
[2024-11-19T23:00:52.703Z] checking package integrity...
[2024-11-19T23:00:52.953Z] loading package files...
[2024-11-19T23:00:52.953Z] checking for file conflicts...
[2024-11-19T23:00:52.953Z] :: Processing package changes...
[2024-11-19T23:00:52.953Z] installing python-pyproject-hooks...
[2024-11-19T23:00:52.953Z] installing python-build...
[2024-11-19T23:00:52.953Z] Optional dependencies for python-build
[2024-11-19T23:00:52.954Z] python-pip: to use as the Python package installer (default)
[2024-11-19T23:00:52.954Z] python-uv: to use as the Python package installer
[2024-11-19T23:00:52.954Z] python-virtualenv: to use virtualenv for build isolation
[2024-11-19T23:00:52.954Z] installing python-installer...
[2024-11-19T23:00:52.954Z] installing python-iniconfig...
[2024-11-19T23:00:52.954Z] installing python-pluggy...
[2024-11-19T23:00:52.954Z] installing python-pytest...
[2024-11-19T23:00:52.954Z] ==> Retrieving sources...
[2024-11-19T23:00:52.954Z] -> Found python-pysmt-0.9.5.tar.gz
[2024-11-19T23:00:52.954Z] -> Found python-pysmt-0.9.5-python_312_support.patch
[2024-11-19T23:00:52.954Z] ==> WARNING: Skipping all source file integrity checks.
[2024-11-19T23:00:52.954Z] ==> Extracting sources...
[2024-11-19T23:00:53.204Z] -> Extracting python-pysmt-0.9.5.tar.gz with bsdtar
[2024-11-19T23:00:53.204Z] ==> Starting prepare()...
[2024-11-19T23:00:53.204Z] patching file pysmt/smtlib/parser/__init__.py
[2024-11-19T23:00:53.204Z] ==> Starting build()...
[2024-11-19T23:00:53.454Z] * Getting build dependencies for wheel...
[2024-11-19T23:00:53.454Z] running egg_info
[2024-11-19T23:00:53.454Z] creating PySMT.egg-info
[2024-11-19T23:00:53.454Z] writing PySMT.egg-info/PKG-INFO
[2024-11-19T23:00:53.454Z] writing dependency_links to PySMT.egg-info/dependency_links.txt
[2024-11-19T23:00:53.454Z] writing entry points to PySMT.egg-info/entry_points.txt
[2024-11-19T23:00:53.454Z] writing top-level names to PySMT.egg-info/top_level.txt
[2024-11-19T23:00:53.454Z] writing manifest file 'PySMT.egg-info/SOURCES.txt'
[2024-11-19T23:00:53.454Z] reading manifest file 'PySMT.egg-info/SOURCES.txt'
[2024-11-19T23:00:53.454Z] reading manifest template 'MANIFEST.in'
[2024-11-19T23:00:53.454Z] adding license file 'LICENSE'
[2024-11-19T23:00:53.454Z] adding license file 'NOTICE'
[2024-11-19T23:00:53.454Z] writing manifest file 'PySMT.egg-info/SOURCES.txt'
[2024-11-19T23:00:53.704Z] * Building wheel...
[2024-11-19T23:00:53.955Z] running bdist_wheel
[2024-11-19T23:00:53.955Z] running build
[2024-11-19T23:00:53.955Z] running build_py
[2024-11-19T23:00:53.955Z] creating build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/substituter.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/__init__.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/shortcuts.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/factory.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/type_checker.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/rewritings.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/printers.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/operators.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/formula.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/simplifier.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/exceptions.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/environment.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/oracles.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/configuration.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/decorators.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/fnode.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/utils.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/logics.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/constants.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/parsing.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/__main__.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] copying pysmt/typing.py -> build/lib/pysmt
[2024-11-19T23:00:53.955Z] creating build/lib/pysmt/cmd
[2024-11-19T23:00:53.955Z] copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd
[2024-11-19T23:00:53.955Z] copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd
[2024-11-19T23:00:53.955Z] copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd
[2024-11-19T23:00:53.955Z] copying pysmt/cmd/install.py -> build/lib/pysmt/cmd
[2024-11-19T23:00:53.955Z] creating build/lib/pysmt/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/smtlib/utils.py -> build/lib/pysmt/smtlib
[2024-11-19T23:00:53.955Z] creating build/lib/pysmt/walkers
[2024-11-19T23:00:53.955Z] copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers
[2024-11-19T23:00:53.955Z] copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers
[2024-11-19T23:00:53.955Z] copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers
[2024-11-19T23:00:53.955Z] copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers
[2024-11-19T23:00:53.955Z] copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers
[2024-11-19T23:00:53.955Z] creating build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/cvc4.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/options.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers
[2024-11-19T23:00:53.955Z] creating build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_oracles.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_dwf.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/__init__.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_formula.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_models.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_int.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_qe.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/examples.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_regressions.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_string.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_array.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_sorts.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_env.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_back.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_imports.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_walkers.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_simplify.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_printing.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_cvc4_quantifiers.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_bdd.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_size.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_configuration.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_logics.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_cnf.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_nlira.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_bv.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_constants.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_euf.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_solving.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_nia.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_lira.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test
[2024-11-19T23:00:53.955Z] creating build/lib/pysmt/cmd/installers
[2024-11-19T23:00:53.955Z] copying pysmt/cmd/installers/__init__.py -> build/lib/pysmt/cmd/installers
[2024-11-19T23:00:53.955Z] copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers
[2024-11-19T23:00:53.955Z] copying pysmt/cmd/installers/cvc4.py -> build/lib/pysmt/cmd/installers
[2024-11-19T23:00:53.955Z] copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers
[2024-11-19T23:00:53.955Z] copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers
[2024-11-19T23:00:53.955Z] copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers
[2024-11-19T23:00:53.955Z] copying pysmt/cmd/installers/msat.py -> build/lib/pysmt/cmd/installers
[2024-11-19T23:00:53.955Z] copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers
[2024-11-19T23:00:53.955Z] copying pysmt/cmd/installers/pico.py -> build/lib/pysmt/cmd/installers
[2024-11-19T23:00:53.955Z] creating build/lib/pysmt/smtlib/parser
[2024-11-19T23:00:53.955Z] copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser
[2024-11-19T23:00:53.955Z] copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser
[2024-11-19T23:00:53.955Z] creating build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_smtlibscript.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_parser_qf_arrays.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_parser_type_error.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_fuzzed.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_parser_qf_lia.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_parser_qf_lra.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_model_validation.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_parser_lra.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_parser_qf_uf.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_parser_qf_nia.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_generic_wrapper.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_parser_extensibility.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_griggio.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_parser_qf_nra.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] copying pysmt/test/smtlib/test_parser_qf_lira.py -> build/lib/pysmt/test/smtlib
[2024-11-19T23:00:53.955Z] running egg_info
[2024-11-19T23:00:53.955Z] writing PySMT.egg-info/PKG-INFO
[2024-11-19T23:00:53.955Z] writing dependency_links to PySMT.egg-info/dependency_links.txt
[2024-11-19T23:00:53.955Z] writing entry points to PySMT.egg-info/entry_points.txt
[2024-11-19T23:00:53.955Z] writing top-level names to PySMT.egg-info/top_level.txt
[2024-11-19T23:00:53.955Z] reading manifest file 'PySMT.egg-info/SOURCES.txt'
[2024-11-19T23:00:53.955Z] reading manifest template 'MANIFEST.in'
[2024-11-19T23:00:53.955Z] adding license file 'LICENSE'
[2024-11-19T23:00:53.955Z] adding license file 'NOTICE'
[2024-11-19T23:00:53.955Z] writing manifest file 'PySMT.egg-info/SOURCES.txt'
[2024-11-19T23:00:53.955Z] installing to build/bdist.linux-x86_64/wheel
[2024-11-19T23:00:53.955Z] running install
[2024-11-19T23:00:53.955Z] running install_lib
[2024-11-19T23:00:53.955Z] creating build/bdist.linux-x86_64/wheel
[2024-11-19T23:00:53.955Z] creating build/bdist.linux-x86_64/wheel/pysmt
[2024-11-19T23:00:53.955Z] copying build/lib/pysmt/substituter.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.955Z] copying build/lib/pysmt/__init__.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.955Z] copying build/lib/pysmt/shortcuts.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.955Z] creating build/bdist.linux-x86_64/wheel/pysmt/cmd
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/cmd/__init__.py -> build/bdist.linux-x86_64/wheel/./pysmt/cmd
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/cmd/check_version.py -> build/bdist.linux-x86_64/wheel/./pysmt/cmd
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/cmd/shell.py -> build/bdist.linux-x86_64/wheel/./pysmt/cmd
[2024-11-19T23:00:53.956Z] creating build/bdist.linux-x86_64/wheel/pysmt/cmd/installers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/cmd/installers/__init__.py -> build/bdist.linux-x86_64/wheel/./pysmt/cmd/installers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/cmd/installers/z3.py -> build/bdist.linux-x86_64/wheel/./pysmt/cmd/installers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/cmd/installers/cvc4.py -> build/bdist.linux-x86_64/wheel/./pysmt/cmd/installers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/cmd/installers/bdd.py -> build/bdist.linux-x86_64/wheel/./pysmt/cmd/installers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/cmd/installers/base.py -> build/bdist.linux-x86_64/wheel/./pysmt/cmd/installers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/cmd/installers/yices.py -> build/bdist.linux-x86_64/wheel/./pysmt/cmd/installers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/cmd/installers/msat.py -> build/bdist.linux-x86_64/wheel/./pysmt/cmd/installers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/cmd/installers/btor.py -> build/bdist.linux-x86_64/wheel/./pysmt/cmd/installers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/cmd/installers/pico.py -> build/bdist.linux-x86_64/wheel/./pysmt/cmd/installers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/cmd/install.py -> build/bdist.linux-x86_64/wheel/./pysmt/cmd
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/factory.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] creating build/bdist.linux-x86_64/wheel/pysmt/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/smtlib/annotations.py -> build/bdist.linux-x86_64/wheel/./pysmt/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/smtlib/commands.py -> build/bdist.linux-x86_64/wheel/./pysmt/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/smtlib/__init__.py -> build/bdist.linux-x86_64/wheel/./pysmt/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/smtlib/printers.py -> build/bdist.linux-x86_64/wheel/./pysmt/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/smtlib/script.py -> build/bdist.linux-x86_64/wheel/./pysmt/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/smtlib/solver.py -> build/bdist.linux-x86_64/wheel/./pysmt/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/smtlib/utils.py -> build/bdist.linux-x86_64/wheel/./pysmt/smtlib
[2024-11-19T23:00:53.956Z] creating build/bdist.linux-x86_64/wheel/pysmt/smtlib/parser
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/smtlib/parser/__init__.py -> build/bdist.linux-x86_64/wheel/./pysmt/smtlib/parser
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/smtlib/parser/parser.py -> build/bdist.linux-x86_64/wheel/./pysmt/smtlib/parser
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/type_checker.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] creating build/bdist.linux-x86_64/wheel/pysmt/walkers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/walkers/__init__.py -> build/bdist.linux-x86_64/wheel/./pysmt/walkers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/walkers/tree.py -> build/bdist.linux-x86_64/wheel/./pysmt/walkers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/walkers/generic.py -> build/bdist.linux-x86_64/wheel/./pysmt/walkers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/walkers/dag.py -> build/bdist.linux-x86_64/wheel/./pysmt/walkers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/walkers/identitydag.py -> build/bdist.linux-x86_64/wheel/./pysmt/walkers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/rewritings.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/printers.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/operators.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/formula.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/simplifier.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/exceptions.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/environment.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/oracles.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] creating build/bdist.linux-x86_64/wheel/pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/__init__.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/z3.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/cvc4.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/options.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/bdd.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/eager.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/smtlib.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/portfolio.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/yices.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/solver.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/interpolation.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/msat.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/btor.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/qelim.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/solvers/pico.py -> build/bdist.linux-x86_64/wheel/./pysmt/solvers
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/configuration.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/decorators.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/fnode.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/utils.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/logics.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/constants.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] creating build/bdist.linux-x86_64/wheel/pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_oracles.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_dwf.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_interpolation.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/__init__.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_formula.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_models.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_int.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_qe.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] creating build/bdist.linux-x86_64/wheel/pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/__init__.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_model_validation.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/parser_utils.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_annotations.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_griggio.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> build/bdist.linux-x86_64/wheel/./pysmt/test/smtlib
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_bv_simplification.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_hr_parsing.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/examples.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_regressions.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_string.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_array.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_sorts.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_env.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_back.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_imports.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_walkers.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_simplify.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_printing.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_native_qe.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_bdd.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_rewritings.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_eager_model.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_size.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_configuration.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_logics.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_unsat_cores.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_portfolio.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_cnf.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_shannon_expansion.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_nlira.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_bv.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_constants.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_euf.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_solving.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_walker_ext.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_nia.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_lira.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/test/test_typechecker.py -> build/bdist.linux-x86_64/wheel/./pysmt/test
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/parsing.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/__main__.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] copying build/lib/pysmt/typing.py -> build/bdist.linux-x86_64/wheel/./pysmt
[2024-11-19T23:00:53.956Z] running install_egg_info
[2024-11-19T23:00:53.956Z] Copying PySMT.egg-info to build/bdist.linux-x86_64/wheel/./PySMT-0.9.5-py3.13.egg-info
[2024-11-19T23:00:53.956Z] running install_scripts
[2024-11-19T23:00:53.956Z] creating build/bdist.linux-x86_64/wheel/PySMT-0.9.5.dist-info/WHEEL
[2024-11-19T23:00:53.956Z] creating '/build/python-pysmt/src/pysmt-0.9.5/dist/.tmp-p0tlcsau/PySMT-0.9.5-py3-none-any.whl' and adding 'build/bdist.linux-x86_64/wheel' to it
[2024-11-19T23:00:53.956Z] adding 'pysmt/__init__.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/__main__.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/configuration.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/constants.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/decorators.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/environment.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/exceptions.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/factory.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/fnode.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/formula.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/logics.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/operators.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/oracles.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/parsing.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/printers.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/rewritings.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/shortcuts.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/simplifier.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/substituter.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/type_checker.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/typing.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/utils.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/cmd/__init__.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/cmd/check_version.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/cmd/install.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/cmd/shell.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/cmd/installers/__init__.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/cmd/installers/base.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/cmd/installers/bdd.py'
[2024-11-19T23:00:53.956Z] adding 'pysmt/cmd/installers/btor.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/cmd/installers/cvc4.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/cmd/installers/msat.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/cmd/installers/pico.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/cmd/installers/yices.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/cmd/installers/z3.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/smtlib/__init__.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/smtlib/annotations.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/smtlib/commands.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/smtlib/printers.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/smtlib/script.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/smtlib/solver.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/smtlib/utils.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/smtlib/parser/__init__.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/smtlib/parser/parser.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/__init__.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/bdd.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/btor.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/cvc4.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/eager.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/interpolation.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/msat.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/options.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/pico.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/portfolio.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/qelim.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/smtlib.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/solver.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/yices.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/solvers/z3.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/__init__.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/examples.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_array.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_back.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_bdd.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_bv.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_bv_simplification.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_cnf.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_configuration.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_constants.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_cvc4_quantifiers.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_dwf.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_eager_model.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_env.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_euf.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_formula.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_hr_parsing.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_imports.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_int.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_interpolation.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_lira.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_logics.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_models.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_native_qe.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_nia.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_nlira.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_oracles.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_portfolio.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_printing.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_qe.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_regressions.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_rewritings.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_shannon_expansion.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_simplify.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_size.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_solving.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_sorts.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_string.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_typechecker.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_unsat_cores.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_walker_ext.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/test_walkers.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/__init__.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/parser_utils.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_annotations.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_fuzzed.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_generic_wrapper.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_griggio.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_model_validation.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_parser_examples.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_parser_extensibility.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_parser_lra.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_parser_qf_arrays.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_parser_qf_lia.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_parser_qf_lira.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_parser_qf_lra.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_parser_qf_nia.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_parser_qf_nra.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_parser_qf_uf.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_parser_qf_ufbv.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_parser_type_error.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/test/smtlib/test_smtlibscript.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/walkers/__init__.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/walkers/dag.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/walkers/generic.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/walkers/identitydag.py'
[2024-11-19T23:00:53.957Z] adding 'pysmt/walkers/tree.py'
[2024-11-19T23:00:53.957Z] adding 'PySMT-0.9.5.dist-info/LICENSE'
[2024-11-19T23:00:53.957Z] adding 'PySMT-0.9.5.dist-info/METADATA'
[2024-11-19T23:00:53.957Z] adding 'PySMT-0.9.5.dist-info/NOTICE'
[2024-11-19T23:00:53.957Z] adding 'PySMT-0.9.5.dist-info/WHEEL'
[2024-11-19T23:00:53.957Z] adding 'PySMT-0.9.5.dist-info/entry_points.txt'
[2024-11-19T23:00:53.957Z] adding 'PySMT-0.9.5.dist-info/top_level.txt'
[2024-11-19T23:00:53.957Z] adding 'PySMT-0.9.5.dist-info/RECORD'
[2024-11-19T23:00:53.957Z] removing build/bdist.linux-x86_64/wheel
[2024-11-19T23:00:53.957Z] Successfully built PySMT-0.9.5-py3-none-any.whl
[2024-11-19T23:00:53.957Z] ==> Starting check()...
[2024-11-19T23:00:54.207Z] Traceback (most recent call last):
[2024-11-19T23:00:54.207Z] File "/usr/bin/pytest", line 5, in <module>
[2024-11-19T23:00:54.207Z] from pytest import console_main
[2024-11-19T23:00:54.207Z] File "/usr/lib/python3.13/site-packages/pytest/__init__.py", line 9, in <module>
[2024-11-19T23:00:54.207Z] from _pytest.assertion import register_assert_rewrite
[2024-11-19T23:00:54.207Z] File "/usr/lib/python3.13/site-packages/_pytest/assertion/__init__.py", line 11, in <module>
[2024-11-19T23:00:54.207Z] from _pytest.assertion import rewrite
[2024-11-19T23:00:54.207Z] File "/usr/lib/python3.13/site-packages/_pytest/assertion/rewrite.py", line 31, in <module>
[2024-11-19T23:00:54.207Z] from _pytest._version import version
[2024-11-19T23:00:54.207Z] ModuleNotFoundError: No module named '_pytest._version'
[2024-11-19T23:00:54.207Z] ==> ERROR: A failure occurred in check().
[2024-11-19T23:00:54.207Z] Aborting...
[2024-11-19T23:00:56.690Z] ==> ERROR: Build failed, check /build/buildpkg/world-goblins-x86_64/jenkins/build
[Pipeline] }
[2024-11-19T23:00:56.691Z] ERROR: Failed to build source
[2024-11-19T23:00:56.691Z] ERROR: script returned exit code 255
[2024-11-19T23:00:56.691Z] 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-19T23:00:56.849Z] Sending email to: artix-build-failures at artixlinux.org
More information about the artix-build-failures
mailing list