Mock Version: 5.9
Mock Version: 5.9
Mock Version: 5.9
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target noarch --nodeps /builddir/build/SPECS/python-pysmt.spec'], chrootPath='/var/lib/mock/f42-build-55141843-6532781/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3ff965e1590>timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tn_ee6lq:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'])
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tn_ee6lq:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '813d413ac7e1450398f2a7c9b7bfb904', '-D', '/var/lib/mock/f42-build-55141843-6532781/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tn_ee6lq:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target noarch --nodeps /builddir/build/SPECS/python-pysmt.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: noarch
Building for target noarch
setting SOURCE_DATE_EPOCH=1721347200
Wrote: /builddir/build/SRPMS/python-pysmt-0.9.5-7.fc42.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target noarch --nodeps /builddir/build/SPECS/python-pysmt.spec'], chrootPath='/var/lib/mock/f42-build-55141843-6532781/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3ff965e1590>timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tn_ee6lq:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'])
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tn_ee6lq:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '0a7e33e17487476f9e9699df018507b1', '-D', '/var/lib/mock/f42-build-55141843-6532781/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tn_ee6lq:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target noarch --nodeps /builddir/build/SPECS/python-pysmt.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: noarch
Building for target noarch
setting SOURCE_DATE_EPOCH=1721347200
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.yTYXYe
+ umask 022
+ cd /builddir/build/BUILD/python-pysmt-0.9.5-build
+ test -d /builddir/build/BUILD/python-pysmt-0.9.5-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/python-pysmt-0.9.5-build
+ /usr/bin/rm -rf /builddir/build/BUILD/python-pysmt-0.9.5-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/python-pysmt-0.9.5-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/python-pysmt-0.9.5-build/SPECPARTS
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.TKrs3Y
+ umask 022
+ cd /builddir/build/BUILD/python-pysmt-0.9.5-build
+ cd /builddir/build/BUILD/python-pysmt-0.9.5-build
+ rm -rf pysmt-0.9.5
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/PySMT-0.9.5.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd pysmt-0.9.5
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ rm -rf pysmt.egg-info
+ sed -i -e '/^#!\//, 1d' pysmt/cmd/shell.py pysmt/constants.py
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.QLwgUr
+ umask 022
+ cd /builddir/build/BUILD/python-pysmt-0.9.5-build
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd pysmt-0.9.5
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection '
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ /usr/bin/python3 setup.py build '--executable=/usr/bin/python3 -sP'
running build
running build_py
creating build
creating build/lib
creating build/lib/pysmt
copying pysmt/__init__.py -> build/lib/pysmt
copying pysmt/__main__.py -> build/lib/pysmt
copying pysmt/configuration.py -> build/lib/pysmt
copying pysmt/decorators.py -> build/lib/pysmt
copying pysmt/environment.py -> build/lib/pysmt
copying pysmt/exceptions.py -> build/lib/pysmt
copying pysmt/factory.py -> build/lib/pysmt
copying pysmt/fnode.py -> build/lib/pysmt
copying pysmt/formula.py -> build/lib/pysmt
copying pysmt/logics.py -> build/lib/pysmt
copying pysmt/operators.py -> build/lib/pysmt
copying pysmt/oracles.py -> build/lib/pysmt
copying pysmt/parsing.py -> build/lib/pysmt
copying pysmt/printers.py -> build/lib/pysmt
copying pysmt/rewritings.py -> build/lib/pysmt
copying pysmt/shortcuts.py -> build/lib/pysmt
copying pysmt/simplifier.py -> build/lib/pysmt
copying pysmt/substituter.py -> build/lib/pysmt
copying pysmt/type_checker.py -> build/lib/pysmt
copying pysmt/typing.py -> build/lib/pysmt
copying pysmt/utils.py -> build/lib/pysmt
copying pysmt/constants.py -> build/lib/pysmt
creating build/lib/pysmt/cmd
copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd
copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd
copying pysmt/cmd/install.py -> build/lib/pysmt/cmd
copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd
creating build/lib/pysmt/smtlib
copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib
copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib
copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib
copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib
copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib
copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib
copying pysmt/smtlib/utils.py -> build/lib/pysmt/smtlib
creating build/lib/pysmt/solvers
copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers
copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers
copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers
copying pysmt/solvers/cvc4.py -> build/lib/pysmt/solvers
copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers
copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers
copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers
copying pysmt/solvers/options.py -> build/lib/pysmt/solvers
copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers
copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers
copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers
copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers
copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers
copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers
copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers
creating build/lib/pysmt/test
copying pysmt/test/__init__.py -> build/lib/pysmt/test
copying pysmt/test/examples.py -> build/lib/pysmt/test
copying pysmt/test/test_array.py -> build/lib/pysmt/test
copying pysmt/test/test_back.py -> build/lib/pysmt/test
copying pysmt/test/test_bdd.py -> build/lib/pysmt/test
copying pysmt/test/test_bv.py -> build/lib/pysmt/test
copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test
copying pysmt/test/test_cnf.py -> build/lib/pysmt/test
copying pysmt/test/test_configuration.py -> build/lib/pysmt/test
copying pysmt/test/test_constants.py -> build/lib/pysmt/test
copying pysmt/test/test_cvc4_quantifiers.py -> build/lib/pysmt/test
copying pysmt/test/test_dwf.py -> build/lib/pysmt/test
copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test
copying pysmt/test/test_env.py -> build/lib/pysmt/test
copying pysmt/test/test_euf.py -> build/lib/pysmt/test
copying pysmt/test/test_formula.py -> build/lib/pysmt/test
copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test
copying pysmt/test/test_imports.py -> build/lib/pysmt/test
copying pysmt/test/test_int.py -> build/lib/pysmt/test
copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test
copying pysmt/test/test_lira.py -> build/lib/pysmt/test
copying pysmt/test/test_logics.py -> build/lib/pysmt/test
copying pysmt/test/test_models.py -> build/lib/pysmt/test
copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test
copying pysmt/test/test_nia.py -> build/lib/pysmt/test
copying pysmt/test/test_nlira.py -> build/lib/pysmt/test
copying pysmt/test/test_oracles.py -> build/lib/pysmt/test
copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test
copying pysmt/test/test_printing.py -> build/lib/pysmt/test
copying pysmt/test/test_qe.py -> build/lib/pysmt/test
copying pysmt/test/test_regressions.py -> build/lib/pysmt/test
copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test
copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test
copying pysmt/test/test_simplify.py -> build/lib/pysmt/test
copying pysmt/test/test_size.py -> build/lib/pysmt/test
copying pysmt/test/test_solving.py -> build/lib/pysmt/test
copying pysmt/test/test_sorts.py -> build/lib/pysmt/test
copying pysmt/test/test_string.py -> build/lib/pysmt/test
copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test
copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test
copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test
copying pysmt/test/test_walkers.py -> build/lib/pysmt/test
creating build/lib/pysmt/walkers
copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers
copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers
copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers
copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers
copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers
creating build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/__init__.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/cvc4.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/msat.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/pico.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers
creating build/lib/pysmt/smtlib/parser
copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser
copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser
creating build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_fuzzed.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_generic_wrapper.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_griggio.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_model_validation.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_extensibility.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_lra.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_qf_arrays.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_qf_lia.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_qf_lira.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_qf_lra.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_qf_nia.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_qf_nra.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_qf_uf.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_type_error.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_smtlibscript.py -> build/lib/pysmt/test/smtlib
running egg_info
creating PySMT.egg-info
writing PySMT.egg-info/PKG-INFO
writing dependency_links to PySMT.egg-info/dependency_links.txt
writing entry points to PySMT.egg-info/entry_points.txt
writing top-level names to PySMT.egg-info/top_level.txt
writing manifest file 'PySMT.egg-info/SOURCES.txt'
reading manifest file 'PySMT.egg-info/SOURCES.txt'
reading manifest template 'MANIFEST.in'
adding license file 'LICENSE'
adding license file 'NOTICE'
writing manifest file 'PySMT.egg-info/SOURCES.txt'
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.5cPlFd
+ umask 022
+ cd /builddir/build/BUILD/python-pysmt-0.9.5-build
+ '[' /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT
++ dirname /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/python-pysmt-0.9.5-build
+ mkdir /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd pysmt-0.9.5
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection '
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ /usr/bin/python3 setup.py install -O1 --skip-build --root /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT --prefix /usr
running install
/usr/lib/python3.13/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
!!
        ********************************************************************************
        Please avoid running ``setup.py`` directly.
        Instead, use pypa/build, pypa/installer or other
        standards-based tools.
        Follow the current Python packaging guidelines when building
        Python RPM packages.
        See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html
        and https://docs.fedoraproject.org/en-US/packaging-guidelines/Python/ for details.
        ********************************************************************************
