Mock Version: 6.1 Mock Version: 6.1 Mock Version: 6.1 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/f43-build-58501844-6565977/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.3pw1ug6l:/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.3pw1ug6l:/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', '6cf9208bfbe14f10bd2ffa038a5a2fb5', '-D', '/var/lib/mock/f43-build-58501844-6565977/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3pw1ug6l:/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=1743120000 Wrote: /builddir/build/SRPMS/erlang-proper-1.5.0-1.fc43.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/f43-build-58501844-6565977/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.3pw1ug6l:/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.3pw1ug6l:/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', '531cbaef9e964aaa82d308c0a9cda489', '-D', '/var/lib/mock/f43-build-58501844-6565977/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.3pw1ug6l:/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=1743120000 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.lZAD5S Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.V0X8AW + umask 022 + cd /builddir/build/BUILD/erlang-proper-1.5.0-build + cd /builddir/build/BUILD/erlang-proper-1.5.0-build + rm -rf proper-1.5.0 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/proper-1.5.0.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd proper-1.5.0 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + sed -i -e /covertool/d ./rebar.config + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.RxPdWH + umask 022 + cd /builddir/build/BUILD/erlang-proper-1.5.0-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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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.5.0 + ./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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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.5.0 + export VSN + REBAR_VSN_CACHE_FILE=/builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/vsn.cache + export REBAR_VSN_CACHE_FILE + echo '{{git, "/builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0"}, "1.5.0"}.' + 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.5.0-build/proper-1.5.0/src/proper.erl, function grow_size/1: at line 456: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper.erl, function grow_size/1: at line 458: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper.erl, function grow_size/1: at line 610: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper.erl, function grow_size/1: at line 617: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_gen.erl, function safe_generate/1: at line 70: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_gen.erl, function safe_generate/1: at line 80: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_gen.erl, function safe_generate/1: at line 82: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_gen.erl, function safe_generate/1: at line 86: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_gen.erl, function safe_generate/1: at line 88: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_gen.erl, function safe_generate/1: at line 92: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_gen.erl, function safe_generate/1: at line 97: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_gen.erl, function safe_generate/1: at line 99: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_gen.erl, function safe_generate/1: at line 103: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_gen.erl, function safe_generate/1: at line 105: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_gen.erl, function safe_generate/1: at line 107: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_gen.erl, function safe_generate/1: at line 109: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_gen.erl, function safe_generate/1: at line 111: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_types.erl, function cook_outer/1: at line 222: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_types.erl, function cook_outer/1: at line 224: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_types.erl, function cook_outer/1: at line 225: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_types.erl, function cook_outer/1: at line 227: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_types.erl, function cook_outer/1: at line 228: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_typeserver.erl, function start/0: at line 270: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_typeserver.erl, function start/0: at line 273: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_typeserver.erl, function start/0: at line 294: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_typeserver.erl, function start/0: at line 296: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_typeserver.erl, function start/0: at line 300: warning: tag @alias not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_unicode.erl, function utf8/0: at line 53: warning: tag @private_type not recognized. /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/src/proper_unicode.erl, function utf8/0: at line 54: warning: tag @alias 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.4yX03c + umask 022 + cd /builddir/build/BUILD/erlang-proper-1.5.0-build + '[' /builddir/build/BUILD/erlang-proper-1.5.0-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/erlang-proper-1.5.0-build/BUILDROOT ++ dirname /builddir/build/BUILD/erlang-proper-1.5.0-build/BUILDROOT + mkdir -p /builddir/build/BUILD/erlang-proper-1.5.0-build + mkdir /builddir/build/BUILD/erlang-proper-1.5.0-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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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.5.0 + '[' proper '!=' '' ']' + /usr/bin/mkdir -p /builddir/build/BUILD/erlang-proper-1.5.0-build/BUILDROOT/usr/share/erlang/lib/proper-1.5.0/ + /usr/bin/mkdir -p /builddir/build/BUILD/erlang-proper-1.5.0-build/BUILDROOT/usr/share/erlang/lib/proper-1.5.0/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.5.0-build/BUILDROOT/usr/share/erlang/lib/proper-1.5.0/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.5.0-build/BUILDROOT/usr/share/erlang/lib/proper-1.5.0/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.5.0-build/BUILDROOT/usr/share/erlang/lib/proper-1.5.0/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.5.0-build/BUILDROOT/usr/share/erlang/lib/proper-1.5.0/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.5.0-build/BUILDROOT/usr/share/erlang/lib/proper-1.5.0/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.5.0-build/BUILDROOT/usr/share/erlang/lib/proper-1.5.0/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 + /usr/lib/rpm/redhat/brp-python-rpm-in-distinfo + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j6 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j6 /builddir/build/BUILD/erlang-proper-1.5.0-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.gPRbNU + umask 022 + cd /builddir/build/BUILD/erlang-proper-1.5.0-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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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.5.0 + 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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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.5.0 + export VSN + REBAR_VSN_CACHE_FILE=/builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/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 ===> Performing EUnit tests... ======================== EUnit ======================== file "proper.app" application 'proper' module 'proper' module 'proper_tests' proper_tests:768: -simple_types_test_/0-fun-1-...[0.125 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.106 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.133 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.122 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.120 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.121 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.118 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.115 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.105 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.137 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.093 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.132 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.111 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.127 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.141 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.141 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.124 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.091 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.110 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.095 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.118 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.117 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.169 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.157 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.001 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.139 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.110 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.119 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.140 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.105 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.090 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.002 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.090 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.105 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.103 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.134 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.114 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.101 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.092 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.105 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.001 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.080 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.115 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.086 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.116 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.001 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.103 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.135 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.093 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.136 s] ok proper_tests:768: -simple_types_test_/0-fun-1-...[0.120 s] ok proper_tests:771: -constructed_types_test_/0-fun-1-...[0.156 s] ok proper_tests:771: -constructed_types_test_/0-fun-1-...ok proper_tests:771: -constructed_types_test_/0-fun-1-...[0.001 s] ok proper_tests:771: -constructed_types_test_/0-fun-1-...ok proper_tests:771: -constructed_types_test_/0-fun-1-...ok proper_tests:771: -constructed_types_test_/0-fun-1-...ok proper_tests:771: -constructed_types_test_/0-fun-1-...ok proper_tests:771: -constructed_types_test_/0-fun-1-...[0.130 s] ok proper_tests:771: -constructed_types_test_/0-fun-1-...ok proper_tests:771: -constructed_types_test_/0-fun-1-...ok proper_tests:771: -constructed_types_test_/0-fun-1-...[0.183 s] ok proper_tests:771: -constructed_types_test_/0-fun-1-...[0.207 s] ok proper_tests:771: -constructed_types_test_/0-fun-1-...[0.097 s] ok proper_tests:771: -constructed_types_test_/0-fun-1-...[0.107 s] ok proper_tests:771: -constructed_types_test_/0-fun-1-...[0.114 s] ok proper_tests:771: -constructed_types_test_/0-fun-1-...[0.103 s] ok proper_tests:771: -constructed_types_test_/0-fun-1-...[0.089 s] ok proper_tests:771: -constructed_types_test_/0-fun-1-...[0.103 s] ok proper_tests:771: -constructed_types_test_/0-fun-1-...[0.092 s] ok proper_tests:771: -constructed_types_test_/0-fun-1-...ok proper_tests:771: -constructed_types_test_/0-fun-1-...ok proper_tests:771: -constructed_types_test_/0-fun-1-...ok proper_tests:771: -constructed_types_test_/0-fun-1-...ok proper_tests:771: -constructed_types_test_/0-fun-1-...ok proper_tests:771: -constructed_types_test_/0-fun-1-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.005 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.002 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.004 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...[0.001 s] ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:778: -shrinks_to_test_/0-fun-16-...ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.524 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.567 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.562 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.527 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.495 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.665 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.625 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.518 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.586 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.597 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.689 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.716 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.542 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.632 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.535 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.494 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.614 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.703 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.712 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.613 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.594 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.476 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.501 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.540 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.548 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.536 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.542 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.491 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.528 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.533 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.532 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.565 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.567 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.557 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.534 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.583 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.524 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.537 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.587 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.539 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.485 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.492 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.515 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.492 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.498 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.513 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.522 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.583 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.481 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.473 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.489 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.474 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.503 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.488 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.486 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.510 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.484 s] ok proper_tests:783: -native_shrinks_to_test_/0-fun-16-...[0.470 s] ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:787: -cant_generate_test_/0-fun-1-...ok proper_tests:790: -proper_exported_types_test_/0-fun-1-...[0.679 s] ok proper_tests:798: -cant_generate_constraints_test_/0-fun-29-...ok proper_tests:801: -cant_generate_constraints_test_/0-fun-20-...ok proper_tests:804: -cant_generate_constraints_test_/0-fun-13-...ok proper_tests:808: -cant_generate_constraints_test_/0-fun-6-...ok proper_tests:828: -native_cant_translate_test_/0-fun-2-...ok proper_tests:828: -native_cant_translate_test_/0-fun-2-...[0.003 s] ok proper_tests:828: -native_cant_translate_test_/0-fun-2-...ok proper_tests:828: -native_cant_translate_test_/0-fun-2-...ok proper_tests:828: -native_cant_translate_test_/0-fun-2-...ok proper_tests:828: -native_cant_translate_test_/0-fun-2-...ok proper_tests:828: -native_cant_translate_test_/0-fun-2-...ok proper_tests:828: -native_cant_translate_test_/0-fun-2-...ok proper_tests:828: -native_cant_translate_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:832: -remote_native_types_test_/0-fun-2-...ok proper_tests:836: -recursive_native_types_test_/0-fun-2-...[0.022 s] ok proper_tests:836: -recursive_native_types_test_/0-fun-2-...[0.001 s] ok proper_tests:836: -recursive_native_types_test_/0-fun-2-...[0.003 s] ok proper_tests:836: -recursive_native_types_test_/0-fun-2-...[0.006 s] ok proper_tests:836: -recursive_native_types_test_/0-fun-2-...[0.002 s] ok proper_tests:836: -recursive_native_types_test_/0-fun-2-...[0.001 s] ok proper_tests:836: -recursive_native_types_test_/0-fun-2-...[0.003 s] ok proper_tests:836: -recursive_native_types_test_/0-fun-2-...[0.016 s] ok proper_tests:836: -recursive_native_types_test_/0-fun-2-...[0.001 s] ok proper_tests:836: -recursive_native_types_test_/0-fun-2-...[0.001 s] ok proper_tests:836: -recursive_native_types_test_/0-fun-2-...[0.001 s] ok proper_tests:836: -recursive_native_types_test_/0-fun-2-...[0.001 s] ok proper_tests:836: -recursive_native_types_test_/0-fun-2-...[0.003 s] ok proper_tests:840: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:840: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:840: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:840: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:840: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:840: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:840: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:840: -recursive_native_cant_translate_test_/0-fun-2-...ok proper_tests:845: -random_functions_test_/0-fun-2-...ok proper_tests:846: -random_functions_test_/0-fun-1-...[0.010 s] ok proper_tests:845: -random_functions_test_/0-fun-2-...ok proper_tests:846: -random_functions_test_/0-fun-1-...[0.008 s] ok proper_tests:845: -random_functions_test_/0-fun-2-...ok proper_tests:846: -random_functions_test_/0-fun-1-...[0.013 s] ok proper_tests:845: -random_functions_test_/0-fun-2-...ok proper_tests:846: -random_functions_test_/0-fun-1-...[0.008 s] ok proper_tests:850: -parse_transform_test_/0-fun-24-...[0.002 s] ok proper_tests:851: -parse_transform_test_/0-fun-19-...[0.001 s] ok proper_tests:852: -parse_transform_test_/0-fun-17-...[0.002 s] ok proper_tests:853: -parse_transform_test_/0-fun-15-...[0.013 s] ok proper_tests:854: -parse_transform_test_/0-fun-10-...[0.001 s] ok proper_tests:857: -native_type_props_test_/0-fun-550-...[0.220 s] ok proper_tests:859: -native_type_props_test_/0-fun-543-...[0.198 s] ok proper_tests:862: -native_type_props_test_/0-fun-536-...[0.201 s] ok proper_tests:867: -native_type_props_test_/0-fun-529-...[0.217 s] ok proper_tests:869: -native_type_props_test_/0-fun-522-...[0.002 s] ok proper_tests:870: -native_type_props_test_/0-fun-515-...[0.218 s] ok proper_tests:871: -native_type_props_test_/0-fun-508-...[0.001 s] ok proper_tests:872: -native_type_props_test_/0-fun-501-...[0.193 s] ok proper_tests:873: -native_type_props_test_/0-fun-488-...[0.208 s] ok proper_tests:874: -native_type_props_test_/0-fun-481-...ok proper_tests:875: -native_type_props_test_/0-fun-478-...ok proper_tests:883: -native_type_props_test_/0-fun-473-...[0.249 s] ok proper_tests:884: -native_type_props_test_/0-fun-466-...[0.004 s] ok proper_tests:885: -native_type_props_test_/0-fun-461-...[0.004 s] ok proper_tests:886: -native_type_props_test_/0-fun-456-...[0.192 s] ok proper_tests:889: -native_type_props_test_/0-fun-449-...[0.205 s] ok proper_tests:890: -native_type_props_test_/0-fun-442-...[0.202 s] ok proper_tests:892: -native_type_props_test_/0-fun-435-...ok proper_tests:897: -native_type_props_test_/0-fun-431-...[0.225 s] ok proper_tests:899: -native_type_props_test_/0-fun-422-...[0.200 s] ok proper_tests:900: -native_type_props_test_/0-fun-415-...[0.205 s] ok proper_tests:902: -native_type_props_test_/0-fun-406-...[0.195 s] ok Shrinking tuples All elements are generators proper_tests:905: -native_type_props_test_/0-fun-385-...ok proper_tests:906: -native_type_props_test_/0-fun-369-...ok [done in 0.006 s] Some elements are generators proper_tests:908: -native_type_props_test_/0-fun-353-...ok proper_tests:909: -native_type_props_test_/0-fun-337-...ok proper_tests:910: -native_type_props_test_/0-fun-321-...ok proper_tests:911: -native_type_props_test_/0-fun-305-...ok [done in 0.012 s] All elements are consts proper_tests:913: -native_type_props_test_/0-fun-289-...ok proper_tests:914: -native_type_props_test_/0-fun-273-...ok [done in 0.006 s] [done in 0.024 s] Shrinking fixed lists All elements are generators proper_tests:917: -native_type_props_test_/0-fun-257-...ok proper_tests:918: -native_type_props_test_/0-fun-241-...ok proper_tests:919: -native_type_props_test_/0-fun-225-...ok [done in 0.009 s] Some elements are generators proper_tests:921: -native_type_props_test_/0-fun-209-...ok proper_tests:922: -native_type_props_test_/0-fun-193-...ok proper_tests:923: -native_type_props_test_/0-fun-177-...ok proper_tests:924: -native_type_props_test_/0-fun-161-...ok proper_tests:925: -native_type_props_test_/0-fun-145-...ok proper_tests:926: -native_type_props_test_/0-fun-129-...ok [done in 0.018 s] All elements are consts proper_tests:928: -native_type_props_test_/0-fun-113-...ok proper_tests:929: -native_type_props_test_/0-fun-97-...ok proper_tests:930: -native_type_props_test_/0-fun-81-...ok [done in 0.009 s] [done in 0.036 s] proper_tests:931: -native_type_props_test_/0-fun-65-...[0.002 s] ok proper_tests:932: -native_type_props_test_/0-fun-60-...[0.004 s] ok proper_tests:934: -native_type_props_test_/0-fun-55-...[0.005 s] ok proper_tests:935: -native_type_props_test_/0-fun-48-...[0.001 s] ok proper_tests:936: -native_type_props_test_/0-fun-41-...[0.001 s] ok proper_tests:937: -native_type_props_test_/0-fun-34-...[0.001 s] ok proper_tests:938: -native_type_props_test_/0-fun-27-...[0.001 s] ok proper_tests:939: -native_type_props_test_/0-fun-20-...[0.005 s] ok proper_tests:941: -native_type_props_test_/0-fun-13-...[0.004 s] ok proper_tests:942: -native_type_props_test_/0-fun-6-...[0.001 s] ok proper_tests:955: -true_props_test_/0-fun-191-...ok proper_tests:956: -true_props_test_/0-fun-184-...[0.002 s] ok proper_tests:957: -true_props_test_/0-fun-177-...[0.218 s] ok proper_tests:958: -true_props_test_/0-fun-170-...[0.241 s] ok proper_tests:959: -true_props_test_/0-fun-163-...[0.206 s] ok proper_tests:960: -true_props_test_/0-fun-156-...[0.203 s] ok proper_tests:961: -true_props_test_/0-fun-149-...[0.002 s] ok proper_tests:962: -true_props_test_/0-fun-142-...[0.002 s] ok proper_tests:963: -true_props_test_/0-fun-135-...[0.002 s] ok proper_tests:964: -true_props_test_/0-fun-128-...[0.006 s] ok proper_tests:967: -true_props_test_/0-fun-119-...[0.001 s] ok proper_tests:970: -true_props_test_/0-fun-110-...[0.002 s] ok proper_tests:973: -true_props_test_/0-fun-103-...[0.002 s] ok proper_tests:975: -true_props_test_/0-fun-96-...[0.001 s] ok proper_tests:977: -true_props_test_/0-fun-91-...ok proper_tests:980: -true_props_test_/0-fun-85-...ok proper_tests:984: -true_props_test_/0-fun-79-...[0.008 s] ok proper_tests:989: -true_props_test_/0-fun-71-...ok proper_tests:994: -true_props_test_/0-fun-63-...[0.001 s] ok proper_tests:995: -true_props_test_/0-fun-54-...[0.001 s] ok proper_tests:996: -true_props_test_/0-fun-45-...[0.001 s] ok proper_tests:997: -true_props_test_/0-fun-36-...[0.001 s] ok proper_tests:998: -true_props_test_/0-fun-27-...[0.002 s] ok proper_tests:999: -true_props_test_/0-fun-20-...[0.001 s] ok proper_tests:1004: -true_props_test_/0-fun-11-...[0.248 s] ok proper_tests:1005: -true_props_test_/0-fun-4-...[0.014 s] ok proper_tests:1008: -true_stateful_test_/0-fun-54-...[0.063 s] ok proper_tests:1009: -true_stateful_test_/0-fun-49-...[0.107 s] ok proper_tests:1010: -true_stateful_test_/0-fun-44-...[0.086 s] ok proper_tests:1011: -true_stateful_test_/0-fun-39-...[0.033 s] ok proper_tests:1012: -true_stateful_test_/0-fun-34-...[0.592 s] ok proper_tests:1013: -true_stateful_test_/0-fun-29-...[0.902 s] ok proper_tests:1014: -true_stateful_test_/0-fun-24-...[0.243 s] ok proper_tests:1015: -true_stateful_test_/0-fun-19-...[0.250 s] ok proper_tests:1016: -true_stateful_test_/0-fun-14-...[0.351 s] ok proper_tests:1017: -true_stateful_test_/0-fun-9-...[0.768 s] ok proper_tests:1018: -true_stateful_test_/0-fun-4-...[1.357 s] ok proper_tests:1021: -false_props_test_/0-fun-482-...ok proper_tests:1023: -false_props_test_/0-fun-466-...ok proper_tests:1027: -false_props_test_/0-fun-445-...ok proper_tests:1030: -false_props_test_/0-fun-429-...ok proper_tests:1035: -false_props_test_/0-fun-413-...ok proper_tests:1036: -false_props_test_/0-fun-400-...[0.001 s] ok proper_tests:1042: -false_props_test_/0-fun-384-...ok proper_tests:1043: -false_props_test_/0-fun-381-...ok proper_tests:1044: -false_props_test_/0-fun-378-...[0.808 s] ok proper_tests:1045: -false_props_test_/0-fun-360-...[0.001 s] ok proper_tests:1046: -false_props_test_/0-fun-339-...ok proper_tests:1052: -false_props_test_/0-fun-333-...ok proper_tests:1055: -false_props_test_/0-fun-326-...ok proper_tests:1059: -false_props_test_/0-fun-320-...ok proper_tests:1061: -false_props_test_/0-fun-307-...ok proper_tests:1063: -false_props_test_/0-fun-286-...ok proper_tests:1065: -false_props_test_/0-fun-265-...ok proper_tests:1067: -false_props_test_/0-fun-252-...[0.003 s] ok proper_tests:1070: -false_props_test_/0-fun-236-...ok proper_tests:1071: -false_props_test_/0-fun-223-...ok proper_tests:1072: -false_props_test_/0-fun-210-...ok proper_tests:1073: -false_props_test_/0-fun-197-...ok proper_tests:1074: -false_props_test_/0-fun-176-...ok proper_tests:1076: -false_props_test_/0-fun-155-...ok proper_tests:1077: -false_props_test_/0-fun-144-...[0.001 s] ok proper_tests:1101: -false_props_test_/0-fun-78-...[0.003 s] ok proper_tests:1102: -false_props_test_/0-fun-67-...[0.032 s] ok proper_tests:1103: -false_props_test_/0-fun-59-...[0.030 s] ok proper_tests:1104: -false_props_test_/0-fun-48-...[0.037 s] ok proper_tests:1105: -false_props_test_/0-fun-37-...[0.036 s] ok proper_tests:1106: -false_props_test_/0-fun-26-...[0.031 s] ok proper_tests:1107: -false_props_test_/0-fun-15-...[0.241 s] ok proper_tests:1108: -false_props_test_/0-fun-7-...[0.006 s] ok proper_tests:1112: -false_stateful_test_/0-fun-31-...[1.230 s] ok proper_tests:1113: -false_stateful_test_/0-fun-23-...[2.044 s] ok proper_tests:1114: -false_stateful_test_/0-fun-15-...[2.271 s] ok proper_tests:1115: -false_stateful_test_/0-fun-7-...[1.972 s] ok proper_tests:1118: -exception_props_test_/0-fun-7-...[0.005 s] ok proper_tests:1121: -error_props_test_/0-fun-92-...[0.001 s] ok proper_tests:1123: -error_props_test_/0-fun-83-...[0.004 s] ok proper_tests:1125: -error_props_test_/0-fun-74-...ok proper_tests:1127: -error_props_test_/0-fun-67-...ok proper_tests:1129: -error_props_test_/0-fun-62-...ok proper_tests:1131: -error_props_test_/0-fun-58-...[0.004 s] ok proper_tests:1133: -error_props_test_/0-fun-53-...[0.002 s] ok proper_tests:1135: -error_props_test_/0-fun-48-...ok proper_tests:1136: -error_props_test_/0-fun-41-...ok proper_tests:1139: -error_props_test_/0-fun-30-...ok proper_tests:1143: -error_props_test_/0-fun-19-...ok proper_tests:1147: -error_props_test_/0-fun-8-...ok proper_tests:1152: -eval_test_/0-fun-2-...ok proper_tests:1152: -eval_test_/0-fun-2-...ok proper_tests:1152: -eval_test_/0-fun-2-...ok proper_tests:1152: -eval_test_/0-fun-2-...ok proper_tests:1152: -eval_test_/0-fun-2-...ok proper_tests:1152: -eval_test_/0-fun-2-...ok proper_tests:1152: -eval_test_/0-fun-2-...ok proper_tests:1156: -pretty_print_test_/0-fun-2-...[0.007 s] ok proper_tests:1156: -pretty_print_test_/0-fun-2-...ok proper_tests:1156: -pretty_print_test_/0-fun-2-...ok proper_tests:1156: -pretty_print_test_/0-fun-2-...ok proper_tests:1156: -pretty_print_test_/0-fun-2-...ok proper_tests:1156: -pretty_print_test_/0-fun-2-...ok proper_tests:1156: -pretty_print_test_/0-fun-2-...ok proper_tests:1160: -not_defined_test_/0-fun-2-...ok proper_tests:1160: -not_defined_test_/0-fun-2-...ok proper_tests:1160: -not_defined_test_/0-fun-2-...ok proper_tests:1160: -not_defined_test_/0-fun-2-...ok proper_tests:1160: -not_defined_test_/0-fun-2-...ok proper_tests:1164: -options_test_/0-fun-145-...ok proper_tests:1166: -options_test_/0-fun-143-...ok proper_tests:1168: -options_test_/0-fun-141-...[0.001 s] ok proper_tests:1171: -options_test_/0-fun-136-...[0.001 s] ok proper_tests:1174: -options_test_/0-fun-131-...[0.001 s] ok proper_tests:1176: -options_test_/0-fun-115-...[0.005 s] ok proper_tests:1178: -options_test_/0-fun-94-...ok proper_tests:1179: -options_test_/0-fun-68-...ok proper_tests:1180: -options_test_/0-fun-42-...ok proper_tests:1181: -options_test_/0-fun-29-...ok proper_tests:1184: -options_test_/0-fun-20-...ok proper_tests:1230: -setup_test_/0-fun-35-...ok proper_tests:1231: -setup_test_/0-fun-30-...ok proper_tests:1233: -setup_test_/0-fun-28-...ok proper_tests:1234: -setup_test_/0-fun-20-...ok proper_tests:1236: -setup_test_/0-fun-18-...ok proper_tests:1237: -setup_test_/0-fun-16-...ok proper_tests:1239: -setup_test_/0-fun-14-...ok proper_tests:1240: -setup_test_/0-fun-12-...ok proper_tests:1242: -setup_test_/0-fun-10-...ok proper_tests:1243: -setup_test_/0-fun-5-...ok proper_tests:1246: -setup_test_/0-fun-3-...ok proper_tests:1247: -setup_test_/0-fun-1-...ok proper_tests:1253: -adts1_test_/0-fun-6-...[0.542 s] ok proper_tests:1258: -adts2_test_/0-fun-6-...[7.963 s] ok proper_tests:1264: -adts3_test_/0-fun-12-...[1.800 s] ok proper_tests:1269: -parameter_test_/0-fun-12-...[0.002 s] ok proper_tests:1280: -parameter_targeted_test_/0-fun-8-...[0.003 s] ok proper_tests:1283: -zip_test_/0-fun-2-...ok proper_tests:1283: -zip_test_/0-fun-2-...ok proper_tests:1283: -zip_test_/0-fun-2-...ok proper_tests:1283: -zip_test_/0-fun-2-...ok proper_tests:1283: -zip_test_/0-fun-2-...ok proper_tests:1283: -zip_test_/0-fun-2-...ok proper_tests:1287: -command_names_test_/0-fun-2-...ok proper_tests:1287: -command_names_test_/0-fun-2-...ok proper_tests:1287: -command_names_test_/0-fun-2-...ok proper_tests:1291: -command_names_parallel1_test_/0-fun-2-...ok proper_tests:1291: -command_names_parallel1_test_/0-fun-2-...ok proper_tests:1291: -command_names_parallel1_test_/0-fun-2-...ok proper_tests:1295: -command_names_parallel2_test_/0-fun-2-...ok proper_tests:1295: -command_names_parallel2_test_/0-fun-2-...ok proper_tests:1295: -command_names_parallel2_test_/0-fun-2-...ok proper_tests:1299: -command_names_parallel3_test_/0-fun-2-...ok proper_tests:1299: -command_names_parallel3_test_/0-fun-2-...ok proper_tests:1299: -command_names_parallel3_test_/0-fun-2-...ok proper_tests:1303: -command_names_parallel4_test_/0-fun-2-...ok proper_tests:1303: -command_names_parallel4_test_/0-fun-2-...ok proper_tests:1303: -command_names_parallel4_test_/0-fun-2-...ok proper_tests:1307: -valid_cmds_test_/0-fun-2-...[0.002 s] ok proper_tests:1307: -valid_cmds_test_/0-fun-2-...ok proper_tests:1307: -valid_cmds_test_/0-fun-2-...ok proper_tests:1311: -invalid_cmds_test_/0-fun-5-...ok proper_tests:1313: -invalid_cmds_test_/0-fun-2-...ok proper_tests:1313: -invalid_cmds_test_/0-fun-2-...ok proper_tests:1317: -state_after_test_/0-fun-2-...ok proper_tests:1317: -state_after_test_/0-fun-2-...ok proper_tests:1317: -state_after_test_/0-fun-2-...ok proper_tests:1321: -cannot_generate_commands_test_/0-fun-1-...ok proper_tests:1325: -can_generate_commands0_test_/0-fun-1-...[0.004 s] ok proper_tests:1329: -can_generate_commands1_test_/0-fun-1-...[0.003 s] ok proper_tests:1334: -can_generate_parallel_commands0_test_/0-fun-1-...[0.016 s] ok proper_tests:1339: -can_generate_parallel_commands1_test_/0-fun-1-...[0.014 s] ok proper_tests:1345: -seeded_runs_return_same_result_test_/0-fun-1-...[0.003 s] ok proper_tests:1349: -run_valid_commands_test_/0-fun-2-...ok proper_tests:1349: -run_valid_commands_test_/0-fun-2-...ok proper_tests:1349: -run_valid_commands_test_/0-fun-2-...ok proper_tests:1353: -run_init_error_test_/0-fun-2-...ok proper_tests:1358: -run_precondition_false_test_/0-fun-2-...ok proper_tests:1371: -run_postcondition_false_test_/0-fun-1-...ok proper_tests:1377: -run_statem_exceptions_test_/0-fun-1-...ok proper_tests:1381: -get_next_test_/0-fun-2-...ok proper_tests:1381: -get_next_test_/0-fun-2-...ok proper_tests:1386: -mk_first_comb_test_/0-fun-2-...ok proper_tests:1386: -mk_first_comb_test_/0-fun-2-...ok proper_tests:1386: -mk_first_comb_test_/0-fun-2-...ok proper_tests: args_not_defined_test...ok proper_tests:1394: -command_props_test_/0-fun-1-...[2.151 s] ok proper_tests:1398: -can_generate_fsm_commands_test_/0-fun-1-...[0.018 s] ok proper_tests:1398: -can_generate_fsm_commands_test_/0-fun-1-...[0.005 s] ok proper_tests:1402: -transition_target_test_/0-fun-1-...[0.005 s] ok proper_tests:1405: -dollar_only_cp_test_/0-fun-2-...ok Test type with restrain proper_tests:1415: -sampleshrink_test_/0-fun-17- (Try another way to call shrinking (not sampleshrink))...[0.001 s] ok proper_tests:1416: -sampleshrink_test_/0-fun-1-...ok [done in 0.007 s] proper_tests: max_size_test...[0.003 s] ok proper_tests:1447: -erlang_abstract_code_test_/0-fun-2-...[0.236 s] ok proper_tests:1447: -erlang_abstract_code_test_/0-fun-2-...[0.026 s] ok proper_tests:1447: -erlang_abstract_code_test_/0-fun-2-...[0.016 s] ok proper_tests:1447: -erlang_abstract_code_test_/0-fun-2-...[0.045 s] ok proper_tests:1447: -erlang_abstract_code_test_/0-fun-2-...[0.909 s] ok [done in 72.717 s] [done in 72.718 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 72.731 s] [done in 72.732 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.018 s] ok exists_tests: not_exists_test...ok exists_tests: forall_targeted_test...[0.001 s] ok exists_tests: forall_targeted_trapexit_test...[0.003 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.003 s] ok exists_tests: combine_test...[0.009 s] ok exists_tests: biglist_test...[0.004 s] ok exists_tests: let_test...[0.017 s] ok exists_tests: suchthat_test...[0.011 s] ok exists_tests: union_test...[0.012 s] ok exists_tests: weighted_union_test...[0.011 s] ok exists_tests: tuple_test...[0.011 s] ok exists_tests: let_union_test...[0.016 s] ok exists_tests: lazy_test...[0.019 s] ok exists_tests: sized_test...[0.003 s] ok exists_tests: edge_test...[0.023 s] ok exists_tests:285: -graph_test_/0-fun-1-...[0.153 s] ok exists_tests: improper_list_test...[0.023 s] ok exists_tests: reset_test...[0.011 s] ok exists_tests:353: -graph_match1_test_/0-fun-1-...[0.992 s] ok exists_tests:359: -graph_match2_test_/0-fun-1-...[0.210 s] ok exists_tests: whenfail_test...ok exists_tests: shrink1_test...[0.054 s] ok exists_tests: shrink2_test...[0.034 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.006 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.775 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.316 s] ok proper_specs_tests:53: -check2_specs_test_/0-fun-1-...[0.296 s] ok proper_specs_tests:56: -check3_specs_test_/0-fun-1-...[0.003 s] ok proper_specs_tests: check1_specs_test...[0.270 s] ok proper_specs_tests: check2_specs_test...[0.295 s] ok proper_specs_tests: check3_specs_test...[0.003 s] ok [done in 1.202 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.058 s] ok targeted_shrinking_test: let_list_test...[0.049 s] ok [done in 0.113 s] module 'targeted_statem' module 'to_remove' module 'types_test1' module 'types_test2' module 'weird_types' ======================================================= All 618 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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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.5.0 + export VSN + REBAR_VSN_CACHE_FILE=/builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/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 ===> Running Common Test suites... Common Test starting (cwd is /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0) CWD set to: "/builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/_build/test/logs/ct_run.nonode@nohost.2025-04-04_06.58.19" 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.5.0-build/proper-1.5.0/_build/test/logs/index.html ... done Updating /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/_build/test/logs/all_runs.html ... done + RPM_EC=0 ++ jobs -p + exit 0 Processing files: erlang-proper-1.5.0-1.fc43.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.E1mm8M + umask 022 + cd /builddir/build/BUILD/erlang-proper-1.5.0-build + cd proper-1.5.0 + DOCDIR=/builddir/build/BUILD/erlang-proper-1.5.0-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.5.0-build/BUILDROOT/usr/share/doc/erlang-proper + cp -pr /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/doc /builddir/build/BUILD/erlang-proper-1.5.0-build/BUILDROOT/usr/share/doc/erlang-proper + cp -pr /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/examples /builddir/build/BUILD/erlang-proper-1.5.0-build/BUILDROOT/usr/share/doc/erlang-proper + cp -pr /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/README.md /builddir/build/BUILD/erlang-proper-1.5.0-build/BUILDROOT/usr/share/doc/erlang-proper + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.FVqLap + umask 022 + cd /builddir/build/BUILD/erlang-proper-1.5.0-build + cd proper-1.5.0 + LICENSEDIR=/builddir/build/BUILD/erlang-proper-1.5.0-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.5.0-build/BUILDROOT/usr/share/licenses/erlang-proper + cp -pr /builddir/build/BUILD/erlang-proper-1.5.0-build/proper-1.5.0/COPYING /builddir/build/BUILD/erlang-proper-1.5.0-build/BUILDROOT/usr/share/licenses/erlang-proper + RPM_EC=0 ++ jobs -p + exit 0 Provides: erlang-proper = 1.5.0-1.fc43 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.5.0-build/BUILDROOT Wrote: /builddir/build/RPMS/erlang-proper-1.5.0-1.fc43.noarch.rpm Child return code was: 0