Mock Version: 5.9 Mock Version: 5.9 Mock Version: 5.9 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target noarch --nodeps /builddir/build/SPECS/erlang-proper.spec'], chrootPath='/var/lib/mock/f42-build-55852937-6539271/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=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3y2v4trs:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3y2v4trs:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '6311cb262d1a44898ae98032a477078c', '-D', '/var/lib/mock/f42-build-55852937-6539271/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3y2v4trs:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target noarch --nodeps /builddir/build/SPECS/erlang-proper.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: noarch Building for target noarch setting SOURCE_DATE_EPOCH=1721174400 Wrote: /builddir/build/SRPMS/erlang-proper-1.4-10.fc42.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target noarch --nodeps /builddir/build/SPECS/erlang-proper.spec'], chrootPath='/var/lib/mock/f42-build-55852937-6539271/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=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3y2v4trs:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3y2v4trs:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'e7831e7006484856bfc3a226401534b0', '-D', '/var/lib/mock/f42-build-55852937-6539271/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3y2v4trs:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target noarch --nodeps /builddir/build/SPECS/erlang-proper.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: noarch Building for target noarch setting SOURCE_DATE_EPOCH=1721174400 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.C6a9aY + umask 022 + cd /builddir/build/BUILD/erlang-proper-1.4-build + test -d /builddir/build/BUILD/erlang-proper-1.4-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/erlang-proper-1.4-build + /usr/bin/rm -rf /builddir/build/BUILD/erlang-proper-1.4-build + /usr/bin/mkdir -p /builddir/build/BUILD/erlang-proper-1.4-build + /usr/bin/mkdir -p /builddir/build/BUILD/erlang-proper-1.4-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.ox8RVt + umask 022 + cd /builddir/build/BUILD/erlang-proper-1.4-build + cd /builddir/build/BUILD/erlang-proper-1.4-build + rm -rf proper-1.4 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/proper-1.4.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd proper-1.4 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/erlang-proper-0001-Make-hex-docs-work-again-276.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/erlang-proper-0002-Add-25.0-in-tested-OTP-versions-291.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/erlang-proper-0003-Address-deprecation-warnings-in-OTP25-294.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + sed -i -e /covertool/d ./rebar.config + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.4zYLSt + umask 022 + cd /builddir/build/BUILD/erlang-proper-1.4-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd proper-1.4 + ./scripts/make_doc + '[' '!' -f src/proper.app.src -a '!' -f src/proper.app -a '!' -f ebin/proper.app ']' + echo '*.app file (or *.app.src template) was found.' *.app file (or *.app.src template) was found. + 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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib/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 ' + export LDFLAGS + VSN=1.4 + export VSN + REBAR_VSN_CACHE_FILE=/builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/vsn.cache + export REBAR_VSN_CACHE_FILE + echo '{{git, "/builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4"}, "1.4"}.' + REBAR_DEPS_PREFER_LIBS=TRUE + export REBAR_DEPS_PREFER_LIBS + IGNORE_MISSING_DEPS=TRUE + export IGNORE_MISSING_DEPS + ERL_LIBS=/usr/share/erlang/lib/ + export ERL_LIBS + /usr/bin/rebar3 compile skip_deps=true -vv ===> Verifying dependencies... ===> Analyzing applications... ===> Compiling proper + '[' -f doc/overview.edoc ']' + /usr/bin/rebar3 edoc -vv ===> Verifying dependencies... ===> Analyzing applications... ===> Compiling proper ===> Running edoc for proper /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_types.erl, function cook_outer/1: at line 222: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_types.erl, function cook_outer/1: at line 224: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_types.erl, function cook_outer/1: at line 225: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_types.erl, function cook_outer/1: at line 227: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_types.erl, function cook_outer/1: at line 228: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_typeserver.erl, function start/0: at line 270: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_typeserver.erl, function start/0: at line 273: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_typeserver.erl, function start/0: at line 294: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_typeserver.erl, function start/0: at line 296: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_typeserver.erl, function start/0: at line 300: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_unicode.erl, function utf8/0: at line 52: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_unicode.erl, function utf8/0: at line 53: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_gen.erl, function safe_generate/1: at line 70: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_gen.erl, function safe_generate/1: at line 80: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_gen.erl, function safe_generate/1: at line 82: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_gen.erl, function safe_generate/1: at line 86: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_gen.erl, function safe_generate/1: at line 88: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_gen.erl, function safe_generate/1: at line 92: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_gen.erl, function safe_generate/1: at line 97: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_gen.erl, function safe_generate/1: at line 99: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_gen.erl, function safe_generate/1: at line 103: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_gen.erl, function safe_generate/1: at line 105: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_gen.erl, function safe_generate/1: at line 107: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_gen.erl, function safe_generate/1: at line 109: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper_gen.erl, function safe_generate/1: at line 111: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper.erl, function grow_size/1: at line 456: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper.erl, function grow_size/1: at line 458: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper.erl, function grow_size/1: at line 609: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/src/proper.erl, function grow_size/1: at line 616: warning: tag @private_type not recognized. + ln -s _build/default/lib/proper/ebin . + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.NekwlI + umask 022 + cd /builddir/build/BUILD/erlang-proper-1.4-build + '[' /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT ++ dirname /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT + mkdir -p /builddir/build/BUILD/erlang-proper-1.4-build + mkdir /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd proper-1.4 + '[' proper '!=' '' ']' + /usr/bin/mkdir -p /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/erlang/lib/proper-1.4/ + /usr/bin/mkdir -p /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/erlang/lib/proper-1.4/ebin/ + '[' -f _build/default/lib/proper/ebin/proper.app ']' + /usr/bin/install -m 0644 -p _build/default/lib/proper/ebin/proper.app /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/erlang/lib/proper-1.4/ebin/ + /usr/bin/install -m 0644 -p _build/default/lib/proper/ebin/proper.beam _build/default/lib/proper/ebin/proper_arith.beam _build/default/lib/proper/ebin/proper_array.beam _build/default/lib/proper/ebin/proper_dict.beam _build/default/lib/proper/ebin/proper_erlang_abstract_code.beam _build/default/lib/proper/ebin/proper_fsm.beam _build/default/lib/proper/ebin/proper_gb_sets.beam _build/default/lib/proper/ebin/proper_gb_trees.beam _build/default/lib/proper/ebin/proper_gen.beam _build/default/lib/proper/ebin/proper_gen_next.beam _build/default/lib/proper/ebin/proper_orddict.beam _build/default/lib/proper/ebin/proper_ordsets.beam _build/default/lib/proper/ebin/proper_prop_remover.beam _build/default/lib/proper/ebin/proper_queue.beam _build/default/lib/proper/ebin/proper_sa.beam _build/default/lib/proper/ebin/proper_sets.beam _build/default/lib/proper/ebin/proper_shrink.beam _build/default/lib/proper/ebin/proper_statem.beam _build/default/lib/proper/ebin/proper_symb.beam _build/default/lib/proper/ebin/proper_target.beam _build/default/lib/proper/ebin/proper_transformer.beam _build/default/lib/proper/ebin/proper_types.beam _build/default/lib/proper/ebin/proper_typeserver.beam _build/default/lib/proper/ebin/proper_unicode.beam _build/default/lib/proper/ebin/proper_unused_imports_remover.beam _build/default/lib/proper/ebin/vararg.beam /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/erlang/lib/proper-1.4/ebin/ + '[' -d include/ ']' ++ ls include/proper.hrl include/proper_common.hrl include/proper_internal.hrl include/proper_param_adts.hrl + for erlincludefile in `ls include/*.hrl` + /usr/bin/install -D -m 0644 -p include/proper.hrl /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/erlang/lib/proper-1.4/include/proper.hrl + for erlincludefile in `ls include/*.hrl` + /usr/bin/install -D -m 0644 -p include/proper_common.hrl /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/erlang/lib/proper-1.4/include/proper_common.hrl + for erlincludefile in `ls include/*.hrl` + /usr/bin/install -D -m 0644 -p include/proper_internal.hrl /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/erlang/lib/proper-1.4/include/proper_internal.hrl + for erlincludefile in `ls include/*.hrl` + /usr/bin/install -D -m 0644 -p include/proper_param_adts.hrl /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/erlang/lib/proper-1.4/include/proper_param_adts.hrl + '[' -d priv/ ']' + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j12 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j12 /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT Scanned 8 directories and 31 files, processed 0 inodes, 0 modified (0 replaced + 0 rewritten), 0 unsupported format, 0 errors Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.XodNDv + umask 022 + cd /builddir/build/BUILD/erlang-proper-1.4-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd proper-1.4 + 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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib/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 ' + export LDFLAGS + VSN=1.4 + export VSN + REBAR_VSN_CACHE_FILE=/builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/vsn.cache + export REBAR_VSN_CACHE_FILE + REBAR_DEPS_PREFER_LIBS=TRUE + export REBAR_DEPS_PREFER_LIBS + IGNORE_MISSING_DEPS=TRUE + export IGNORE_MISSING_DEPS + /usr/bin/rebar3 eunit skip_deps=true -vv ===> Verifying dependencies... ===> Analyzing applications... ===> Compiling proper /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/test/proper_tests.erl:1057:19: Warning: matching on the float 0.0 will no longer also match -0.0 in OTP 27. If you specifically intend to match 0.0 alone, write +0.0 instead. % 1057| ?_failsWith([0.0], % | ^ /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/test/proper_tests.erl:1057:19: Warning: matching on the float 0.0 will no longer also match -0.0 in OTP 27. If you specifically intend to match 0.0 alone, write +0.0 instead. % 1057| ?_failsWith([0.0], % | ^ /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/test/proper_tests.erl:1057:19: Warning: matching on the float 0.0 will no longer also match -0.0 in OTP 27. If you specifically intend to match 0.0 alone, write +0.0 instead. % 1057| ?_failsWith([0.0], % | ^ ┌─ test/proper_tests.erl: │ 1057 │ ?_failsWith([0.0], │ ╰── Warning: matching on the float 0.0 will no longer also match -0.0 in OTP 27. If you specifically intend to match 0.0 alone, write +0.0 instead. ┌─ test/proper_tests.erl: │ 1057 │ ?_failsWith([0.0], │ ╰── Warning: matching on the float 0.0 will no longer also match -0.0 in OTP 27. If you specifically intend to match 0.0 alone, write +0.0 instead. ┌─ test/proper_tests.erl: │ 1057 │ ?_failsWith([0.0], │ ╰── Warning: matching on the float 0.0 will no longer also match -0.0 in OTP 27. If you specifically intend to match 0.0 alone, write +0.0 instead. ===> Performing EUnit tests... ======================== EUnit ======================== file "proper.app" application 'proper' module 'proper' module 'proper_tests' proper_tests:754: -simple_types_test_/0-fun-1-...[0.082 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.069 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.068 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.069 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.064 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.074 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.073 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.070 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.072 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.071 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.070 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.070 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.070 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.063 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.084 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.073 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.067 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.062 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.084 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.072 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.068 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.063 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.076 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.078 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.078 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.078 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.078 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.084 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.074 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.074 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.001 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.074 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.073 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.068 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.070 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.069 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.069 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.069 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.076 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.001 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.064 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.073 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.069 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.071 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.001 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.072 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.102 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.070 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.072 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.070 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.079 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.001 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...ok proper_tests:757: -constructed_types_test_/0-fun-1-...ok proper_tests:757: -constructed_types_test_/0-fun-1-...ok proper_tests:757: -constructed_types_test_/0-fun-1-...ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.074 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.001 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.112 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.099 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.073 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.064 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.071 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.070 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.070 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.073 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.071 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...ok proper_tests:757: -constructed_types_test_/0-fun-1-...ok proper_tests:757: -constructed_types_test_/0-fun-1-...ok proper_tests:757: -constructed_types_test_/0-fun-1-...ok proper_tests:757: -constructed_types_test_/0-fun-1-...ok proper_tests:757: -constructed_types_test_/0-fun-1-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.004 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.002 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:764: -shrinks_to_test_/0-fun-16-...ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.353 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.352 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.347 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.353 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.343 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.349 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.352 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.349 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.349 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.347 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.342 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.344 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.345 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.335 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.382 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.343 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.347 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.335 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.383 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.379 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.342 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.334 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.351 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.376 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.381 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.380 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.395 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.353 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.384 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.386 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.401 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.353 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.351 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.344 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.345 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.346 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.343 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.380 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.340 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.354 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.339 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.342 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.342 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.346 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.335 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.341 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.343 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.376 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.345 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.336 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.354 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.366 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.344 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.358 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.351 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.348 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.350 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.348 s] ok proper_tests:773: -cant_generate_test_/0-fun-1-...ok proper_tests:773: -cant_generate_test_/0-fun-1-...ok proper_tests:773: -cant_generate_test_/0-fun-1-...ok proper_tests:773: -cant_generate_test_/0-fun-1-...ok proper_tests:773: -cant_generate_test_/0-fun-1-...ok proper_tests:773: -cant_generate_test_/0-fun-1-...ok proper_tests:773: -cant_generate_test_/0-fun-1-...ok proper_tests:773: -cant_generate_test_/0-fun-1-...ok proper_tests:773: -cant_generate_test_/0-fun-1-...[0.001 s] ok proper_tests:773: -cant_generate_test_/0-fun-1-...ok proper_tests:773: -cant_generate_test_/0-fun-1-...ok proper_tests:773: -cant_generate_test_/0-fun-1-...ok proper_tests:773: -cant_generate_test_/0-fun-1-...ok proper_tests:773: -cant_generate_test_/0-fun-1-...ok proper_tests:773: -cant_generate_test_/0-fun-1-...ok proper_tests:776: -proper_exported_types_test_/0-fun-1-...[0.602 s] ok proper_tests:784: -cant_generate_constraints_test_/0-fun-29-...ok proper_tests:787: -cant_generate_constraints_test_/0-fun-20-...ok proper_tests:790: -cant_generate_constraints_test_/0-fun-13-...ok proper_tests:794: -cant_generate_constraints_test_/0-fun-6-...ok proper_tests:814: -native_cant_translate_test_/0-fun-2-...ok proper_tests:814: -native_cant_translate_test_/0-fun-2-...[0.003 s] ok proper_tests:814: -native_cant_translate_test_/0-fun-2-...ok proper_tests:814: -native_cant_translate_test_/0-fun-2-...ok proper_tests:814: -native_cant_translate_test_/0-fun-2-...ok proper_tests:814: -native_cant_translate_test_/0-fun-2-...ok proper_tests:814: -native_cant_translate_test_/0-fun-2-...ok proper_tests:814: -native_cant_translate_test_/0-fun-2-...ok proper_tests:814: -native_cant_translate_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...[0.001 s] ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:818: -remote_native_types_test_/0-fun-2-...ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.006 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.001 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.001 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.004 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.001 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.001 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.001 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.023 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.002 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.001 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.001 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.002 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.002 s] ok proper_tests:826: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:826: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:826: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:826: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:826: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:826: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:826: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:826: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:831: -random_functions_test_/0-fun-2-...ok proper_tests:832: -random_functions_test_/0-fun-1-...[0.007 s] ok proper_tests:831: -random_functions_test_/0-fun-2-...ok proper_tests:832: -random_functions_test_/0-fun-1-...[0.006 s] ok proper_tests:831: -random_functions_test_/0-fun-2-...ok proper_tests:832: -random_functions_test_/0-fun-1-...[0.006 s] ok proper_tests:831: -random_functions_test_/0-fun-2-...ok proper_tests:832: -random_functions_test_/0-fun-1-...[0.007 s] ok proper_tests:836: -parse_transform_test_/0-fun-24-...[0.002 s] ok proper_tests:837: -parse_transform_test_/0-fun-19-...[0.001 s] ok proper_tests:838: -parse_transform_test_/0-fun-17-...[0.002 s] ok proper_tests:839: -parse_transform_test_/0-fun-15-...[0.011 s] ok proper_tests:840: -parse_transform_test_/0-fun-10-...[0.001 s] ok proper_tests:843: -native_type_props_test_/0-fun-536-...[0.143 s] ok proper_tests:845: -native_type_props_test_/0-fun-529-...[0.142 s] ok proper_tests:848: -native_type_props_test_/0-fun-522-...[0.153 s] ok proper_tests:853: -native_type_props_test_/0-fun-515-...[0.136 s] ok proper_tests:855: -native_type_props_test_/0-fun-508-...[0.002 s] ok proper_tests:856: -native_type_props_test_/0-fun-501-...[0.141 s] ok proper_tests:857: -native_type_props_test_/0-fun-494-...[0.001 s] ok proper_tests:858: -native_type_props_test_/0-fun-487-...[0.140 s] ok proper_tests:859: -native_type_props_test_/0-fun-474-...[0.148 s] ok proper_tests:860: -native_type_props_test_/0-fun-467-...ok proper_tests:861: -native_type_props_test_/0-fun-464-...ok proper_tests:869: -native_type_props_test_/0-fun-459-...[0.141 s] ok proper_tests:870: -native_type_props_test_/0-fun-452-...[0.004 s] ok proper_tests:871: -native_type_props_test_/0-fun-447-...[0.003 s] ok proper_tests:872: -native_type_props_test_/0-fun-442-...[0.142 s] ok proper_tests:875: -native_type_props_test_/0-fun-435-...[0.142 s] ok proper_tests:876: -native_type_props_test_/0-fun-428-...[0.141 s] ok proper_tests:878: -native_type_props_test_/0-fun-421-...ok proper_tests:883: -native_type_props_test_/0-fun-417-...[0.153 s] ok proper_tests:885: -native_type_props_test_/0-fun-408-...[0.142 s] ok proper_tests:886: -native_type_props_test_/0-fun-401-...[0.144 s] ok proper_tests:888: -native_type_props_test_/0-fun-392-...[0.140 s] ok Shrinking tuples All elements are generators proper_tests:891: -native_type_props_test_/0-fun-371-...ok proper_tests:892: -native_type_props_test_/0-fun-355-...ok [done in 0.006 s] Some elements are generators proper_tests:894: -native_type_props_test_/0-fun-339-...ok proper_tests:895: -native_type_props_test_/0-fun-323-...ok proper_tests:896: -native_type_props_test_/0-fun-307-...ok proper_tests:897: -native_type_props_test_/0-fun-291-...ok [done in 0.012 s] All elements are consts proper_tests:899: -native_type_props_test_/0-fun-275-...ok proper_tests:900: -native_type_props_test_/0-fun-259-...ok [done in 0.006 s] [done in 0.024 s] Shrinking fixed lists All elements are generators proper_tests:903: -native_type_props_test_/0-fun-243-...ok proper_tests:904: -native_type_props_test_/0-fun-227-...ok proper_tests:905: -native_type_props_test_/0-fun-211-...ok [done in 0.009 s] Some elements are generators proper_tests:907: -native_type_props_test_/0-fun-195-...ok proper_tests:908: -native_type_props_test_/0-fun-179-...ok proper_tests:909: -native_type_props_test_/0-fun-163-...ok proper_tests:910: -native_type_props_test_/0-fun-147-...ok proper_tests:911: -native_type_props_test_/0-fun-131-...ok proper_tests:912: -native_type_props_test_/0-fun-115-...ok [done in 0.018 s] All elements are consts proper_tests:914: -native_type_props_test_/0-fun-99-...ok proper_tests:915: -native_type_props_test_/0-fun-83-...ok proper_tests:916: -native_type_props_test_/0-fun-67-...ok [done in 0.009 s] [done in 0.036 s] proper_tests:917: -native_type_props_test_/0-fun-51-...[0.002 s] ok proper_tests:918: -native_type_props_test_/0-fun-46-...[0.003 s] ok proper_tests:920: -native_type_props_test_/0-fun-41-...[0.004 s] ok proper_tests:921: -native_type_props_test_/0-fun-34-...[0.001 s] ok proper_tests:922: -native_type_props_test_/0-fun-27-...[0.001 s] ok proper_tests:923: -native_type_props_test_/0-fun-20-...[0.001 s] ok proper_tests:924: -native_type_props_test_/0-fun-13-...[0.002 s] ok proper_tests:925: -native_type_props_test_/0-fun-6-...[0.003 s] ok proper_tests:938: -true_props_test_/0-fun-191-...[0.001 s] ok proper_tests:939: -true_props_test_/0-fun-184-...[0.002 s] ok proper_tests:940: -true_props_test_/0-fun-177-...[0.148 s] ok proper_tests:941: -true_props_test_/0-fun-170-...[0.142 s] ok proper_tests:942: -true_props_test_/0-fun-163-...[0.152 s] ok proper_tests:943: -true_props_test_/0-fun-156-...[0.142 s] ok proper_tests:944: -true_props_test_/0-fun-149-...[0.002 s] ok proper_tests:945: -true_props_test_/0-fun-142-...[0.002 s] ok proper_tests:946: -true_props_test_/0-fun-135-...[0.002 s] ok proper_tests:947: -true_props_test_/0-fun-128-...[0.007 s] ok proper_tests:950: -true_props_test_/0-fun-119-...[0.001 s] ok proper_tests:953: -true_props_test_/0-fun-110-...[0.003 s] ok proper_tests:956: -true_props_test_/0-fun-103-...[0.003 s] ok proper_tests:958: -true_props_test_/0-fun-96-...[0.001 s] ok proper_tests:960: -true_props_test_/0-fun-91-...ok proper_tests:963: -true_props_test_/0-fun-85-...ok proper_tests:967: -true_props_test_/0-fun-79-...[0.006 s] ok proper_tests:972: -true_props_test_/0-fun-71-...ok proper_tests:977: -true_props_test_/0-fun-63-...[0.001 s] ok proper_tests:978: -true_props_test_/0-fun-54-...[0.002 s] ok proper_tests:979: -true_props_test_/0-fun-45-...[0.001 s] ok proper_tests:980: -true_props_test_/0-fun-36-...[0.002 s] ok proper_tests:981: -true_props_test_/0-fun-27-...[0.002 s] ok proper_tests:982: -true_props_test_/0-fun-20-...[0.001 s] ok proper_tests:987: -true_props_test_/0-fun-11-...[0.162 s] ok proper_tests:988: -true_props_test_/0-fun-4-...[0.011 s] ok proper_tests:991: -true_stateful_test_/0-fun-54-...[0.052 s] ok proper_tests:992: -true_stateful_test_/0-fun-49-...[0.057 s] ok proper_tests:993: -true_stateful_test_/0-fun-44-...[0.059 s] ok proper_tests:994: -true_stateful_test_/0-fun-39-...[0.026 s] ok proper_tests:995: -true_stateful_test_/0-fun-34-...[0.163 s] ok proper_tests:996: -true_stateful_test_/0-fun-29-...[0.402 s] ok proper_tests:997: -true_stateful_test_/0-fun-24-...[0.217 s] ok proper_tests:998: -true_stateful_test_/0-fun-19-...[0.152 s] ok proper_tests:999: -true_stateful_test_/0-fun-14-...[0.177 s] ok proper_tests:1000: -true_stateful_test_/0-fun-9-...[0.377 s] ok proper_tests:1001: -true_stateful_test_/0-fun-4-...[1.054 s] ok proper_tests:1004: -false_props_test_/0-fun-482-...ok proper_tests:1006: -false_props_test_/0-fun-466-...ok proper_tests:1010: -false_props_test_/0-fun-445-...[0.001 s] ok proper_tests:1013: -false_props_test_/0-fun-429-...[0.001 s] ok proper_tests:1018: -false_props_test_/0-fun-413-...ok proper_tests:1019: -false_props_test_/0-fun-400-...[0.001 s] ok proper_tests:1025: -false_props_test_/0-fun-384-...[0.001 s] ok proper_tests:1026: -false_props_test_/0-fun-381-...ok proper_tests:1027: -false_props_test_/0-fun-378-...[0.909 s] ok proper_tests:1028: -false_props_test_/0-fun-360-...[0.001 s] ok proper_tests:1029: -false_props_test_/0-fun-339-...ok proper_tests:1035: -false_props_test_/0-fun-333-...ok proper_tests:1038: -false_props_test_/0-fun-326-...ok proper_tests:1042: -false_props_test_/0-fun-320-...ok proper_tests:1044: -false_props_test_/0-fun-307-...ok proper_tests:1046: -false_props_test_/0-fun-286-...ok proper_tests:1048: -false_props_test_/0-fun-265-...ok proper_tests:1050: -false_props_test_/0-fun-252-...[0.002 s] ok proper_tests:1053: -false_props_test_/0-fun-236-...ok proper_tests:1054: -false_props_test_/0-fun-223-...ok proper_tests:1055: -false_props_test_/0-fun-210-...ok proper_tests:1056: -false_props_test_/0-fun-197-...ok proper_tests:1057: -false_props_test_/0-fun-176-...ok proper_tests:1059: -false_props_test_/0-fun-155-...ok proper_tests:1060: -false_props_test_/0-fun-144-...[0.001 s] ok proper_tests:1084: -false_props_test_/0-fun-78-...[0.002 s] ok proper_tests:1085: -false_props_test_/0-fun-67-...[0.027 s] ok proper_tests:1086: -false_props_test_/0-fun-59-...[0.023 s] ok proper_tests:1087: -false_props_test_/0-fun-48-...[0.021 s] ok proper_tests:1088: -false_props_test_/0-fun-37-...[0.019 s] ok proper_tests:1089: -false_props_test_/0-fun-26-...[0.019 s] ok proper_tests:1090: -false_props_test_/0-fun-15-...[0.543 s] ok proper_tests:1091: -false_props_test_/0-fun-7-...[0.004 s] ok proper_tests:1095: -false_stateful_test_/0-fun-31-...[1.222 s] ok proper_tests:1096: -false_stateful_test_/0-fun-23-...[1.696 s] ok proper_tests:1097: -false_stateful_test_/0-fun-15-...[2.818 s] ok proper_tests:1098: -false_stateful_test_/0-fun-7-...[2.229 s] ok proper_tests:1101: -exception_props_test_/0-fun-7-...[0.005 s] ok proper_tests:1104: -error_props_test_/0-fun-92-...[0.001 s] ok proper_tests:1106: -error_props_test_/0-fun-83-...[0.004 s] ok proper_tests:1108: -error_props_test_/0-fun-74-...ok proper_tests:1110: -error_props_test_/0-fun-67-...ok proper_tests:1112: -error_props_test_/0-fun-62-...ok proper_tests:1114: -error_props_test_/0-fun-58-...[0.003 s] ok proper_tests:1116: -error_props_test_/0-fun-53-...[0.001 s] ok proper_tests:1118: -error_props_test_/0-fun-48-...ok proper_tests:1119: -error_props_test_/0-fun-41-...ok proper_tests:1122: -error_props_test_/0-fun-30-...ok proper_tests:1126: -error_props_test_/0-fun-19-...ok proper_tests:1130: -error_props_test_/0-fun-8-...ok proper_tests:1135: -eval_test_/0-fun-2-...ok proper_tests:1135: -eval_test_/0-fun-2-...ok proper_tests:1135: -eval_test_/0-fun-2-...ok proper_tests:1135: -eval_test_/0-fun-2-...ok proper_tests:1135: -eval_test_/0-fun-2-...ok proper_tests:1135: -eval_test_/0-fun-2-...ok proper_tests:1135: -eval_test_/0-fun-2-...ok proper_tests:1139: -pretty_print_test_/0-fun-2-...[0.007 s] ok proper_tests:1139: -pretty_print_test_/0-fun-2-...ok proper_tests:1139: -pretty_print_test_/0-fun-2-...ok proper_tests:1139: -pretty_print_test_/0-fun-2-...ok proper_tests:1139: -pretty_print_test_/0-fun-2-...ok proper_tests:1139: -pretty_print_test_/0-fun-2-...ok proper_tests:1139: -pretty_print_test_/0-fun-2-...ok proper_tests:1143: -not_defined_test_/0-fun-2-...ok proper_tests:1143: -not_defined_test_/0-fun-2-...ok proper_tests:1143: -not_defined_test_/0-fun-2-...ok proper_tests:1143: -not_defined_test_/0-fun-2-...ok proper_tests:1143: -not_defined_test_/0-fun-2-...ok proper_tests:1147: -options_test_/0-fun-145-...ok proper_tests:1149: -options_test_/0-fun-143-...ok proper_tests:1151: -options_test_/0-fun-141-...[0.001 s] ok proper_tests:1154: -options_test_/0-fun-136-...[0.001 s] ok proper_tests:1157: -options_test_/0-fun-131-...[0.001 s] ok proper_tests:1159: -options_test_/0-fun-115-...[0.005 s] ok proper_tests:1161: -options_test_/0-fun-94-...[0.001 s] ok proper_tests:1162: -options_test_/0-fun-68-...ok proper_tests:1163: -options_test_/0-fun-42-...ok proper_tests:1164: -options_test_/0-fun-29-...ok proper_tests:1167: -options_test_/0-fun-20-...ok proper_tests:1213: -setup_test_/0-fun-35-...ok proper_tests:1214: -setup_test_/0-fun-30-...ok proper_tests:1216: -setup_test_/0-fun-28-...ok proper_tests:1217: -setup_test_/0-fun-20-...ok proper_tests:1219: -setup_test_/0-fun-18-...ok proper_tests:1220: -setup_test_/0-fun-16-...ok proper_tests:1222: -setup_test_/0-fun-14-...ok proper_tests:1223: -setup_test_/0-fun-12-...ok proper_tests:1225: -setup_test_/0-fun-10-...ok proper_tests:1226: -setup_test_/0-fun-5-...ok proper_tests:1229: -setup_test_/0-fun-3-...ok proper_tests:1230: -setup_test_/0-fun-1-...ok proper_tests:1236: -adts1_test_/0-fun-6-...[0.322 s] ok proper_tests:1241: -adts2_test_/0-fun-6-...[7.869 s] ok proper_tests:1247: -adts3_test_/0-fun-12-...[1.334 s] ok proper_tests:1252: -parameter_test_/0-fun-12-...[0.002 s] ok proper_tests:1263: -parameter_targeted_test_/0-fun-8-...[0.003 s] ok proper_tests:1266: -zip_test_/0-fun-2-...ok proper_tests:1266: -zip_test_/0-fun-2-...ok proper_tests:1266: -zip_test_/0-fun-2-...ok proper_tests:1266: -zip_test_/0-fun-2-...ok proper_tests:1266: -zip_test_/0-fun-2-...ok proper_tests:1266: -zip_test_/0-fun-2-...ok proper_tests:1270: -command_names_test_/0-fun-2-...ok proper_tests:1270: -command_names_test_/0-fun-2-...ok proper_tests:1270: -command_names_test_/0-fun-2-...ok proper_tests:1274: -command_names_parallel1_test_/0-fun-2-...ok proper_tests:1274: -command_names_parallel1_test_/0-fun-2-...ok proper_tests:1274: -command_names_parallel1_test_/0-fun-2-...ok proper_tests:1278: -command_names_parallel2_test_/0-fun-2-...ok proper_tests:1278: -command_names_parallel2_test_/0-fun-2-...ok proper_tests:1278: -command_names_parallel2_test_/0-fun-2-...ok proper_tests:1282: -command_names_parallel3_test_/0-fun-2-...ok proper_tests:1282: -command_names_parallel3_test_/0-fun-2-...ok proper_tests:1282: -command_names_parallel3_test_/0-fun-2-...ok proper_tests:1286: -command_names_parallel4_test_/0-fun-2-...ok proper_tests:1286: -command_names_parallel4_test_/0-fun-2-...ok proper_tests:1286: -command_names_parallel4_test_/0-fun-2-...ok proper_tests:1290: -valid_cmds_test_/0-fun-2-...[0.002 s] ok proper_tests:1290: -valid_cmds_test_/0-fun-2-...ok proper_tests:1290: -valid_cmds_test_/0-fun-2-...ok proper_tests:1294: -invalid_cmds_test_/0-fun-5-...ok proper_tests:1296: -invalid_cmds_test_/0-fun-2-...ok proper_tests:1296: -invalid_cmds_test_/0-fun-2-...ok proper_tests:1300: -state_after_test_/0-fun-2-...ok proper_tests:1300: -state_after_test_/0-fun-2-...ok proper_tests:1300: -state_after_test_/0-fun-2-...ok proper_tests:1304: -cannot_generate_commands_test_/0-fun-1-...ok proper_tests:1308: -can_generate_commands0_test_/0-fun-1-...[0.008 s] ok proper_tests:1312: -can_generate_commands1_test_/0-fun-1-...[0.004 s] ok proper_tests:1317: -can_generate_parallel_commands0_test_/0-fun-1-...[0.007 s] ok proper_tests:1322: -can_generate_parallel_commands1_test_/0-fun-1-...[0.015 s] ok proper_tests:1328: -seeded_runs_return_same_result_test_/0-fun-1-...[0.022 s] ok proper_tests:1332: -run_valid_commands_test_/0-fun-2-...ok proper_tests:1332: -run_valid_commands_test_/0-fun-2-...ok proper_tests:1332: -run_valid_commands_test_/0-fun-2-...ok proper_tests:1336: -run_init_error_test_/0-fun-2-...ok proper_tests:1341: -run_precondition_false_test_/0-fun-2-...ok proper_tests:1354: -run_postcondition_false_test_/0-fun-1-...ok proper_tests:1360: -run_statem_exceptions_test_/0-fun-1-...ok proper_tests:1364: -get_next_test_/0-fun-2-...ok proper_tests:1364: -get_next_test_/0-fun-2-...ok proper_tests:1369: -mk_first_comb_test_/0-fun-2-...ok proper_tests:1369: -mk_first_comb_test_/0-fun-2-...ok proper_tests:1369: -mk_first_comb_test_/0-fun-2-...ok proper_tests: args_not_defined_test...ok proper_tests:1377: -command_props_test_/0-fun-1-...[1.963 s] ok proper_tests:1381: -can_generate_fsm_commands_test_/0-fun-1-...[0.006 s] ok proper_tests:1381: -can_generate_fsm_commands_test_/0-fun-1-...[0.009 s] ok proper_tests:1385: -transition_target_test_/0-fun-1-...[0.003 s] ok proper_tests:1388: -dollar_only_cp_test_/0-fun-2-...ok Test type with restrain proper_tests:1398: -sampleshrink_test_/0-fun-17- (Try another way to call shrinking (not sampleshrink))...ok proper_tests:1399: -sampleshrink_test_/0-fun-1-...ok [done in 0.006 s] proper_tests: max_size_test...[0.002 s] ok proper_tests:1430: -erlang_abstract_code_test_/0-fun-2-...[0.115 s] ok proper_tests:1430: -erlang_abstract_code_test_/0-fun-2-...[0.019 s] ok proper_tests:1430: -erlang_abstract_code_test_/0-fun-2-...[0.010 s] ok proper_tests:1430: -erlang_abstract_code_test_/0-fun-2-...[0.038 s] ok proper_tests:1430: -erlang_abstract_code_test_/0-fun-2-...[0.556 s] ok [done in 54.813 s] [done in 54.813 s] module 'proper_arith' module 'proper_array' module 'proper_dict' module 'proper_erlang_abstract_code' module 'proper_fsm' module 'proper_gb_sets' module 'proper_gb_trees' module 'proper_gen' module 'proper_gen_next' module 'proper_orddict' module 'proper_ordsets' module 'proper_prop_remover' module 'proper_queue' module 'proper_sa' module 'proper_sets' module 'proper_shrink' module 'proper_statem' module 'proper_symb' module 'proper_target' module 'proper_transformer' module 'proper_types' module 'proper_typeserver' module 'proper_unicode' module 'proper_unused_imports_remover' module 'vararg' [done in 54.820 s] [done in 54.821 s] module 'auto_export_test1' module 'auto_export_test2' module 'command_props' module 'erlang_abstract_code_test' module 'error_statem' module 'ets_counter' module 'ets_statem_test' module 'exists_tests' exists_tests: exists_test...[0.016 s] ok exists_tests: not_exists_test...ok exists_tests: forall_targeted_test...[0.001 s] ok exists_tests: forall_targeted_trapexit_test...[0.004 s] ok exists_tests: not_exists_const_temp_test...ok exists_tests: hillclimbing_test...ok exists_tests: hillclimbing2_test...ok exists_tests: hillclimbing3_test...ok exists_tests: default_accept_function_test...ok exists_tests: integer_test...ok exists_tests: list_test...[0.001 s] ok exists_tests: combine_test...[0.009 s] ok exists_tests: biglist_test...[0.002 s] ok exists_tests: let_test...[0.018 s] ok exists_tests: suchthat_test...[0.012 s] ok exists_tests: union_test...[0.011 s] ok exists_tests: weighted_union_test...[0.011 s] ok exists_tests: tuple_test...[0.012 s] ok exists_tests: let_union_test...[0.017 s] ok exists_tests: lazy_test...[0.019 s] ok exists_tests: sized_test...[0.001 s] ok exists_tests: edge_test...[0.014 s] ok exists_tests:285: -graph_test_/0-fun-1-...[0.059 s] ok exists_tests: improper_list_test...[0.021 s] ok exists_tests: reset_test...[0.011 s] ok exists_tests:353: -graph_match1_test_/0-fun-1-...[0.765 s] ok exists_tests:359: -graph_match2_test_/0-fun-1-...[0.284 s] ok exists_tests: whenfail_test...ok exists_tests: shrink1_test...[0.047 s] ok exists_tests: shrink2_test...[0.025 s] ok exists_tests: shrink3_test...[0.008 s] ok exists_tests: shrink4_test...ok exists_tests: match_test...ok exists_tests: match_and_shrink_test...[0.004 s] ok exists_tests: let_in_nf_test...[0.002 s] ok exists_tests: count_crash_in_not_exists_as_failure_test...ok exists_tests:517: -no_type_test_/0-fun-5-...[0.001 s] ok exists_tests:518: -no_type_test_/0-fun-3-...ok exists_tests:519: -no_type_test_/0-fun-1-...ok [done in 1.494 s] module 'fun_tests' module 'improper_lists_statem' module 'let_tests' module 'more_commands_test' module 'no_native_parse_test' module 'nogen_statem' module 'numbers_fsm' module 'pdict_fsm' module 'perf_max_size' module 'post_false' module 'prec_false' module 'proper_exported_types_test' module 'proper_print' proper_print:37: -stacktrace_test_/0-fun-3-...ok proper_print:39: -stacktrace_test_/0-fun-1-...ok [done in 0.006 s] module 'proper_specs_tests' proper_specs_tests:50: -check1_specs_test_/0-fun-1-...[0.270 s] ok proper_specs_tests:53: -check2_specs_test_/0-fun-1-...[0.208 s] ok proper_specs_tests:56: -check3_specs_test_/0-fun-1-...[0.002 s] ok proper_specs_tests: check1_specs_test...[0.248 s] ok proper_specs_tests: check2_specs_test...[0.250 s] ok proper_specs_tests: check3_specs_test...[0.002 s] ok [done in 0.998 s] module 'rec_props_test1' module 'rec_props_test2' module 'rec_test1' module 'rec_test2' module 'shrinking_gotchas' module 'symb_statem' module 'symb_statem_maps' module 'targeted_fsm' module 'targeted_shrinking_test' targeted_shrinking_test: normal_list_test...[0.061 s] ok targeted_shrinking_test: let_list_test...[0.051 s] ok [done in 0.118 s] module 'targeted_statem' module 'to_remove' module 'types_test1' module 'types_test2' module 'weird_types' ======================================================= All 616 tests passed. + 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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib/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 ' + export LDFLAGS + VSN=1.4 + export VSN + REBAR_VSN_CACHE_FILE=/builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/vsn.cache + export REBAR_VSN_CACHE_FILE + REBAR_DEPS_PREFER_LIBS=TRUE + export REBAR_DEPS_PREFER_LIBS + IGNORE_MISSING_DEPS=TRUE + export IGNORE_MISSING_DEPS + /usr/bin/rebar3 ct skip_deps=true -vv ===> Verifying dependencies... ===> Analyzing applications... ===> Compiling proper /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/test/proper_tests.erl:1057:19: Warning: matching on the float 0.0 will no longer also match -0.0 in OTP 27. If you specifically intend to match 0.0 alone, write +0.0 instead. % 1057| ?_failsWith([0.0], % | ^ /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/test/proper_tests.erl:1057:19: Warning: matching on the float 0.0 will no longer also match -0.0 in OTP 27. If you specifically intend to match 0.0 alone, write +0.0 instead. % 1057| ?_failsWith([0.0], % | ^ /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/test/proper_tests.erl:1057:19: Warning: matching on the float 0.0 will no longer also match -0.0 in OTP 27. If you specifically intend to match 0.0 alone, write +0.0 instead. % 1057| ?_failsWith([0.0], % | ^ ┌─ test/proper_tests.erl: │ 1057 │ ?_failsWith([0.0], │ ╰── Warning: matching on the float 0.0 will no longer also match -0.0 in OTP 27. If you specifically intend to match 0.0 alone, write +0.0 instead. ┌─ test/proper_tests.erl: │ 1057 │ ?_failsWith([0.0], │ ╰── Warning: matching on the float 0.0 will no longer also match -0.0 in OTP 27. If you specifically intend to match 0.0 alone, write +0.0 instead. ┌─ test/proper_tests.erl: │ 1057 │ ?_failsWith([0.0], │ ╰── Warning: matching on the float 0.0 will no longer also match -0.0 in OTP 27. If you specifically intend to match 0.0 alone, write +0.0 instead. ===> Running Common Test suites... Common Test starting (cwd is /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4) CWD set to: "/builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/_build/test/logs/ct_run.nonode@nohost.2024-12-24_20.44.32" TEST INFO: 1 test(s), 0 case(s) in 0 suite(s) Testing lib.proper: Starting test, 0 test cases Testing lib.proper: TEST COMPLETE, 0 ok, 0 failed of 0 test cases Updating /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/_build/test/logs/index.html ... done Updating /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/_build/test/logs/all_runs.html ... done + RPM_EC=0 ++ jobs -p + exit 0 Processing files: erlang-proper-1.4-10.fc42.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.Y2CLtW + umask 022 + cd /builddir/build/BUILD/erlang-proper-1.4-build + cd proper-1.4 + DOCDIR=/builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/doc/erlang-proper + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/doc/erlang-proper + cp -pr /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/doc /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/doc/erlang-proper + cp -pr /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/examples /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/doc/erlang-proper + cp -pr /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/README.md /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/doc/erlang-proper + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.qAnAXV + umask 022 + cd /builddir/build/BUILD/erlang-proper-1.4-build + cd proper-1.4 + LICENSEDIR=/builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/licenses/erlang-proper + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/licenses/erlang-proper + cp -pr /builddir/build/BUILD/erlang-proper-1.4-build/proper-1.4/COPYING /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT/usr/share/licenses/erlang-proper + RPM_EC=0 ++ jobs -p + exit 0 Provides: erlang-proper = 1.4-10.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: erlang-compiler erlang-erts erlang-kernel erlang-stdlib erlang-syntax_tools erlang-tools Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/erlang-proper-1.4-build/BUILDROOT Wrote: /builddir/build/RPMS/erlang-proper-1.4-10.fc42.noarch.rpm Child return code was: 0