Mock Version: 3.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs  --target x86_64 --nodeps /builddir/build/SPECS/rubygem-z3.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1678575945.230682/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 0x7f760a282690>timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv._c8qgr58:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/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=TrueprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv._c8qgr58:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/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', 'd7393334ebcc459c91b91d7a87f2e6c7', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1678575945.230682/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv._c8qgr58:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/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/rubygem-z3.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=1678492800
Wrote: /builddir/build/SRPMS/rubygem-z3-0.0.20230311-1.fc39.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/rubygem-z3.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1678575945.230682/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 0x7f760a282690>timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv._c8qgr58:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/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=TrueprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv._c8qgr58:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/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', 'e18858a7db054d99b83b041289e44bf4', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1678575945.230682/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv._c8qgr58:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/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/rubygem-z3.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=1678492800
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.jy7aOD
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf z3-0.0.20230311
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/z3-0.0.20230311.gem
Unpacked gem: '/builddir/build/BUILD/z3-0.0.20230311'
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd z3-0.0.20230311
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.qxU9u2
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -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 z3-0.0.20230311
+ gem build ../z3-0.0.20230311.gemspec
WARNING:  open-ended dependency on pry (>= 0, development) is not recommended
  use a bounded requirement, such as '~> x.y'
WARNING:  open-ended dependency on rake (>= 12, development) is not recommended
  if rake is semantically versioned, use:
    add_development_dependency 'rake', '~> 12'
WARNING:  open-ended dependency on paint (>= 2.1.0, development) is not recommended
  if paint is semantically versioned, use:
    add_development_dependency 'paint', '~> 2.1', '>= 2.1.0'
WARNING:  See https://guides.rubygems.org/specification-reference/ for help
  Successfully built RubyGem
  Name: z3
  Version: 0.0.20230311
  File: z3-0.0.20230311.gem