!!
  self.initialize_options()
running install_lib
creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr
creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib
creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13
creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages
creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/__main__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/configuration.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/decorators.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/environment.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/exceptions.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/factory.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/fnode.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/formula.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/logics.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/operators.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/oracles.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/parsing.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/printers.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/rewritings.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/shortcuts.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/simplifier.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/substituter.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/type_checker.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/typing.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/utils.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
copying build/lib/pysmt/constants.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt
creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd
copying build/lib/pysmt/cmd/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd
copying build/lib/pysmt/cmd/check_version.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd
copying build/lib/pysmt/cmd/install.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd
copying build/lib/pysmt/cmd/shell.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd
creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/base.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/bdd.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/btor.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/cvc4.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/msat.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/pico.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/yices.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/z3.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers
creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/annotations.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/commands.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/printers.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/script.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/solver.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/utils.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib
creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser
copying build/lib/pysmt/smtlib/parser/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser
copying build/lib/pysmt/smtlib/parser/parser.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser
creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/bdd.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/btor.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/cvc4.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/eager.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/interpolation.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/msat.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/options.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/pico.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/portfolio.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/qelim.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/smtlib.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/solver.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/yices.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/z3.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers
creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/examples.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_array.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_back.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_bdd.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_bv.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_bv_simplification.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_cnf.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_configuration.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_constants.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_dwf.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_eager_model.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_env.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_euf.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_formula.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_hr_parsing.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_imports.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_int.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_interpolation.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_lira.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_logics.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_models.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_native_qe.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_nia.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_nlira.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_oracles.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_portfolio.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_printing.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_qe.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_regressions.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_rewritings.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_shannon_expansion.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_simplify.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_size.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_solving.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_sorts.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_string.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_typechecker.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_unsat_cores.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_walker_ext.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
copying build/lib/pysmt/test/test_walkers.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test
creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/parser_utils.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_annotations.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_griggio.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_model_validation.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib
creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/dag.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/generic.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/identitydag.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/tree.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__init__.py to __init__.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__main__.py to __main__.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/configuration.py to configuration.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/decorators.py to decorators.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/environment.py to environment.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/exceptions.py to exceptions.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/factory.py to factory.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/fnode.py to fnode.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/formula.py to formula.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/logics.py to logics.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/operators.py to operators.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/oracles.py to oracles.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/parsing.py to parsing.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/printers.py to printers.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/rewritings.py to rewritings.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/shortcuts.py to shortcuts.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/simplifier.py to simplifier.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/substituter.py to substituter.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/type_checker.py to type_checker.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/typing.py to typing.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/utils.py to utils.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/constants.py to constants.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/__init__.py to __init__.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/check_version.py to check_version.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/install.py to install.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/shell.py to shell.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__init__.py to __init__.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/base.py to base.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/bdd.py to bdd.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/btor.py to btor.cpython-313.pyc
/usr/lib/python3.13/site-packages/pysmt/cmd/installers/btor.py:96: SyntaxWarning: invalid escape sequence '\('
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/cvc4.py to cvc4.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/msat.py to msat.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/pico.py to pico.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/yices.py to yices.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/z3.py to z3.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__init__.py to __init__.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/annotations.py to annotations.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/commands.py to commands.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/printers.py to printers.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/script.py to script.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/solver.py to solver.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/utils.py to utils.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser/__init__.py to __init__.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser/parser.py to parser.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__init__.py to __init__.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/bdd.py to bdd.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/btor.py to btor.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/cvc4.py to cvc4.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/eager.py to eager.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/interpolation.py to interpolation.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/msat.py to msat.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/options.py to options.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/pico.py to pico.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/portfolio.py to portfolio.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/qelim.py to qelim.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/smtlib.py to smtlib.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/solver.py to solver.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/yices.py to yices.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/z3.py to z3.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__init__.py to __init__.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/examples.py to examples.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_array.py to test_array.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_back.py to test_back.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_bdd.py to test_bdd.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_bv.py to test_bv.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_bv_simplification.py to test_bv_simplification.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_cnf.py to test_cnf.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_configuration.py to test_configuration.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_constants.py to test_constants.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_cvc4_quantifiers.py to test_cvc4_quantifiers.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_dwf.py to test_dwf.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_eager_model.py to test_eager_model.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_env.py to test_env.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_euf.py to test_euf.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_formula.py to test_formula.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_hr_parsing.py to test_hr_parsing.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_imports.py to test_imports.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_int.py to test_int.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_interpolation.py to test_interpolation.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_lira.py to test_lira.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_logics.py to test_logics.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_models.py to test_models.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_native_qe.py to test_native_qe.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_nia.py to test_nia.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_nlira.py to test_nlira.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_oracles.py to test_oracles.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_portfolio.py to test_portfolio.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_printing.py to test_printing.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_qe.py to test_qe.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_regressions.py to test_regressions.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_rewritings.py to test_rewritings.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_shannon_expansion.py to test_shannon_expansion.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_simplify.py to test_simplify.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_size.py to test_size.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_solving.py to test_solving.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_sorts.py to test_sorts.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_string.py to test_string.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_typechecker.py to test_typechecker.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_unsat_cores.py to test_unsat_cores.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_walker_ext.py to test_walker_ext.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_walkers.py to test_walkers.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__init__.py to __init__.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/parser_utils.py to parser_utils.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_annotations.py to test_annotations.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_fuzzed.py to test_fuzzed.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_generic_wrapper.py to test_generic_wrapper.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_griggio.py to test_griggio.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_model_validation.py to test_model_validation.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_examples.py to test_parser_examples.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_extensibility.py to test_parser_extensibility.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_lra.py to test_parser_lra.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_arrays.py to test_parser_qf_arrays.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_lia.py to test_parser_qf_lia.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_lira.py to test_parser_qf_lira.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_lra.py to test_parser_qf_lra.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_nia.py to test_parser_qf_nia.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_nra.py to test_parser_qf_nra.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_uf.py to test_parser_qf_uf.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_ufbv.py to test_parser_qf_ufbv.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_type_error.py to test_parser_type_error.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_smtlibscript.py to test_smtlibscript.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/__init__.py to __init__.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/dag.py to dag.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/generic.py to generic.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/identitydag.py to identitydag.cpython-313.pyc
byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/tree.py to tree.cpython-313.pyc
writing byte-compilation script '/tmp/tmprqyrod3l.py'
/usr/bin/python3 /tmp/tmprqyrod3l.py
/usr/lib/python3.13/site-packages/pysmt/cmd/installers/btor.py:96: SyntaxWarning: invalid escape sequence '\('
removing /tmp/tmprqyrod3l.py
running install_egg_info
running egg_info
writing PySMT.egg-info/PKG-INFO
writing dependency_links to PySMT.egg-info/dependency_links.txt
writing entry points to PySMT.egg-info/entry_points.txt
writing top-level names to PySMT.egg-info/top_level.txt
reading manifest file 'PySMT.egg-info/SOURCES.txt'
reading manifest template 'MANIFEST.in'
adding license file 'LICENSE'
adding license file 'NOTICE'
writing manifest file 'PySMT.egg-info/SOURCES.txt'
Copying PySMT.egg-info to /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/PySMT-0.9.5-py3.13.egg-info
running install_scripts
Installing pysmt-install script to /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/bin
+ rm -rfv /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/bin/__pycache__
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/brp-strip /usr/bin/strip
+ /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j3
Bytecompiling .py files below /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13 using python3.13
/usr/lib/python3.13/site-packages/pysmt/cmd/installers/btor.py:96: SyntaxWarning: invalid escape sequence '\('
/usr/lib/python3.13/site-packages/pysmt/cmd/installers/btor.py:96: SyntaxWarning: invalid escape sequence '\('
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j3 /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/bdd.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/pico.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/yices.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/__init__.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/__init__.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/btor.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/z3.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/cvc4.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/__pycache__/check_version.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/msat.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/__pycache__/__init__.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/base.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/__pycache__/install.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/__pycache__/shell.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser/__pycache__/__init__.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser/__pycache__/__init__.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/__init__.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/annotations.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/commands.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/utils.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/utils.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser/__pycache__/parser.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser/__pycache__/parser.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/script.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/printers.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/script.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/solver.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/__init__.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/solver.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/printers.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/bdd.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/bdd.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/options.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/btor.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/pico.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/btor.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/pico.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/portfolio.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/eager.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/portfolio.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/interpolation.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/qelim.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/cvc4.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/cvc4.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/smtlib.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/solver.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/solver.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/yices.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/yices.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/msat.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/msat.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/parser_utils.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/z3.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/parser_utils.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/z3.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_fuzzed.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/__init__.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_griggio.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_annotations.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_model_validation.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_lra.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_arrays.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_generic_wrapper.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_lia.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_lira.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_lra.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_nia.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_ufbv.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_nra.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_type_error.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_uf.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_examples.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_extensibility.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/__init__.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_smtlibscript.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/examples.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_back.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_cnf.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_cnf.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_configuration.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_array.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_bdd.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_constants.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_cvc4_quantifiers.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_dwf.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_bv.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_env.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_eager_model.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_euf.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_interpolation.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_lira.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_native_qe.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_logics.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_models.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_bv_simplification.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_nia.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_models.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_nlira.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_portfolio.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_formula.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_oracles.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_hr_parsing.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_printing.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_imports.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_int.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_qe.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_shannon_expansion.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_rewritings.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_simplify.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_solving.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_size.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_regressions.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_sorts.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_walker_ext.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_unsat_cores.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_string.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_solving.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/__pycache__/__init__.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/__pycache__/__init__.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_typechecker.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/__pycache__/dag.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_walkers.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/__pycache__/generic.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/__pycache__/tree.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/__init__.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/__main__.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/configuration.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/configuration.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/constants.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/__pycache__/identitydag.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/exceptions.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/decorators.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/environment.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/environment.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/logics.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/factory.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/logics.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/operators.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/operators.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/factory.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/printers.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/printers.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/oracles.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/oracles.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/fnode.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/rewritings.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/parsing.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/shortcuts.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/fnode.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/rewritings.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/shortcuts.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/formula.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/formula.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/simplifier.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/substituter.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/typing.cpython-313.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/simplifier.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/utils.cpython-313.pyc: rewriting with normalized contents
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/typing.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/type_checker.cpython-313.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/type_checker.cpython-313.pyc: replacing with normalized version
Scanned 25 directories and 384 files,
               processed 161 inodes,
               161 modified (70 replaced + 91 rewritten),
               0 unsupported format, 0 errors
