Mock Version: 5.6 Mock Version: 5.6 Mock Version: 5.6 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-54947501-6531343/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'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.qnqsnlse:/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']unshare_net=TrueprintOutput=False) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.qnqsnlse:/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', 'ca77beb5496a450d925eedcd028e6973', '-D', '/var/lib/mock/f42-build-54947501-6531343/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.qnqsnlse:/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-54947501-6531343/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'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.qnqsnlse:/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']unshare_net=TrueprintOutput=False) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.qnqsnlse:/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', 'e83b24db820b4de38a59c2b78c502421', '-D', '/var/lib/mock/f42-build-54947501-6531343/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.qnqsnlse:/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.wfmCnr + 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.glvzYi + 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.kqy16G + 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 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd 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 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules ' + export FCFLAGS + 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.JeXUSQ + 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 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd 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 -j3 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j3 /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.laG2sS + 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 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd 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 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules ' + export FCFLAGS + 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.106 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.083 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.083 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.096 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.091 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.087 s] 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.093 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.085 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.088 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.086 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.089 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.090 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.088 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.089 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.087 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.085 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.087 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.106 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.094 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.111 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.097 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.098 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.085 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.094 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.144 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.095 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.100 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.002 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.002 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.002 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.114 s] 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.106 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.091 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.097 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.083 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.115 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.095 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.104 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.088 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.099 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.098 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.101 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.090 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.176 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.090 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.117 s] ok proper_tests:754: -simple_types_test_/0-fun-1-...[0.090 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.113 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.002 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.113 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.228 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.194 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.098 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.091 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.103 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.100 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.100 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.098 s] ok proper_tests:757: -constructed_types_test_/0-fun-1-...[0.101 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.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-...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-...[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-...[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-...[0.001 s] ok proper_tests:764: -shrinks_to_test_/0-fun-16-...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-...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-...[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-...[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-...[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-...[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-...[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.002 s] 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-...[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.003 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-...[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:769: -native_shrinks_to_test_/0-fun-16-...[0.473 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.467 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.434 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.439 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.443 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.446 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.453 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.438 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.445 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.441 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.442 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.457 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.425 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.430 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.459 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.430 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.430 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.464 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.433 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.426 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.484 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.419 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.440 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.477 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.496 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.452 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.475 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.461 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.491 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.487 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.492 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.437 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.455 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.469 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.448 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.449 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.434 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.434 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.449 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.433 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.461 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.472 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.455 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.443 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.451 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.471 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.467 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.489 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.440 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.499 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.512 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.468 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.501 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.505 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.511 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.514 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.499 s] ok proper_tests:769: -native_shrinks_to_test_/0-fun-16-...[0.496 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-...[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-...[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.738 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.002 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-...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.033 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.026 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.013 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.005 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.075 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.007 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.002 s] ok proper_tests:822: -recursive_native_types_test_/0-fun-2-...[0.006 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.009 s] ok proper_tests:831: -random_functions_test_/0-fun-2-...ok proper_tests:832: -random_functions_test_/0-fun-1-...[0.009 s] ok proper_tests:831: -random_functions_test_/0-fun-2-...ok proper_tests:832: -random_functions_test_/0-fun-1-...[0.008 s] ok proper_tests:831: -random_functions_test_/0-fun-2-...ok proper_tests:832: -random_functions_test_/0-fun-1-...[0.009 s] ok proper_tests:836: -parse_transform_test_/0-fun-24-...[0.002 s] ok proper_tests:837: -parse_transform_test_/0-fun-19-...ok proper_tests:838: -parse_transform_test_/0-fun-17-...[0.001 s] ok proper_tests:839: -parse_transform_test_/0-fun-15-...[0.025 s] ok proper_tests:840: -parse_transform_test_/0-fun-10-...[0.002 s] ok proper_tests:843: -native_type_props_test_/0-fun-536-...[0.192 s] ok proper_tests:845: -native_type_props_test_/0-fun-529-...[0.178 s] ok proper_tests:848: -native_type_props_test_/0-fun-522-...[0.180 s] ok proper_tests:853: -native_type_props_test_/0-fun-515-...[0.181 s] ok proper_tests:855: -native_type_props_test_/0-fun-508-...[0.005 s] ok proper_tests:856: -native_type_props_test_/0-fun-501-...[0.173 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.172 s] ok proper_tests:859: -native_type_props_test_/0-fun-474-...[0.203 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.195 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.177 s] ok proper_tests:875: -native_type_props_test_/0-fun-435-...[0.199 s] ok proper_tests:876: -native_type_props_test_/0-fun-428-...[0.189 s] ok proper_tests:878: -native_type_props_test_/0-fun-421-...ok proper_tests:883: -native_type_props_test_/0-fun-417-...[0.231 s] ok proper_tests:885: -native_type_props_test_/0-fun-408-...[0.176 s] ok proper_tests:886: -native_type_props_test_/0-fun-401-...[0.186 s] ok proper_tests:888: -native_type_props_test_/0-fun-392-...[0.183 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.005 s] ok proper_tests:920: -native_type_props_test_/0-fun-41-...[0.009 s] ok proper_tests:921: -native_type_props_test_/0-fun-34-...[0.002 s] ok proper_tests:922: -native_type_props_test_/0-fun-27-...[0.002 s] ok proper_tests:923: -native_type_props_test_/0-fun-20-...[0.002 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.014 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.004 s] ok proper_tests:940: -true_props_test_/0-fun-177-...[0.192 s] ok proper_tests:941: -true_props_test_/0-fun-170-...[0.180 s] ok proper_tests:942: -true_props_test_/0-fun-163-...[0.199 s] ok proper_tests:943: -true_props_test_/0-fun-156-...[0.199 s] ok proper_tests:944: -true_props_test_/0-fun-149-...[0.005 s] ok proper_tests:945: -true_props_test_/0-fun-142-...[0.006 s] ok proper_tests:946: -true_props_test_/0-fun-135-...[0.004 s] ok proper_tests:947: -true_props_test_/0-fun-128-...[0.017 s] ok proper_tests:950: -true_props_test_/0-fun-119-...[0.003 s] ok proper_tests:953: -true_props_test_/0-fun-110-...[0.006 s] ok proper_tests:956: -true_props_test_/0-fun-103-...[0.006 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.005 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.002 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.005 s] ok proper_tests:982: -true_props_test_/0-fun-20-...[0.002 s] ok proper_tests:987: -true_props_test_/0-fun-11-...[0.239 s] ok proper_tests:988: -true_props_test_/0-fun-4-...[0.030 s] ok proper_tests:991: -true_stateful_test_/0-fun-54-...[0.193 s] ok proper_tests:992: -true_stateful_test_/0-fun-49-...[0.211 s] ok proper_tests:993: -true_stateful_test_/0-fun-44-...[0.186 s] ok proper_tests:994: -true_stateful_test_/0-fun-39-...[0.084 s] ok proper_tests:995: -true_stateful_test_/0-fun-34-...[0.568 s] ok proper_tests:996: -true_stateful_test_/0-fun-29-...[1.276 s] ok proper_tests:997: -true_stateful_test_/0-fun-24-...[0.413 s] ok proper_tests:998: -true_stateful_test_/0-fun-19-...[0.485 s] ok proper_tests:999: -true_stateful_test_/0-fun-14-...[0.454 s] ok proper_tests:1000: -true_stateful_test_/0-fun-9-...[1.343 s] ok proper_tests:1001: -true_stateful_test_/0-fun-4-...[2.008 s] ok proper_tests:1004: -false_props_test_/0-fun-482-...[0.001 s] ok proper_tests:1006: -false_props_test_/0-fun-466-...[0.001 s] 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-...[0.001 s] 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.002 s] ok proper_tests:1029: -false_props_test_/0-fun-339-...ok proper_tests:1035: -false_props_test_/0-fun-333-...[0.001 s] ok proper_tests:1038: -false_props_test_/0-fun-326-...ok proper_tests:1042: -false_props_test_/0-fun-320-...[0.001 s] 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-...[0.001 s] ok proper_tests:1050: -false_props_test_/0-fun-252-...[0.006 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.002 s] ok proper_tests:1084: -false_props_test_/0-fun-78-...[0.004 s] ok proper_tests:1085: -false_props_test_/0-fun-67-...[0.148 s] ok proper_tests:1086: -false_props_test_/0-fun-59-...[0.035 s] ok proper_tests:1087: -false_props_test_/0-fun-48-...[0.038 s] ok proper_tests:1088: -false_props_test_/0-fun-37-...[0.037 s] ok proper_tests:1089: -false_props_test_/0-fun-26-...[0.029 s] ok proper_tests:1090: -false_props_test_/0-fun-15-...[0.164 s] ok proper_tests:1091: -false_props_test_/0-fun-7-...[0.011 s] ok proper_tests:1095: -false_stateful_test_/0-fun-31-...[2.616 s] ok proper_tests:1096: -false_stateful_test_/0-fun-23-...[3.028 s] ok proper_tests:1097: -false_stateful_test_/0-fun-15-...[4.964 s] ok proper_tests:1098: -false_stateful_test_/0-fun-7-...[5.242 s] ok proper_tests:1101: -exception_props_test_/0-fun-7-...[0.009 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.005 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.003 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.008 s] ok proper_tests:1161: -options_test_/0-fun-94-...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.568 s] ok proper_tests:1241: -adts2_test_/0-fun-6-...[9.512 s] ok proper_tests:1247: -adts3_test_/0-fun-12-...[2.546 s] ok proper_tests:1252: -parameter_test_/0-fun-12-...[0.005 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.006 s] ok proper_tests:1312: -can_generate_commands1_test_/0-fun-1-...[0.012 s] ok proper_tests:1317: -can_generate_parallel_commands0_test_/0-fun-1-...[0.014 s] ok proper_tests:1322: -can_generate_parallel_commands1_test_/0-fun-1-...[0.025 s] ok proper_tests:1328: -seeded_runs_return_same_result_test_/0-fun-1-...[0.020 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-...[2.856 s] ok proper_tests:1381: -can_generate_fsm_commands_test_/0-fun-1-...[0.010 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.006 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))...[0.001 s] ok proper_tests:1399: -sampleshrink_test_/0-fun-1-...ok [done in 0.007 s] proper_tests: max_size_test...[0.001 s] ok proper_tests:1430: -erlang_abstract_code_test_/0-fun-2-...[0.564 s] ok proper_tests:1430: -erlang_abstract_code_test_/0-fun-2-...[0.065 s] ok proper_tests:1430: -erlang_abstract_code_test_/0-fun-2-...[0.024 s] ok proper_tests:1430: -erlang_abstract_code_test_/0-fun-2-...[0.126 s] ok proper_tests:1430: -erlang_abstract_code_test_/0-fun-2-...[1.579 s] ok [done in 81.756 s] [done in 81.756 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 81.763 s] [done in 81.764 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.020 s] ok exists_tests: not_exists_test...ok exists_tests: forall_targeted_test...[0.002 s] ok exists_tests: forall_targeted_trapexit_test...[0.005 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.011 s] ok exists_tests: combine_test...[0.011 s] ok exists_tests: biglist_test...[0.003 s] ok exists_tests: let_test...[0.039 s] ok exists_tests: suchthat_test...[0.016 s] ok exists_tests: union_test...[0.020 s] ok exists_tests: weighted_union_test...[0.020 s] ok exists_tests: tuple_test...[0.021 s] ok exists_tests: let_union_test...[0.043 s] ok exists_tests: lazy_test...[0.050 s] ok exists_tests: sized_test...[0.004 s] ok exists_tests: edge_test...[0.032 s] ok exists_tests:285: -graph_test_/0-fun-1-...[0.180 s] ok exists_tests: improper_list_test...[0.057 s] ok exists_tests: reset_test...[0.013 s] ok exists_tests:353: -graph_match1_test_/0-fun-1-...[2.247 s] ok exists_tests:359: -graph_match2_test_/0-fun-1-...[0.114 s] ok exists_tests: whenfail_test...ok exists_tests: shrink1_test...[0.056 s] ok exists_tests: shrink2_test...ok exists_tests: shrink3_test...[0.011 s] ok exists_tests: shrink4_test...ok exists_tests: match_test...ok exists_tests: match_and_shrink_test...[0.010 s] ok exists_tests: let_in_nf_test...[0.003 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 3.106 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.579 s] ok proper_specs_tests:53: -check2_specs_test_/0-fun-1-...[0.441 s] ok proper_specs_tests:56: -check3_specs_test_/0-fun-1-...[0.003 s] ok proper_specs_tests: check1_specs_test...[0.534 s] ok proper_specs_tests: check2_specs_test...[0.492 s] ok proper_specs_tests: check3_specs_test...[0.003 s] ok [done in 2.070 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.156 s] ok targeted_shrinking_test: let_list_test...[0.135 s] ok [done in 0.297 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 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib/gfortran/modules ' + export FCFLAGS + 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-11-14_05.56.29" 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.O4tbIT + 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.8PZATf + 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