+ mkdir -p ./usr/share/gems
+ CONFIGURE_ARGS='--with-cflags='\''-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer'\'' --with-cxxflags='\''-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer'\'' --with-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  '\'' '
+ gem install -V --local --build-root . --force --document=ri,rdoc z3-0.0.20230311.gem
WARNING:  You build with buildroot.
  Build root: /builddir/build/BUILD/z3-0.0.20230311
  Bin dir: /builddir/build/BUILD/z3-0.0.20230311/usr/bin
  Gem home: /builddir/build/BUILD/z3-0.0.20230311/usr/share/gems
  Plugins dir: /builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/plugins
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/.rspec
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/README.md
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/Rakefile
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/abc_path
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/abc_path-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/algebra_problems
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/aquarium
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/aquarium-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/basic_int_math
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/basic_logic
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/bit_tricks
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/bridges
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/bridges-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/cats_organized_neatly
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/cats_organized_neatly-10.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/cats_organized_neatly-3.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/cats_organized_neatly-48.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/circuit_problems
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/clogic_puzzle
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/color_nonogram
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/color_nonogram-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/crossflip
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/dominion
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/dominion-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/dominosa
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/dominosa-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/eulero
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/eulero-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/four_hackers_puzzle
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/futoshiki
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/futoshiki-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/geometry_problem
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/kakurasu
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/kakurasu-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/kakuro
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/kakuro-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/killer_sudoku
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/killer_sudoku-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/killer_sudoku-2.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/kinematics_problems
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/knights_puzzle
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/kropki
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/kropki-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/letter_connections
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/letter_connections-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/light_up
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/light_up-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/minisudoku
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/minisudoku-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/miracle_sudoku
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/miracle_sudoku-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/mortal_coil_puzzle
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/mortal_coil_puzzle-9.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/nanro
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/nanro-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/nine_clocks
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/nonogram
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/oneofus
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/pyramid_nonogram
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/beginner-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/beginner-2.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/beginner-3.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/beginner-4.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/beginner-5.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/experienced-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/experienced-2.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/experienced-3.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/experienced-4.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/experienced-5.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/tutorial-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/tutorial-2.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/tutorial-3.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/tutorial-4.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/tutorial-5.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/tutorial-6.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/tutorial-7.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/tutorial-8.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword/tutorial-9.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword_solver
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_solver
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/regexp_string_matcher.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/renzoku
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/renzoku-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/sandwich_sudoku
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/sandwich_sudoku-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/selfref
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/simple_regexp_parser.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/skyscrapers
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/skyscrapers-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/skyscrapers-2.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/star_battle
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/star_battle-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/stitches
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/stitches-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/sudoku
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/sudoku-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/suguru
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/suguru-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/verbal_arithmetic
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/yajilin
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/yajilin-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/examples/zebra_puzzle
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/ast.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/context.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/exception.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/expr/arith_expr.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/expr/array_expr.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/expr/bitvec_expr.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/expr/bool_expr.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/expr/expr.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/expr/float_expr.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/expr/int_expr.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/expr/real_expr.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/expr/rounding_mode_expr.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/expr/set_expr.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/func_decl.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/goal.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/hacks.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/interface.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/low_level.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/low_level_auto.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/model.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/optimize.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/printer.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/probe.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/solver.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/sort/array_sort.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/sort/bitvec_sort.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/sort/bool_sort.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/sort/float_sort.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/sort/int_sort.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/sort/real_sort.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/sort/rounding_mode_sort.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/sort/set_sort.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/sort/sort.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/tactic.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/very_low_level.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/lib/z3/very_low_level_auto.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/array_expr_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/array_sort_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/bitvec_expr_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/bitvec_sort_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/bool_expr_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/bool_sort_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/coverage_helper.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/expr_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/float_expr_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/float_sort_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/goal_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/int_expr_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/int_sort_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/abc_path_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/algebra_problems_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/aquarium_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/basic_int_math_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/basic_logic_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/bit_tricks_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/bridges_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/cats_organized_neatly_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/cicruit_problem_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/color_nonogram_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/crossflip_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/dominion_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/dominosa_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/eulero_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/examples/abc_path-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/examples/abc_path-2.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/examples/futoshiki-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/examples/futoshiki-2.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/examples/knights_puzzle-1.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/examples/knights_puzzle-2.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/examples/knights_puzzle-3.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/examples/knights_puzzle-4.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/examples/knights_puzzle-5.txt
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/four_hackers_puzzle_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/futoshiki_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/geometry_problem_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/kakurasu_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/kakuro_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/killer_sudoku_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/kinematics_problems_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/knights_puzzle_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/kropki_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/letter_connections_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/light_up_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/minisudoku_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/miracle_sudoku_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/mortal_coil_puzzle_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/nanro_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/nine_clocks_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/nonogram_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/oneofus_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/pyramid_nonogram_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/regexp_crossword_solver_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/regexp_solver_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/renzoku_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/sandwich_sudoku_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/selfref_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/skyscraper_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/star_battle_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/stitches_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/sudoku_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/suguru_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/verbal_arithmetic_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/yajilin_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/integration/zebra_puzzle_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/interface_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/model_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/optimize_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/printer_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/probe_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/real_expr_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/real_sort_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/rounding_mode_expr_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/rounding_mode_sort_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/set_expr_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/set_sort_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/solver_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/sort_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/spec_helper.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/tactic_spec.rb
/builddir/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311/spec/z3_spec.rb
Successfully installed z3-0.0.20230311
Parsing documentation for z3-0.0.20230311
Parsing sources...
  2% [ 1/37]  lib/z3.rb
  5% [ 2/37]  lib/z3/ast.rb
  8% [ 3/37]  lib/z3/context.rb
 10% [ 4/37]  lib/z3/exception.rb
 13% [ 5/37]  lib/z3/expr/arith_expr.rb
 16% [ 6/37]  lib/z3/expr/array_expr.rb
 18% [ 7/37]  lib/z3/expr/bitvec_expr.rb
 21% [ 8/37]  lib/z3/expr/bool_expr.rb
 24% [ 9/37]  lib/z3/expr/expr.rb
 27% [10/37]  lib/z3/expr/float_expr.rb
 29% [11/37]  lib/z3/expr/int_expr.rb
 32% [12/37]  lib/z3/expr/real_expr.rb
 35% [13/37]  lib/z3/expr/rounding_mode_expr.rb
 37% [14/37]  lib/z3/expr/set_expr.rb
 40% [15/37]  lib/z3/func_decl.rb
 43% [16/37]  lib/z3/goal.rb
 45% [17/37]  lib/z3/hacks.rb
 48% [18/37]  lib/z3/interface.rb
 51% [19/37]  lib/z3/low_level.rb
 54% [20/37]  lib/z3/low_level_auto.rb
 56% [21/37]  lib/z3/model.rb
 59% [22/37]  lib/z3/optimize.rb
 62% [23/37]  lib/z3/printer.rb
 64% [24/37]  lib/z3/probe.rb
 67% [25/37]  lib/z3/solver.rb
 70% [26/37]  lib/z3/sort/array_sort.rb
 72% [27/37]  lib/z3/sort/bitvec_sort.rb
 75% [28/37]  lib/z3/sort/bool_sort.rb
 78% [29/37]  lib/z3/sort/float_sort.rb
 81% [30/37]  lib/z3/sort/int_sort.rb
 83% [31/37]  lib/z3/sort/real_sort.rb
 86% [32/37]  lib/z3/sort/rounding_mode_sort.rb
 89% [33/37]  lib/z3/sort/set_sort.rb
 91% [34/37]  lib/z3/sort/sort.rb
 94% [35/37]  lib/z3/tactic.rb
 97% [36/37]  lib/z3/very_low_level.rb
