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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=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;\\007"', '--setenv=PS1= \\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;\\007"', 'PS1': ' \\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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=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;\\007"', '--setenv=PS1= \\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;\\007"', 'PS1': ' \\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