Processing files: python3-pysmt-0.9.5-7.fc42.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.pafSTw
+ umask 022
+ cd /builddir/build/BUILD/python-pysmt-0.9.5-build
+ cd pysmt-0.9.5
+ DOCDIR=/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/README.rst /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/docs/CHANGES.rst /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/docs/api_ref.rst /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/docs/development.rst /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/docs/getting_started.rst /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/docs/index.rst /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/docs/tutorials.rst /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/docs/tutorials /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.uQhPYc
+ umask 022
+ cd /builddir/build/BUILD/python-pysmt-0.9.5-build
+ cd pysmt-0.9.5
+ LICENSEDIR=/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/licenses/python3-pysmt
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/licenses/python3-pysmt
+ cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/LICENSE /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/licenses/python3-pysmt
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: python-pysmt = 0.9.5-7.fc42 python3-pysmt = 0.9.5-7.fc42 python3.13-pysmt = 0.9.5-7.fc42 python3.13dist(pysmt) = 0.9.5 python3dist(pysmt) = 0.9.5
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PartialHardlinkSets) <= 4.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: /usr/bin/python3 python(abi) = 3.13
Obsoletes: python-pysmt < 0.9.5-7.fc42
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT
Wrote: /builddir/build/RPMS/python3-pysmt-0.9.5-7.fc42.noarch.rpm
Child return code was: 0