100% [37/37]  lib/z3/very_low_level_auto.rb
Installing ri documentation for z3-0.0.20230311
Installing darkfish documentation for z3-0.0.20230311
Done installing documentation for z3 after 1 seconds
1 gem installed
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.DRP8Fe
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/rubygem-z3-0.0.20230311-1.fc39.x86_64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/rubygem-z3-0.0.20230311-1.fc39.x86_64
++ dirname /builddir/build/BUILDROOT/rubygem-z3-0.0.20230311-1.fc39.x86_64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/rubygem-z3-0.0.20230311-1.fc39.x86_64
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -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 z3-0.0.20230311
+ mkdir -p /builddir/build/BUILDROOT/rubygem-z3-0.0.20230311-1.fc39.x86_64/usr/share/gems
+ cp -a ./usr/share/gems/build_info ./usr/share/gems/cache ./usr/share/gems/doc ./usr/share/gems/extensions ./usr/share/gems/gems ./usr/share/gems/plugins ./usr/share/gems/specifications /builddir/build/BUILDROOT/rubygem-z3-0.0.20230311-1.fc39.x86_64/usr/share/gems/
+ /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 0.0.20230311-1.fc39 --unique-debug-suffix -0.0.20230311-1.fc39.x86_64 --unique-debug-src-base rubygem-z3-0.0.20230311-1.fc39.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/z3-0.0.20230311
+ /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
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/zebra_puzzle from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/yajilin from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/verbal_arithmetic from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/suguru from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/sudoku from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/stitches from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/star_battle from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/skyscrapers from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/selfref from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/sandwich_sudoku from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/renzoku from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/regexp_solver from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/regexp_crossword_solver from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/pyramid_nonogram from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/oneofus from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/nonogram from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/nine_clocks from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/nanro from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/mortal_coil_puzzle from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/miracle_sudoku from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/minisudoku from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/light_up from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/letter_connections from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/kropki from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/knights_puzzle from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/kinematics_problems from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/killer_sudoku from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/kakuro from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/kakurasu from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/geometry_problem from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/futoshiki from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/four_hackers_puzzle from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/eulero from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/dominosa from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/dominion from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/crossflip from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/color_nonogram from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/clogic_puzzle from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/circuit_problems from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/cats_organized_neatly from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/bridges from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/bit_tricks from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/basic_logic from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/basic_int_math from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/aquarium from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/algebra_problems from /usr/bin/env ruby to #!/usr/bin/ruby
mangling shebang in /usr/share/gems/gems/z3-0.0.20230311/examples/abc_path from /usr/bin/env ruby to #!/usr/bin/ruby
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j2
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.imDNun
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -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 z3-0.0.20230311
+ pushd ./usr/share/gems/gems/z3-0.0.20230311
+ popd
~/build/BUILD/z3-0.0.20230311/usr/share/gems/gems/z3-0.0.20230311 ~/build/BUILD/z3-0.0.20230311
~/build/BUILD/z3-0.0.20230311
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: rubygem-z3-0.0.20230311-1.fc39.noarch
Provides: rubygem(z3) = 0.0.20230311 rubygem-z3 = 0.0.20230311-1.fc39
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: (rubygem(ffi) >= 1.9 with rubygem(ffi) < 2) ruby(rubygems)
Processing files: rubygem-z3-doc-0.0.20230311-1.fc39.noarch
Provides: rubygem-z3-doc = 0.0.20230311-1.fc39
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: /usr/bin/ruby
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/rubygem-z3-0.0.20230311-1.fc39.x86_64
Wrote: /builddir/build/RPMS/rubygem-z3-0.0.20230311-1.fc39.noarch.rpm
Wrote: /builddir/build/RPMS/rubygem-z3-doc-0.0.20230311-1.fc39.noarch.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.FQZJxs
+ umask 022
+ cd /builddir/build/BUILD
+ cd z3-0.0.20230311
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/rubygem-z3-0.0.20230311-1.fc39.x86_64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.xyL5k2
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf z3-0.0.20230311 z3-0.0.20230311.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0