Mock Version: 3.1
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs  --target x86_64 --nodeps /builddir/build/SPECS/python-pysmt.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1662047923.087884/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 0x7fd8a3323250>timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.jb6r11u2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--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']unshare_net=FalseprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.jb6r11u2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--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', 'ca462ebe25014e2e83b3d0b786e39715', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1662047923.087884/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.jb6r11u2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--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  --target x86_64 --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: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1658448000
Wrote: /builddir/build/SRPMS/python-pysmt-0.9.0-7.fc38.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/python-pysmt.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1662047923.087884/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 0x7fd8a3323250>timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.jb6r11u2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--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']unshare_net=FalseprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.jb6r11u2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--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', '098fa72ec5854859a013d268eb77c8e7', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1662047923.087884/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.jb6r11u2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--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 --target x86_64 --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: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1658448000
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.r1pcaC
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf pysmt-0.9.0
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/PySMT-0.9.0.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd pysmt-0.9.0
+ /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.M9wBpa
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd pysmt-0.9.0
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ /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/constants.py -> build/lib/pysmt
copying pysmt/utils.py -> build/lib/pysmt
copying pysmt/typing.py -> build/lib/pysmt
copying pysmt/type_checker.py -> build/lib/pysmt
copying pysmt/substituter.py -> build/lib/pysmt
copying pysmt/simplifier.py -> build/lib/pysmt
copying pysmt/shortcuts.py -> build/lib/pysmt
copying pysmt/rewritings.py -> build/lib/pysmt
copying pysmt/printers.py -> build/lib/pysmt
copying pysmt/parsing.py -> build/lib/pysmt
copying pysmt/oracles.py -> build/lib/pysmt
copying pysmt/operators.py -> build/lib/pysmt
copying pysmt/logics.py -> build/lib/pysmt
copying pysmt/formula.py -> build/lib/pysmt
copying pysmt/fnode.py -> build/lib/pysmt
copying pysmt/factory.py -> build/lib/pysmt
copying pysmt/exceptions.py -> build/lib/pysmt
copying pysmt/environment.py -> build/lib/pysmt
copying pysmt/decorators.py -> build/lib/pysmt
copying pysmt/configuration.py -> build/lib/pysmt
copying pysmt/__main__.py -> build/lib/pysmt
copying pysmt/__init__.py -> build/lib/pysmt
creating build/lib/pysmt/walkers
copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers
copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers
copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers
copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers
copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers
creating build/lib/pysmt/test
copying pysmt/test/test_walkers.py -> build/lib/pysmt/test
copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test
copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test
copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test
copying pysmt/test/test_string.py -> build/lib/pysmt/test
copying pysmt/test/test_sorts.py -> build/lib/pysmt/test
copying pysmt/test/test_solving.py -> build/lib/pysmt/test
copying pysmt/test/test_size.py -> build/lib/pysmt/test
copying pysmt/test/test_simplify.py -> build/lib/pysmt/test
copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test
copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test
copying pysmt/test/test_regressions.py -> build/lib/pysmt/test
copying pysmt/test/test_qe.py -> build/lib/pysmt/test
copying pysmt/test/test_printing.py -> build/lib/pysmt/test
copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test
copying pysmt/test/test_oracles.py -> build/lib/pysmt/test
copying pysmt/test/test_nlira.py -> build/lib/pysmt/test
copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test
copying pysmt/test/test_models.py -> build/lib/pysmt/test
copying pysmt/test/test_logics.py -> build/lib/pysmt/test
copying pysmt/test/test_lira.py -> build/lib/pysmt/test
copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test
copying pysmt/test/test_int.py -> build/lib/pysmt/test
copying pysmt/test/test_imports.py -> build/lib/pysmt/test
copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test
copying pysmt/test/test_formula.py -> build/lib/pysmt/test
copying pysmt/test/test_euf.py -> build/lib/pysmt/test
copying pysmt/test/test_env.py -> build/lib/pysmt/test
copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test
copying pysmt/test/test_dwf.py -> build/lib/pysmt/test
copying pysmt/test/test_cvc4_quantifiers.py -> build/lib/pysmt/test
copying pysmt/test/test_constants.py -> build/lib/pysmt/test
copying pysmt/test/test_configuration.py -> build/lib/pysmt/test
copying pysmt/test/test_cnf.py -> build/lib/pysmt/test
copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test
copying pysmt/test/test_bv.py -> build/lib/pysmt/test
copying pysmt/test/test_bdd.py -> build/lib/pysmt/test
copying pysmt/test/test_back.py -> build/lib/pysmt/test
copying pysmt/test/test_array.py -> build/lib/pysmt/test
copying pysmt/test/examples.py -> build/lib/pysmt/test
copying pysmt/test/__init__.py -> build/lib/pysmt/test
creating build/lib/pysmt/solvers
copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers
copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers
copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers
copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers
copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers
copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers
copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers
copying pysmt/solvers/options.py -> build/lib/pysmt/solvers
copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers
copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers
copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers
copying pysmt/solvers/cvc4.py -> build/lib/pysmt/solvers
copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers
copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers
copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers
creating build/lib/pysmt/smtlib
copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib
copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib
copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib
copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib
copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib
copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib
creating build/lib/pysmt/cmd
copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd
copying pysmt/cmd/install.py -> build/lib/pysmt/cmd
copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd
copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd
creating build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_smtlibscript.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_parser_qf_ufbv.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_nia.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_lira.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_arrays.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_extensibility.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_griggio.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_generic_wrapper.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_fuzzed.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib
creating build/lib/pysmt/smtlib/parser
copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser
copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser
creating build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/pico.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/msat.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/cvc4.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/__init__.py -> build/lib/pysmt/cmd/installers
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 requirements to PySMT.egg-info/requires.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.e1IiSl
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64
++ dirname /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd pysmt-0.9.0
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 -specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ /usr/bin/python3 setup.py install -O1 --skip-build --root /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64 --prefix /usr
running install
/usr/lib/python3.11/site-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools.
  warnings.warn(
running install_lib
creating /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr
creating /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib
creating /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11
creating /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages
creating /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
creating /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd
creating /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/base.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/bdd.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/btor.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/cvc4.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/msat.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/pico.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/yices.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/z3.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd
copying build/lib/pysmt/cmd/check_version.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd
copying build/lib/pysmt/cmd/install.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd
copying build/lib/pysmt/cmd/shell.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd
creating /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib
creating /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib/parser
copying build/lib/pysmt/smtlib/parser/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib/parser
copying build/lib/pysmt/smtlib/parser/parser.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib/parser
copying build/lib/pysmt/smtlib/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/annotations.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/commands.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/printers.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/script.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/solver.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib
creating /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/bdd.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/btor.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/cvc4.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/eager.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/interpolation.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/msat.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/options.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/pico.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/portfolio.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/qelim.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/smtlib.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/solver.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/yices.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/z3.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers
creating /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
creating /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/parser_utils.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_annotations.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_griggio.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/examples.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_array.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_back.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_bdd.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_bv.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_bv_simplification.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_cnf.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_configuration.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_constants.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_dwf.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_eager_model.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_env.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_euf.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_formula.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_hr_parsing.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_imports.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_int.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_interpolation.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_lira.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_logics.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_models.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_native_qe.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_nlira.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_oracles.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_portfolio.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_printing.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_qe.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_regressions.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_rewritings.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_shannon_expansion.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_simplify.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_size.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_solving.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_sorts.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_string.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_typechecker.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_unsat_cores.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_walker_ext.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
copying build/lib/pysmt/test/test_walkers.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test
creating /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/dag.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/generic.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/identitydag.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/tree.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/walkers
copying build/lib/pysmt/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/__main__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/configuration.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/decorators.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/environment.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/exceptions.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/factory.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/fnode.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/formula.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/logics.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/operators.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/oracles.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/parsing.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/printers.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/rewritings.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/shortcuts.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/simplifier.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/substituter.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/type_checker.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/typing.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/utils.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
copying build/lib/pysmt/constants.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers/__init__.py to __init__.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers/base.py to base.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers/bdd.py to bdd.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers/btor.py to btor.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers/cvc4.py to cvc4.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers/msat.py to msat.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers/pico.py to pico.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers/yices.py to yices.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/installers/z3.py to z3.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/__init__.py to __init__.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/check_version.py to check_version.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/install.py to install.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/cmd/shell.py to shell.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib/parser/__init__.py to __init__.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib/parser/parser.py to parser.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib/__init__.py to __init__.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib/annotations.py to annotations.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib/commands.py to commands.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib/printers.py to printers.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib/script.py to script.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/smtlib/solver.py to solver.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/__init__.py to __init__.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/bdd.py to bdd.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/btor.py to btor.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/cvc4.py to cvc4.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/eager.py to eager.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/interpolation.py to interpolation.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/msat.py to msat.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/options.py to options.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/pico.py to pico.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/portfolio.py to portfolio.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/qelim.py to qelim.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/smtlib.py to smtlib.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/solver.py to solver.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/yices.py to yices.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/solvers/z3.py to z3.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/__init__.py to __init__.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/parser_utils.py to parser_utils.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_annotations.py to test_annotations.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_fuzzed.py to test_fuzzed.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_generic_wrapper.py to test_generic_wrapper.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_griggio.py to test_griggio.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_examples.py to test_parser_examples.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_extensibility.py to test_parser_extensibility.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_lra.py to test_parser_lra.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_arrays.py to test_parser_qf_arrays.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_lia.py to test_parser_qf_lia.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_lira.py to test_parser_qf_lira.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_lra.py to test_parser_qf_lra.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_nia.py to test_parser_qf_nia.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_nra.py to test_parser_qf_nra.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_qf_ufbv.py to test_parser_qf_ufbv.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_parser_type_error.py to test_parser_type_error.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/smtlib/test_smtlibscript.py to test_smtlibscript.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/__init__.py to __init__.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/examples.py to examples.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_array.py to test_array.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_back.py to test_back.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_bdd.py to test_bdd.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_bv.py to test_bv.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_bv_simplification.py to test_bv_simplification.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_cnf.py to test_cnf.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_configuration.py to test_configuration.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_constants.py to test_constants.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_cvc4_quantifiers.py to test_cvc4_quantifiers.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_dwf.py to test_dwf.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_eager_model.py to test_eager_model.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_env.py to test_env.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_euf.py to test_euf.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_formula.py to test_formula.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_hr_parsing.py to test_hr_parsing.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_imports.py to test_imports.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_int.py to test_int.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_interpolation.py to test_interpolation.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_lira.py to test_lira.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_logics.py to test_logics.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_models.py to test_models.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_native_qe.py to test_native_qe.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_nlira.py to test_nlira.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_oracles.py to test_oracles.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_portfolio.py to test_portfolio.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_printing.py to test_printing.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_qe.py to test_qe.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_regressions.py to test_regressions.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_rewritings.py to test_rewritings.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_shannon_expansion.py to test_shannon_expansion.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_simplify.py to test_simplify.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_size.py to test_size.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_solving.py to test_solving.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_sorts.py to test_sorts.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_string.py to test_string.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_typechecker.py to test_typechecker.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_unsat_cores.py to test_unsat_cores.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_walker_ext.py to test_walker_ext.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/test/test_walkers.py to test_walkers.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/walkers/__init__.py to __init__.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/walkers/dag.py to dag.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/walkers/generic.py to generic.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/walkers/identitydag.py to identitydag.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/walkers/tree.py to tree.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/__init__.py to __init__.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/__main__.py to __main__.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/configuration.py to configuration.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/decorators.py to decorators.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/environment.py to environment.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/exceptions.py to exceptions.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/factory.py to factory.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/fnode.py to fnode.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/formula.py to formula.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/logics.py to logics.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/operators.py to operators.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/oracles.py to oracles.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/parsing.py to parsing.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/printers.py to printers.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/rewritings.py to rewritings.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/shortcuts.py to shortcuts.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/simplifier.py to simplifier.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/substituter.py to substituter.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/type_checker.py to type_checker.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/typing.py to typing.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/utils.py to utils.cpython-311.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/pysmt/constants.py to constants.cpython-311.pyc
writing byte-compilation script '/tmp/tmph3oz_656.py'
/usr/bin/python3 /tmp/tmph3oz_656.py
removing /tmp/tmph3oz_656.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 requirements to PySMT.egg-info/requires.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/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11/site-packages/PySMT-0.9.0-py3.11.egg-info
running install_scripts
Installing pysmt-install script to /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/bin
+ rm -rfv /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/bin/__pycache__
+ /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 0.9.0-7.fc38 --unique-debug-suffix -0.9.0-7.fc38.x86_64 --unique-debug-src-base python-pysmt-0.9.0-7.fc38.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/pysmt-0.9.0
find: 'debug': No such file or directory
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /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
+ /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0
Bytecompiling .py files below /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/lib/python3.11 using python3.11
+ /usr/lib/rpm/redhat/brp-python-hardlink
Processing files: python3-pysmt-0.9.0-7.fc38.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.erJgKj
+ umask 022
+ cd /builddir/build/BUILD
+ cd pysmt-0.9.0
+ DOCDIR=/builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/share/doc/python3-pysmt
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/share/doc/python3-pysmt
+ cp -pr README.rst /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/share/doc/python3-pysmt
+ cp -pr docs/CHANGES.rst docs/api_ref.rst docs/development.rst docs/getting_started.rst docs/index.rst docs/tutorials.rst /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/share/doc/python3-pysmt
+ cp -pr docs/tutorials/ /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/share/doc/python3-pysmt
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.8sy5cO
+ umask 022
+ cd /builddir/build/BUILD
+ cd pysmt-0.9.0
+ LICENSEDIR=/builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/share/licenses/python3-pysmt
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/share/licenses/python3-pysmt
+ cp -pr LICENSE /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64/usr/share/licenses/python3-pysmt
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: python-pysmt = 0.9.0-7.fc38 python3-pysmt = 0.9.0-7.fc38 python3.11-pysmt = 0.9.0-7.fc38 python3.11dist(pysmt) = 0.9 python3dist(pysmt) = 0.9
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.11 python3.11dist(six)
Obsoletes: python-pysmt < 0.9.0-7.fc38
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64
Wrote: /builddir/build/RPMS/python3-pysmt-0.9.0-7.fc38.noarch.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.Aiwuzx
+ umask 022
+ cd /builddir/build/BUILD
+ cd pysmt-0.9.0
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/python-pysmt-0.9.0-7.fc38.x86_64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.cfUIoy
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf pysmt-0.9.0 pysmt-0.9.0.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0