Mock Version: 1.3.4 Mock Version: 1.3.4 ENTER ['do'](['/usr/bin/rpmbuild', '-bs', '--target', 'noarch', '--nodeps', u'/builddir/build/SPECS/erlang-proper.spec'], nspawn_args=[]shell=Falseuid=996env={'LANG': 'en_GB.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PS1': ' \\s-\\v\\$ '}chrootPath='/var/lib/mock/messaging8-rabbitmq-38-el8-build-74193-402287/root'gid=135user='mockbuild'timeout=86400logger=printOutput=False) Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '0037f442651f44b099710340db415382', '-D', '/var/lib/mock/messaging8-rabbitmq-38-el8-build-74193-402287/root', '--setenv=LANG=en_GB.UTF-8', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOSTNAME=mock', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=HOME=/builddir', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PS1= \\s-\\v\\$ ', '-u', 'mockbuild', '/usr/bin/rpmbuild', '-bs', '--target', 'noarch', '--nodeps', u'/builddir/build/SPECS/erlang-proper.spec'] with env {'LANG': 'en_GB.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PS1': ' \\s-\\v\\$ '} and shell False Building target platforms: noarch Building for target noarch Wrote: /builddir/build/SRPMS/erlang-proper-1.3-5.el8.src.rpm Child return code was: 0 ENTER ['do'](['/usr/bin/rpmbuild', '-bb', '--target', 'noarch', '--nodeps', u'/builddir/build/SPECS/erlang-proper.spec'], nspawn_args=['--private-network']shell=Falseuid=996env={'LANG': 'en_GB.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PS1': ' \\s-\\v\\$ '}chrootPath='/var/lib/mock/messaging8-rabbitmq-38-el8-build-74193-402287/root'gid=135user='mockbuild'timeout=86400logger=printOutput=False) Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'dd7be99ece2a46bf95e320955557db17', '-D', '/var/lib/mock/messaging8-rabbitmq-38-el8-build-74193-402287/root', '--private-network', '--setenv=LANG=en_GB.UTF-8', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOSTNAME=mock', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=HOME=/builddir', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PS1= \\s-\\v\\$ ', '-u', 'mockbuild', '/usr/bin/rpmbuild', '-bb', '--target', 'noarch', '--nodeps', u'/builddir/build/SPECS/erlang-proper.spec'] with env {'LANG': 'en_GB.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PS1': ' \\s-\\v\\$ '} and shell False Building target platforms: noarch Building for target noarch Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Ogtqrr + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf proper-1.3 + /usr/bin/gzip -dc /builddir/build/SOURCES/proper-1.3.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd proper-1.3 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/cat /builddir/build/SOURCES/erlang-proper-0001-Disable-one-test-case.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.0TPRIZ + umask 022 + cd /builddir/build/BUILD + cd proper-1.3 + ./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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + VSN=1.3 + export VSN + REBAR_VSN_CACHE_FILE=/builddir/build/BUILD/proper-1.3/vsn.cache + export REBAR_VSN_CACHE_FILE + echo '{{git, "/builddir/build/BUILD/proper-1.3"}, "1.3"}.' + 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/rebar compile skip_deps=true -vv DEBUG: Consult config file "/builddir/build/BUILD/proper-1.3/rebar.config" DEBUG: Rebar location: "/usr/bin/rebar" DEBUG: Consult config file "/builddir/build/BUILD/proper-1.3/src/proper.app.src" DEBUG: Available deps: [] DEBUG: Missing deps : [] DEBUG: Plugins requested while processing /builddir/build/BUILD/proper-1.3: [] DEBUG: Predirs: [] ==> proper-1.3 (compile) DEBUG: Matched required ERTS version: 10.6.4 -> .* DEBUG: Matched required OTP release: 22 -> .* DEBUG: Min OTP version unconfigured DEBUG: erl_opts [debug_info,debug_info,report_warnings, {warn_format,1}, warn_export_vars,warn_obsolete_guard,warn_unused_import, warn_missing_spec,warn_untyped_record, {d,'AT_LEAST_19'}, {d,'AT_LEAST_20'}, {d,'AT_LEAST_21'}] DEBUG: Files to compile first: ["src/vararg.erl","src/proper_target.erl", "src/proper_types.erl"] Compiled src/vararg.erl Compiled src/proper_target.erl Compiled src/proper_types.erl DEBUG: Starting 3 compile worker(s) Compiled src/proper_dict.erl Compiled src/proper_queue.erl Compiled src/proper_orddict.erl Compiled src/proper_unicode.erl Compiled src/proper_array.erl Compiled src/proper_sa.erl Compiled src/proper_ordsets.erl Compiled src/proper_gb_trees.erl Compiled src/proper_shrink.erl Compiled src/proper_unused_imports_remover.erl Compiled src/proper_prop_remover.erl Compiled src/proper_sets.erl Compiled src/proper_gb_sets.erl Compiled src/proper.erl Compiled src/proper_transformer.erl Compiled src/proper_arith.erl Compiled src/proper_gen.erl Compiled src/proper_symb.erl Compiled src/proper_fsm.erl Compiled src/proper_typeserver.erl DEBUG: Worker exited cleanly Compiled src/proper_gen_next.erl DEBUG: Worker exited cleanly Compiled src/proper_statem.erl DEBUG: Worker exited cleanly INFO: No app_vars_file defined. DEBUG: Postdirs: [] + '[' -f doc/overview.edoc ']' + /usr/bin/rebar doc -vv DEBUG: Consult config file "/builddir/build/BUILD/proper-1.3/rebar.config" DEBUG: Rebar location: "/usr/bin/rebar" DEBUG: Consult config file "/builddir/build/BUILD/proper-1.3/src/proper.app.src" DEBUG: Available deps: [] DEBUG: Missing deps : [] DEBUG: Plugins requested while processing /builddir/build/BUILD/proper-1.3: [] DEBUG: Predirs: [] ==> proper-1.3 (doc) INFO: Skipping regeneration of edocs for proper DEBUG: Postdirs: [] + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.xRbqYG + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch '!=' / ']' + rm -rf /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch ++ dirname /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch + cd proper-1.3 + '[' proper '!=' '' ']' + /usr/bin/mkdir -p /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/erlang/lib/proper-1.3/ + /usr/bin/mkdir -p /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/erlang/lib/proper-1.3/ebin/ + '[' -f ebin/proper.app ']' + /usr/bin/install -m 0644 -p ebin/proper.app /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/erlang/lib/proper-1.3/ebin/ + /usr/bin/install -m 0644 -p ebin/proper.beam ebin/proper_arith.beam ebin/proper_array.beam ebin/proper_dict.beam ebin/proper_fsm.beam ebin/proper_gb_sets.beam ebin/proper_gb_trees.beam ebin/proper_gen.beam ebin/proper_gen_next.beam ebin/proper_orddict.beam ebin/proper_ordsets.beam ebin/proper_prop_remover.beam ebin/proper_queue.beam ebin/proper_sa.beam ebin/proper_sets.beam ebin/proper_shrink.beam ebin/proper_statem.beam ebin/proper_symb.beam ebin/proper_target.beam ebin/proper_transformer.beam ebin/proper_types.beam ebin/proper_typeserver.beam ebin/proper_unicode.beam ebin/proper_unused_imports_remover.beam ebin/vararg.beam /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/erlang/lib/proper-1.3/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/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/erlang/lib/proper-1.3/include/proper.hrl + for erlincludefile in `ls include/*.hrl` + /usr/bin/install -D -m 0644 -p include/proper_common.hrl /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/erlang/lib/proper-1.3/include/proper_common.hrl + for erlincludefile in `ls include/*.hrl` + /usr/bin/install -D -m 0644 -p include/proper_internal.hrl /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/erlang/lib/proper-1.3/include/proper_internal.hrl + for erlincludefile in `ls include/*.hrl` + /usr/bin/install -D -m 0644 -p include/proper_param_adts.hrl /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/erlang/lib/proper-1.3/include/proper_param_adts.hrl + '[' -d priv/ ']' + /usr/lib/rpm/find-debuginfo.sh -j32 --strict-build-id -m -i --build-id-seed 1.3-5.el8 --unique-debug-suffix -1.3-5.el8.noarch --unique-debug-src-base erlang-proper-1.3-5.el8.noarch --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/proper-1.3 + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile 1 + /usr/lib/rpm/brp-python-hardlink + PYTHON3=/usr/libexec/platform-python + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.aUaIxo + umask 022 + cd /builddir/build/BUILD + cd proper-1.3 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + VSN=1.3 + export VSN + REBAR_VSN_CACHE_FILE=/builddir/build/BUILD/proper-1.3/vsn.cache + export REBAR_VSN_CACHE_FILE + REBAR_DEPS_PREFER_LIBS=TRUE + export REBAR_DEPS_PREFER_LIBS + /usr/bin/rebar eunit skip_deps=true -vv DEBUG: Consult config file "/builddir/build/BUILD/proper-1.3/rebar.config" DEBUG: Rebar location: "/usr/bin/rebar" DEBUG: Consult config file "/builddir/build/BUILD/proper-1.3/src/proper.app.src" DEBUG: Available deps: [] DEBUG: Missing deps : [] DEBUG: Plugins requested while processing /builddir/build/BUILD/proper-1.3: [] DEBUG: Predirs: [] ==> proper-1.3 (eunit) DEBUG: Matched required ERTS version: 10.6.4 -> .* DEBUG: Matched required OTP release: 22 -> .* DEBUG: Min OTP version unconfigured DEBUG: Triq availability: false DEBUG: PropEr availability: true DEBUG: QuickCheck availability: false INFO: sh info: cwd: "/builddir/build/BUILD/proper-1.3" cmd: cp -R src/proper_dict.erl src/proper.erl src/proper_queue.erl src/proper_orddict.erl src/vararg.erl src/proper_target.erl src/proper_sa.erl src/proper_unicode.erl src/proper_array.erl src/proper_typeserver.erl src/proper_ordsets.erl src/proper_gb_trees.erl src/proper_shrink.erl src/proper_unused_imports_remover.erl src/proper_types.erl src/proper_prop_remover.erl src/proper_sets.erl src/proper_gb_sets.erl src/proper_transformer.erl src/proper_gen.erl src/proper_arith.erl src/proper_symb.erl src/proper_gen_next.erl src/proper_fsm.erl src/proper_statem.erl test/post_false.erl test/let_tests.erl test/auto_export_test1.erl test/symb_statem.erl test/perf_max_size.erl test/rec_test2.erl test/no_native_parse_test.erl test/improper_lists_statem.erl test/proper_specs_tests.erl test/pdict_fsm.erl test/nogen_statem.erl test/ets_statem.erl test/rec_test1.erl test/symb_statem_maps.erl test/numbers_fsm.erl test/exists_tests.erl test/proper_tests.erl test/proper_print.erl test/pdict_statem.erl test/prec_false.erl test/command_props.erl test/auto_export_test2.erl test/error_statem.erl test/rec_props_test2.erl test/to_remove.erl test/types_test1.erl test/rec_props_test1.erl test/weird_types.erl test/types_test2.erl test/ets_counter.erl ".eunit" DEBUG: opts: [{use_stdout,false},abort_on_error] DEBUG: Port Cmd: "cp -R src/proper_dict.erl src/proper.erl src/proper_queue.erl src/proper_orddict.erl src/vararg.erl src/proper_target.erl src/proper_sa.erl src/proper_unicode.erl src/proper_array.erl src/proper_typeserver.erl src/proper_ordsets.erl src/proper_gb_trees.erl src/proper_shrink.erl src/proper_unused_imports_remover.erl src/proper_types.erl src/proper_prop_remover.erl src/proper_sets.erl src/proper_gb_sets.erl src/proper_transformer.erl src/proper_gen.erl src/proper_arith.erl src/proper_symb.erl src/proper_gen_next.erl src/proper_fsm.erl src/proper_statem.erl test/post_false.erl test/let_tests.erl test/auto_export_test1.erl test/symb_statem.erl test/perf_max_size.erl test/rec_test2.erl test/no_native_parse_test.erl test/improper_lists_statem.erl test/proper_specs_tests.erl test/pdict_fsm.erl test/nogen_statem.erl test/ets_statem.erl test/rec_test1.erl test/symb_statem_maps.erl test/numbers_fsm.erl test/exists_tests.erl test/proper_tests.erl test/proper_print.erl test/pdict_statem.erl test/prec_false.erl test/command_props.erl test/auto_export_test2.erl test/error_statem.erl test/rec_props_test2.erl test/to_remove.erl test/types_test1.erl test/rec_props_test1.erl test/weird_types.erl test/types_test2.erl test/ets_counter.erl \".eunit\"" Port Opts: [exit_status,{line,16384},use_stdio,stderr_to_stdout,hide] DEBUG: erl_opts [{d,'TEST'}, debug_info,debug_info,report_warnings, {warn_format,1}, warn_export_vars,warn_obsolete_guard,warn_unused_import, warn_missing_spec,warn_untyped_record, {d,'AT_LEAST_19'}, {d,'AT_LEAST_20'}, {d,'AT_LEAST_21'}, {d,'PROPER'}] DEBUG: Files to compile first: ["src/vararg.erl","src/vararg.erl", "src/proper_transformer.erl", "src/proper_prop_remover.erl", "src/proper_typeserver.erl", "src/proper_symb.erl","src/proper_target.erl", "src/proper_types.erl", "src/proper_unicode.erl", "src/proper_unused_imports_remover.erl", "src/proper.erl","src/proper_statem.erl"] Compiled src/vararg.erl Compiled src/vararg.erl Compiled src/proper_transformer.erl Compiled src/proper_prop_remover.erl Compiled src/proper_typeserver.erl Compiled src/proper_symb.erl Compiled src/proper_target.erl Compiled src/proper_types.erl Compiled src/proper_unicode.erl Compiled src/proper_unused_imports_remover.erl Compiled src/proper.erl Compiled src/proper_statem.erl DEBUG: Starting 3 compile worker(s) Compiled src/proper_dict.erl Compiled src/proper_orddict.erl Compiled src/proper_queue.erl Compiled src/proper_ordsets.erl Compiled src/proper_array.erl Compiled src/proper_gb_trees.erl Compiled src/proper_sets.erl Compiled src/proper_gb_sets.erl Compiled src/proper_sa.erl Compiled src/proper_arith.erl Compiled src/proper_shrink.erl Compiled src/proper_fsm.erl Compiled src/proper_gen.erl test/post_false.erl:28: Warning: export_all flag enabled - all functions will be exported test/post_false.erl:28: Warning: export_all flag enabled - all functions will be exported Compiled test/post_false.erl test/auto_export_test1.erl:34: Warning: missing specification for function prop_1/0 test/auto_export_test1.erl:34: Warning: missing specification for function prop_1/0 Compiled test/auto_export_test1.erl test/let_tests.erl:36: Warning: missing specification for function prop_1/0 test/let_tests.erl:39: Warning: type rng() is unused test/let_tests.erl:43: Warning: missing specification for function prop_2/0 test/let_tests.erl:36: Warning: missing specification for function prop_1/0 test/let_tests.erl:39: Warning: type rng() is unused test/let_tests.erl:43: Warning: missing specification for function prop_2/0 Compiled test/let_tests.erl test/perf_max_size.erl:36: Warning: missing specification for function prop_identity/0 test/perf_max_size.erl:36: Warning: missing specification for function prop_identity/0 Compiled test/perf_max_size.erl Compiled test/rec_test2.erl test/symb_statem.erl:46: Warning: missing specification for function command/1 test/symb_statem.erl:50: Warning: missing specification for function precondition/2 test/symb_statem.erl:53: Warning: missing specification for function next_state/3 test/symb_statem.erl:60: Warning: missing specification for function postcondition/3 test/symb_statem.erl:67: Warning: missing specification for function foo/1 test/symb_statem.erl:70: Warning: missing specification for function bar/1 test/symb_statem.erl:73: Warning: missing specification for function prop_simple/0 test/symb_statem.erl:82: Warning: missing specification for function prop_parallel_simple/0 test/symb_statem.erl:46: Warning: missing specification for function command/1 test/symb_statem.erl:50: Warning: missing specification for function precondition/2 test/symb_statem.erl:53: Warning: missing specification for function next_state/3 test/symb_statem.erl:60: Warning: missing specification for function postcondition/3 test/symb_statem.erl:67: Warning: missing specification for function foo/1 test/symb_statem.erl:70: Warning: missing specification for function bar/1 test/symb_statem.erl:73: Warning: missing specification for function prop_simple/0 test/symb_statem.erl:82: Warning: missing specification for function prop_parallel_simple/0 Compiled test/symb_statem.erl test/no_native_parse_test.erl:36: Warning: missing specification for function prop_1/0 test/no_native_parse_test.erl:36: Warning: missing specification for function prop_1/0 Compiled test/no_native_parse_test.erl test/improper_lists_statem.erl:16: Warning: missing specification for function command/1 test/improper_lists_statem.erl:19: Warning: missing specification for function initial_state/0 test/improper_lists_statem.erl:22: Warning: missing specification for function next_state/3 test/improper_lists_statem.erl:25: Warning: missing specification for function precondition/2 test/improper_lists_statem.erl:28: Warning: missing specification for function postcondition/3 test/improper_lists_statem.erl:31: Warning: missing specification for function foo/1 test/improper_lists_statem.erl:34: Warning: missing specification for function prop_simple/0 test/improper_lists_statem.erl:16: Warning: missing specification for function command/1 test/improper_lists_statem.erl:19: Warning: missing specification for function initial_state/0 test/improper_lists_statem.erl:22: Warning: missing specification for function next_state/3 test/improper_lists_statem.erl:25: Warning: missing specification for function precondition/2 test/improper_lists_statem.erl:28: Warning: missing specification for function postcondition/3 test/improper_lists_statem.erl:31: Warning: missing specification for function foo/1 test/improper_lists_statem.erl:34: Warning: missing specification for function prop_simple/0 Compiled test/improper_lists_statem.erl test/pdict_fsm.erl:42: Warning: missing specification for function test/0 test/pdict_fsm.erl:45: Warning: missing specification for function test/1 test/pdict_fsm.erl:48: Warning: missing specification for function prop_pdict/0 test/pdict_fsm.erl:61: Warning: missing specification for function set_up/0 test/pdict_fsm.erl:63: Warning: missing specification for function clean_up/0 test/pdict_fsm.erl:72: Warning: missing specification for function initial_state/0 test/pdict_fsm.erl:74: Warning: missing specification for function initial_state_data/0 test/pdict_fsm.erl:76: Warning: missing specification for function empty_pdict/1 test/pdict_fsm.erl:79: Warning: missing specification for function non_empty_pdict/1 test/pdict_fsm.erl:85: Warning: missing specification for function precondition/4 test/pdict_fsm.erl:94: Warning: missing specification for function postcondition/5 test/pdict_fsm.erl:103: Warning: missing specification for function next_state_data/5 test/pdict_fsm.erl:113: Warning: missing specification for function weight/3 test/pdict_fsm.erl:117: Warning: missing specification for function sample_commands/0 test/pdict_fsm.erl:42: Warning: missing specification for function test/0 test/pdict_fsm.erl:45: Warning: missing specification for function test/1 test/pdict_fsm.erl:48: Warning: missing specification for function prop_pdict/0 test/pdict_fsm.erl:61: Warning: missing specification for function set_up/0 test/pdict_fsm.erl:63: Warning: missing specification for function clean_up/0 test/pdict_fsm.erl:72: Warning: missing specification for function initial_state/0 test/pdict_fsm.erl:74: Warning: missing specification for function initial_state_data/0 test/pdict_fsm.erl:76: Warning: missing specification for function empty_pdict/1 test/pdict_fsm.erl:79: Warning: missing specification for function non_empty_pdict/1 test/pdict_fsm.erl:85: Warning: missing specification for function precondition/4 test/pdict_fsm.erl:94: Warning: missing specification for function postcondition/5 test/pdict_fsm.erl:103: Warning: missing specification for function next_state_data/5 test/pdict_fsm.erl:113: Warning: missing specification for function weight/3 test/pdict_fsm.erl:117: Warning: missing specification for function sample_commands/0 Compiled test/pdict_fsm.erl test/proper_specs_tests.erl:0: Warning: missing specification for function test/0 test/proper_specs_tests.erl:48: Warning: missing specification for function check1_specs_test_/0 test/proper_specs_tests.erl:51: Warning: missing specification for function check2_specs_test_/0 test/proper_specs_tests.erl:54: Warning: missing specification for function check3_specs_test_/0 test/proper_specs_tests.erl:61: Warning: missing specification for function check1_specs_test/0 test/proper_specs_tests.erl:79: Warning: missing specification for function check2_specs_test/0 test/proper_specs_tests.erl:103: Warning: missing specification for function check3_specs_test/0 test/proper_specs_tests.erl:0: Warning: missing specification for function test/0 test/proper_specs_tests.erl:48: Warning: missing specification for function check1_specs_test_/0 test/proper_specs_tests.erl:51: Warning: missing specification for function check2_specs_test_/0 test/proper_specs_tests.erl:54: Warning: missing specification for function check3_specs_test_/0 test/proper_specs_tests.erl:61: Warning: missing specification for function check1_specs_test/0 test/proper_specs_tests.erl:79: Warning: missing specification for function check2_specs_test/0 test/proper_specs_tests.erl:103: Warning: missing specification for function check3_specs_test/0 Compiled test/proper_specs_tests.erl test/nogen_statem.erl:28: Warning: export_all flag enabled - all functions will be exported test/nogen_statem.erl:28: Warning: export_all flag enabled - all functions will be exported Compiled test/nogen_statem.erl test/rec_test1.erl:42: Warning: type bb() is unused test/rec_test1.erl:42: Warning: type bb() is unused Compiled test/rec_test1.erl Compiled src/proper_gen_next.erl test/symb_statem_maps.erl:46: Warning: missing specification for function command/1 test/symb_statem_maps.erl:49: Warning: missing specification for function precondition/2 test/symb_statem_maps.erl:52: Warning: missing specification for function next_state/3 test/symb_statem_maps.erl:58: Warning: missing specification for function postcondition/3 test/symb_statem_maps.erl:64: Warning: missing specification for function qux/1 test/symb_statem_maps.erl:67: Warning: missing specification for function prop_simple/0 test/symb_statem_maps.erl:76: Warning: missing specification for function prop_parallel_simple/0 test/symb_statem_maps.erl:46: Warning: missing specification for function command/1 test/symb_statem_maps.erl:49: Warning: missing specification for function precondition/2 test/symb_statem_maps.erl:52: Warning: missing specification for function next_state/3 test/symb_statem_maps.erl:58: Warning: missing specification for function postcondition/3 test/symb_statem_maps.erl:64: Warning: missing specification for function qux/1 test/symb_statem_maps.erl:67: Warning: missing specification for function prop_simple/0 test/symb_statem_maps.erl:76: Warning: missing specification for function prop_parallel_simple/0 Compiled test/symb_statem_maps.erl test/numbers_fsm.erl:29: Warning: export_all flag enabled - all functions will be exported test/numbers_fsm.erl:29: Warning: export_all flag enabled - all functions will be exported Compiled test/numbers_fsm.erl test/ets_statem.erl:79: Warning: missing specification for function initial_state/1 test/ets_statem.erl:82: Warning: missing specification for function command/1 test/ets_statem.erl:92: Warning: missing specification for function precondition/2 test/ets_statem.erl:103: Warning: missing specification for function next_state/3 test/ets_statem.erl:178: Warning: missing specification for function postcondition/3 test/ets_statem.erl:221: Warning: missing specification for function prop_ets/0 test/ets_statem.erl:234: Warning: missing specification for function prop_parallel_ets/0 test/ets_statem.erl:250: Warning: missing specification for function set_up/0 test/ets_statem.erl:256: Warning: missing specification for function clean_up/0 test/ets_statem.erl:79: Warning: missing specification for function initial_state/1 test/ets_statem.erl:82: Warning: missing specification for function command/1 test/ets_statem.erl:92: Warning: missing specification for function precondition/2 test/ets_statem.erl:103: Warning: missing specification for function next_state/3 test/ets_statem.erl:178: Warning: missing specification for function postcondition/3 test/ets_statem.erl:221: Warning: missing specification for function prop_ets/0 test/ets_statem.erl:234: Warning: missing specification for function prop_parallel_ets/0 test/ets_statem.erl:250: Warning: missing specification for function set_up/0 test/ets_statem.erl:256: Warning: missing specification for function clean_up/0 Compiled test/ets_statem.erl test/proper_print.erl:0: Warning: missing specification for function test/0 test/proper_print.erl:36: Warning: missing specification for function stacktrace_test_/0 test/proper_print.erl:0: Warning: missing specification for function test/0 test/proper_print.erl:36: Warning: missing specification for function stacktrace_test_/0 Compiled test/proper_print.erl test/pdict_statem.erl:42: Warning: missing specification for function test/0 test/pdict_statem.erl:45: Warning: missing specification for function test/1 test/pdict_statem.erl:48: Warning: missing specification for function prop_pdict/0 test/pdict_statem.erl:59: Warning: missing specification for function set_up/0 test/pdict_statem.erl:61: Warning: missing specification for function clean_up/0 test/pdict_statem.erl:67: Warning: missing specification for function initial_state/0 test/pdict_statem.erl:70: Warning: missing specification for function command/1 test/pdict_statem.erl:79: Warning: missing specification for function precondition/2 test/pdict_statem.erl:86: Warning: missing specification for function postcondition/3 test/pdict_statem.erl:95: Warning: missing specification for function next_state/3 test/pdict_statem.erl:42: Warning: missing specification for function test/0 test/pdict_statem.erl:45: Warning: missing specification for function test/1 test/pdict_statem.erl:48: Warning: missing specification for function prop_pdict/0 test/pdict_statem.erl:59: Warning: missing specification for function set_up/0 test/pdict_statem.erl:61: Warning: missing specification for function clean_up/0 test/pdict_statem.erl:67: Warning: missing specification for function initial_state/0 test/pdict_statem.erl:70: Warning: missing specification for function command/1 test/pdict_statem.erl:79: Warning: missing specification for function precondition/2 test/pdict_statem.erl:86: Warning: missing specification for function postcondition/3 test/pdict_statem.erl:95: Warning: missing specification for function next_state/3 Compiled test/pdict_statem.erl test/prec_false.erl:28: Warning: export_all flag enabled - all functions will be exported test/prec_false.erl:28: Warning: export_all flag enabled - all functions will be exported Compiled test/prec_false.erl test/exists_tests.erl:0: Warning: missing specification for function test/0 test/exists_tests.erl:36: Warning: missing specification for function prop_strategy/0 test/exists_tests.erl:44: Warning: missing specification for function prop_forall_sa/0 test/exists_tests.erl:51: Warning: missing specification for function strategy_test/0 test/exists_tests.erl:56: Warning: missing specification for function forall_sa_test/0 test/exists_tests.erl:62: Warning: missing specification for function prop_exists/0 test/exists_tests.erl:70: Warning: missing specification for function prop_not_exists/0 test/exists_tests.erl:77: Warning: missing specification for function prop_forall_targeted/0 test/exists_tests.erl:84: Warning: missing specification for function exists_test/0 test/exists_tests.erl:87: Warning: missing specification for function not_exists_test/0 test/exists_tests.erl:92: Warning: missing specification for function forall_targeted_test/0 test/exists_tests.erl:98: Warning: missing specification for function not_exists_const_temp_test/0 test/exists_tests.erl:105: Warning: missing specification for function hillclimbing_test/0 test/exists_tests.erl:110: Warning: missing specification for function hillclimbing2_test/0 test/exists_tests.erl:117: Warning: missing specification for function hillclimbing3_test/0 test/exists_tests.erl:124: Warning: missing specification for function default_accept_function_test/0 test/exists_tests.erl:179: Warning: missing specification for function prop_big_list/0 test/exists_tests.erl:193: Warning: missing specification for function prop_let/0 test/exists_tests.erl:208: Warning: missing specification for function prop_suchthat/0 test/exists_tests.erl:223: Warning: missing specification for function prop_union/0 test/exists_tests.erl:232: Warning: missing specification for function prop_weighted_union/0 test/exists_tests.erl:241: Warning: missing specification for function prop_tuple/0 test/exists_tests.erl:255: Warning: missing specification for function prop_union_let/0 test/exists_tests.erl:267: Warning: missing specification for function prop_lazy/0 test/exists_tests.erl:278: Warning: missing specification for function prop_sized/0 test/exists_tests.erl:292: Warning: missing specification for function prop_edge/0 test/exists_tests.erl:300: Warning: missing specification for function prop_graph/0 test/exists_tests.erl:326: Warning: missing specification for function prop_il/0 test/exists_tests.erl:335: Warning: missing specification for function prop_reset/0 test/exists_tests.erl:348: Warning: missing specification for function reset_test/0 test/exists_tests.erl:374: Warning: missing specification for function prop_graph_match_perf/0 test/exists_tests.erl:382: Warning: missing specification for function prop_graph_match_corr/0 test/exists_tests.erl:402: Warning: missing specification for function prop_whenfail/0 test/exists_tests.erl:411: Warning: missing specification for function prop_shrink1/0 test/exists_tests.erl:424: Warning: missing specification for function prop_shrink2/0 test/exists_tests.erl:437: Warning: missing specification for function prop_shrink3/0 test/exists_tests.erl:445: Warning: missing specification for function prop_shrink4/0 test/exists_tests.erl:455: Warning: missing specification for function prop_match/0 test/exists_tests.erl:473: Warning: missing specification for function prop_match_and_shrink/0 test/exists_tests.erl:492: Warning: missing specification for function prop_let_nf/0 test/exists_tests.erl:505: Warning: missing specification for function prop_not_exists_crash/0 test/exists_tests.erl:0: Warning: missing specification for function test/0 test/exists_tests.erl:36: Warning: missing specification for function prop_strategy/0 test/exists_tests.erl:44: Warning: missing specification for function prop_forall_sa/0 test/exists_tests.erl:51: Warning: missing specification for function strategy_test/0 test/exists_tests.erl:56: Warning: missing specification for function forall_sa_test/0 test/exists_tests.erl:62: Warning: missing specification for function prop_exists/0 test/exists_tests.erl:70: Warning: missing specification for function prop_not_exists/0 test/exists_tests.erl:77: Warning: missing specification for function prop_forall_targeted/0 test/exists_tests.erl:84: Warning: missing specification for function exists_test/0 test/exists_tests.erl:87: Warning: missing specification for function not_exists_test/0 test/exists_tests.erl:92: Warning: missing specification for function forall_targeted_test/0 test/exists_tests.erl:98: Warning: missing specification for function not_exists_const_temp_test/0 test/exists_tests.erl:105: Warning: missing specification for function hillclimbing_test/0 test/exists_tests.erl:110: Warning: missing specification for function hillclimbing2_test/0 test/exists_tests.erl:117: Warning: missing specification for function hillclimbing3_test/0 test/exists_tests.erl:124: Warning: missing specification for function default_accept_function_test/0 test/exists_tests.erl:179: Warning: missing specification for function prop_big_list/0 test/exists_tests.erl:193: Warning: missing specification for function prop_let/0 test/exists_tests.erl:208: Warning: missing specification for function prop_suchthat/0 test/exists_tests.erl:223: Warning: missing specification for function prop_union/0 test/exists_tests.erl:232: Warning: missing specification for function prop_weighted_union/0 test/exists_tests.erl:241: Warning: missing specification for function prop_tuple/0 test/exists_tests.erl:255: Warning: missing specification for function prop_union_let/0 test/exists_tests.erl:267: Warning: missing specification for function prop_lazy/0 test/exists_tests.erl:278: Warning: missing specification for function prop_sized/0 test/exists_tests.erl:292: Warning: missing specification for function prop_edge/0 test/exists_tests.erl:300: Warning: missing specification for function prop_graph/0 test/exists_tests.erl:326: Warning: missing specification for function prop_il/0 test/exists_tests.erl:335: Warning: missing specification for function prop_reset/0 test/exists_tests.erl:348: Warning: missing specification for function reset_test/0 test/exists_tests.erl:374: Warning: missing specification for function prop_graph_match_perf/0 test/exists_tests.erl:382: Warning: missing specification for function prop_graph_match_corr/0 test/exists_tests.erl:402: Warning: missing specification for function prop_whenfail/0 test/exists_tests.erl:411: Warning: missing specification for function prop_shrink1/0 test/exists_tests.erl:424: Warning: missing specification for function prop_shrink2/0 test/exists_tests.erl:437: Warning: missing specification for function prop_shrink3/0 test/exists_tests.erl:445: Warning: missing specification for function prop_shrink4/0 test/exists_tests.erl:455: Warning: missing specification for function prop_match/0 test/exists_tests.erl:473: Warning: missing specification for function prop_match_and_shrink/0 test/exists_tests.erl:492: Warning: missing specification for function prop_let_nf/0 test/exists_tests.erl:505: Warning: missing specification for function prop_not_exists_crash/0 Compiled test/exists_tests.erl test/auto_export_test2.erl:35: Warning: function prop_1/0 is unused test/auto_export_test2.erl:35: Warning: function prop_1/0 is unused Compiled test/auto_export_test2.erl test/command_props.erl:43: Warning: missing specification for function prop_index/0 test/command_props.erl:48: Warning: missing specification for function prop_all_insertions/0 test/command_props.erl:60: Warning: missing specification for function prop_insert_all/0 test/command_props.erl:75: Warning: missing specification for function prop_zip/0 test/command_props.erl:90: Warning: missing specification for function prop_state_after/0 test/command_props.erl:99: Warning: missing specification for function prop_parallel_ets_counter/0 test/command_props.erl:107: Warning: missing specification for function prop_check_true/0 test/command_props.erl:43: Warning: missing specification for function prop_index/0 test/command_props.erl:48: Warning: missing specification for function prop_all_insertions/0 test/command_props.erl:60: Warning: missing specification for function prop_insert_all/0 test/command_props.erl:75: Warning: missing specification for function prop_zip/0 test/command_props.erl:90: Warning: missing specification for function prop_state_after/0 test/command_props.erl:99: Warning: missing specification for function prop_parallel_ets_counter/0 test/command_props.erl:107: Warning: missing specification for function prop_check_true/0 Compiled test/command_props.erl test/error_statem.erl:28: Warning: export_all flag enabled - all functions will be exported test/error_statem.erl:32: Warning: record state has field(s) without type information test/error_statem.erl:28: Warning: export_all flag enabled - all functions will be exported test/error_statem.erl:32: Warning: record state has field(s) without type information Compiled test/error_statem.erl Compiled test/to_remove.erl test/types_test1.erl:31: Warning: record rec1 has field(s) without type information test/types_test1.erl:34: Warning: type type1() is unused test/types_test1.erl:35: Warning: type type2(_) is unused test/types_test1.erl:36: Warning: type rem1() is unused test/types_test1.erl:37: Warning: type rem2() is unused test/types_test1.erl:31: Warning: record rec1 has field(s) without type information test/types_test1.erl:34: Warning: type type1() is unused test/types_test1.erl:35: Warning: type type2(_) is unused test/types_test1.erl:36: Warning: type rem1() is unused test/types_test1.erl:37: Warning: type rem2() is unused Compiled test/types_test1.erl test/rec_props_test2.erl:36: Warning: missing specification for function prop_2/0 test/rec_props_test2.erl:36: Warning: missing specification for function prop_2/0 Compiled test/rec_props_test2.erl test/weird_types.erl:31: Warning: export_all flag enabled - all functions will be exported test/weird_types.erl:38: Warning: type hd(_) is unused test/weird_types.erl:31: Warning: export_all flag enabled - all functions will be exported test/weird_types.erl:38: Warning: type hd(_) is unused Compiled test/weird_types.erl test/rec_props_test1.erl:36: Warning: missing specification for function prop_1/0 test/rec_props_test1.erl:36: Warning: missing specification for function prop_1/0 Compiled test/rec_props_test1.erl test/types_test2.erl:33: Warning: record rec1 is unused test/types_test2.erl:33: Warning: record rec1 is unused Compiled test/types_test2.erl DEBUG: Worker exited cleanly test/ets_counter.erl:32: Warning: export_all flag enabled - all functions will be exported test/ets_counter.erl:32: Warning: export_all flag enabled - all functions will be exported Compiled test/ets_counter.erl DEBUG: Worker exited cleanly test/proper_tests.erl:0: Warning: missing specification for function test/0 test/proper_tests.erl:701: Warning: missing specification for function simple_types_test_/0 test/proper_tests.erl:704: Warning: missing specification for function constructed_types_test_/0 test/proper_tests.erl:710: Warning: missing specification for function shrinks_to_test_/0 test/proper_tests.erl:716: Warning: missing specification for function native_shrinks_to_test_/0 test/proper_tests.erl:722: Warning: missing specification for function cant_generate_test_/0 test/proper_tests.erl:725: Warning: missing specification for function native_cant_translate_test_/0 test/proper_tests.erl:729: Warning: missing specification for function remote_native_types_test_/0 test/proper_tests.erl:733: Warning: missing specification for function recursive_native_types_test_/0 test/proper_tests.erl:737: Warning: missing specification for function recursive_native_cant_translate_test_/0 test/proper_tests.erl:742: Warning: missing specification for function random_functions_test_/0 test/proper_tests.erl:747: Warning: missing specification for function parse_transform_test_/0 test/proper_tests.erl:754: Warning: missing specification for function native_type_props_test_/0 test/proper_tests.erl:770: Warning: this clause cannot match because a previous clause at line 770 always matches test/proper_tests.erl:841: Warning: type bin4() is unused test/proper_tests.erl:842: Warning: type bits42() is unused test/proper_tests.erl:843: Warning: type bits5x() is unused test/proper_tests.erl:844: Warning: type bits7x() is unused test/proper_tests.erl:846: Warning: record untyped has field(s) without type information test/proper_tests.erl:847: Warning: type untyped() is unused test/proper_tests.erl:849: Warning: missing specification for function true_props_test_/0 test/proper_tests.erl:898: Warning: missing specification for function map_in_nextstate3_test_/0 test/proper_tests.erl:902: Warning: missing specification for function false_props_test_/0 test/proper_tests.erl:917: Warning: this clause cannot match because a previous clause at line 917 always matches test/proper_tests.erl:923: Warning: this clause cannot match because a previous clause at line 923 always matches test/proper_tests.erl:938: Warning: this clause cannot match because a previous clause at line 938 always matches test/proper_tests.erl:944: Warning: this clause cannot match because a previous clause at line 944 always matches test/proper_tests.erl:949: Warning: this clause cannot match because a previous clause at line 949 always matches test/proper_tests.erl:950: Warning: this clause cannot match because a previous clause at line 950 always matches test/proper_tests.erl:951: Warning: this clause cannot match because a previous clause at line 951 always matches test/proper_tests.erl:980: Warning: this clause cannot match because a previous clause at line 980 always matches test/proper_tests.erl:981: Warning: this clause cannot match because a previous clause at line 981 always matches test/proper_tests.erl:983: Warning: missing specification for function error_props_test_/0 test/proper_tests.erl:1012: Warning: missing specification for function eval_test_/0 test/proper_tests.erl:1016: Warning: missing specification for function pretty_print_test_/0 test/proper_tests.erl:1020: Warning: missing specification for function not_defined_test_/0 test/proper_tests.erl:1024: Warning: missing specification for function options_test_/0 test/proper_tests.erl:1033: Warning: this clause cannot match because a previous clause at line 1033 always matches test/proper_tests.erl:1078: Warning: missing specification for function setup_test_/0 test/proper_tests.erl:1082: Warning: this clause cannot match because a previous clause at line 1082 always matches test/proper_tests.erl:1100: Warning: missing specification for function adts1_test_/0 test/proper_tests.erl:1110: Warning: missing specification for function adts3_test_/0 test/proper_tests.erl:1112: Warning: this clause cannot match because a previous clause at line 1112 always matches test/proper_tests.erl:1116: Warning: missing specification for function parameter_test_/0 test/proper_tests.erl:1124: Warning: missing specification for function zip_test_/0 test/proper_tests.erl:1128: Warning: missing specification for function command_names_test_/0 test/proper_tests.erl:1132: Warning: missing specification for function command_names_parallel1_test_/0 test/proper_tests.erl:1136: Warning: missing specification for function command_names_parallel2_test_/0 test/proper_tests.erl:1140: Warning: missing specification for function command_names_parallel3_test_/0 test/proper_tests.erl:1144: Warning: missing specification for function command_names_parallel4_test_/0 test/proper_tests.erl:1148: Warning: missing specification for function valid_cmds_test_/0 test/proper_tests.erl:1152: Warning: missing specification for function invalid_cmds_test_/0 test/proper_tests.erl:1158: Warning: missing specification for function state_after_test_/0 test/proper_tests.erl:1162: Warning: missing specification for function cannot_generate_commands_test_/0 test/proper_tests.erl:1166: Warning: missing specification for function can_generate_commands0_test_/0 test/proper_tests.erl:1170: Warning: missing specification for function can_generate_commands1_test_/0 test/proper_tests.erl:1174: Warning: missing specification for function can_generate_parallel_commands0_test_/0 test/proper_tests.erl:1179: Warning: missing specification for function can_generate_parallel_commands1_test_/0 test/proper_tests.erl:1186: Warning: missing specification for function seeded_runs_return_same_result_test_/0 test/proper_tests.erl:1190: Warning: missing specification for function run_valid_commands_test_/0 test/proper_tests.erl:1194: Warning: missing specification for function run_invalid_precondition_test_/0 test/proper_tests.erl:1199: Warning: missing specification for function run_init_error_test_/0 test/proper_tests.erl:1204: Warning: missing specification for function run_postcondition_false_test/0 test/proper_tests.erl:1208: Warning: missing specification for function run_exception_test/0 test/proper_tests.erl:1213: Warning: missing specification for function get_next_test_/0 test/proper_tests.erl:1218: Warning: missing specification for function mk_first_comb_test_/0 test/proper_tests.erl:1222: Warning: missing specification for function args_not_defined_test/0 test/proper_tests.erl:1226: Warning: missing specification for function command_props_test_/0 test/proper_tests.erl:1230: Warning: missing specification for function can_generate_fsm_commands_test_/0 test/proper_tests.erl:1234: Warning: missing specification for function transition_target_test_/0 test/proper_tests.erl:1237: Warning: missing specification for function dollar_only_cp_test_/0 test/proper_tests.erl:1245: Warning: missing specification for function sampleshrink_test_/0 test/proper_tests.erl:1260: Warning: missing specification for function max_size_test/0 test/proper_tests.erl:1380: Warning: type my_native_type() is unused test/proper_tests.erl:1382: Warning: type type_and_fun() is unused test/proper_tests.erl:1384: Warning: type type_only() is unused test/proper_tests.erl:1385: Warning: type id(_) is unused test/proper_tests.erl:1386: Warning: type lof() is unused test/proper_tests.erl:0: Warning: missing specification for function test/0 test/proper_tests.erl:701: Warning: missing specification for function simple_types_test_/0 test/proper_tests.erl:704: Warning: missing specification for function constructed_types_test_/0 test/proper_tests.erl:710: Warning: missing specification for function shrinks_to_test_/0 test/proper_tests.erl:716: Warning: missing specification for function native_shrinks_to_test_/0 test/proper_tests.erl:722: Warning: missing specification for function cant_generate_test_/0 test/proper_tests.erl:725: Warning: missing specification for function native_cant_translate_test_/0 test/proper_tests.erl:729: Warning: missing specification for function remote_native_types_test_/0 test/proper_tests.erl:733: Warning: missing specification for function recursive_native_types_test_/0 test/proper_tests.erl:737: Warning: missing specification for function recursive_native_cant_translate_test_/0 test/proper_tests.erl:742: Warning: missing specification for function random_functions_test_/0 test/proper_tests.erl:747: Warning: missing specification for function parse_transform_test_/0 test/proper_tests.erl:754: Warning: missing specification for function native_type_props_test_/0 test/proper_tests.erl:770: Warning: this clause cannot match because a previous clause at line 770 always matches test/proper_tests.erl:841: Warning: type bin4() is unused test/proper_tests.erl:842: Warning: type bits42() is unused test/proper_tests.erl:843: Warning: type bits5x() is unused test/proper_tests.erl:844: Warning: type bits7x() is unused test/proper_tests.erl:846: Warning: record untyped has field(s) without type information test/proper_tests.erl:847: Warning: type untyped() is unused test/proper_tests.erl:849: Warning: missing specification for function true_props_test_/0 test/proper_tests.erl:898: Warning: missing specification for function map_in_nextstate3_test_/0 test/proper_tests.erl:902: Warning: missing specification for function false_props_test_/0 test/proper_tests.erl:917: Warning: this clause cannot match because a previous clause at line 917 always matches test/proper_tests.erl:923: Warning: this clause cannot match because a previous clause at line 923 always matches test/proper_tests.erl:938: Warning: this clause cannot match because a previous clause at line 938 always matches test/proper_tests.erl:944: Warning: this clause cannot match because a previous clause at line 944 always matches test/proper_tests.erl:949: Warning: this clause cannot match because a previous clause at line 949 always matches test/proper_tests.erl:950: Warning: this clause cannot match because a previous clause at line 950 always matches test/proper_tests.erl:951: Warning: this clause cannot match because a previous clause at line 951 always matches test/proper_tests.erl:980: Warning: this clause cannot match because a previous clause at line 980 always matches test/proper_tests.erl:981: Warning: this clause cannot match because a previous clause at line 981 always matches test/proper_tests.erl:983: Warning: missing specification for function error_props_test_/0 test/proper_tests.erl:1012: Warning: missing specification for function eval_test_/0 test/proper_tests.erl:1016: Warning: missing specification for function pretty_print_test_/0 test/proper_tests.erl:1020: Warning: missing specification for function not_defined_test_/0 test/proper_tests.erl:1024: Warning: missing specification for function options_test_/0 test/proper_tests.erl:1033: Warning: this clause cannot match because a previous clause at line 1033 always matches test/proper_tests.erl:1078: Warning: missing specification for function setup_test_/0 test/proper_tests.erl:1082: Warning: this clause cannot match because a previous clause at line 1082 always matches test/proper_tests.erl:1100: Warning: missing specification for function adts1_test_/0 test/proper_tests.erl:1110: Warning: missing specification for function adts3_test_/0 test/proper_tests.erl:1112: Warning: this clause cannot match because a previous clause at line 1112 always matches test/proper_tests.erl:1116: Warning: missing specification for function parameter_test_/0 test/proper_tests.erl:1124: Warning: missing specification for function zip_test_/0 test/proper_tests.erl:1128: Warning: missing specification for function command_names_test_/0 test/proper_tests.erl:1132: Warning: missing specification for function command_names_parallel1_test_/0 test/proper_tests.erl:1136: Warning: missing specification for function command_names_parallel2_test_/0 test/proper_tests.erl:1140: Warning: missing specification for function command_names_parallel3_test_/0 test/proper_tests.erl:1144: Warning: missing specification for function command_names_parallel4_test_/0 test/proper_tests.erl:1148: Warning: missing specification for function valid_cmds_test_/0 test/proper_tests.erl:1152: Warning: missing specification for function invalid_cmds_test_/0 test/proper_tests.erl:1158: Warning: missing specification for function state_after_test_/0 test/proper_tests.erl:1162: Warning: missing specification for function cannot_generate_commands_test_/0 test/proper_tests.erl:1166: Warning: missing specification for function can_generate_commands0_test_/0 test/proper_tests.erl:1170: Warning: missing specification for function can_generate_commands1_test_/0 test/proper_tests.erl:1174: Warning: missing specification for function can_generate_parallel_commands0_test_/0 test/proper_tests.erl:1179: Warning: missing specification for function can_generate_parallel_commands1_test_/0 test/proper_tests.erl:1186: Warning: missing specification for function seeded_runs_return_same_result_test_/0 test/proper_tests.erl:1190: Warning: missing specification for function run_valid_commands_test_/0 test/proper_tests.erl:1194: Warning: missing specification for function run_invalid_precondition_test_/0 test/proper_tests.erl:1199: Warning: missing specification for function run_init_error_test_/0 test/proper_tests.erl:1204: Warning: missing specification for function run_postcondition_false_test/0 test/proper_tests.erl:1208: Warning: missing specification for function run_exception_test/0 test/proper_tests.erl:1213: Warning: missing specification for function get_next_test_/0 test/proper_tests.erl:1218: Warning: missing specification for function mk_first_comb_test_/0 test/proper_tests.erl:1222: Warning: missing specification for function args_not_defined_test/0 test/proper_tests.erl:1226: Warning: missing specification for function command_props_test_/0 test/proper_tests.erl:1230: Warning: missing specification for function can_generate_fsm_commands_test_/0 test/proper_tests.erl:1234: Warning: missing specification for function transition_target_test_/0 test/proper_tests.erl:1237: Warning: missing specification for function dollar_only_cp_test_/0 test/proper_tests.erl:1245: Warning: missing specification for function sampleshrink_test_/0 test/proper_tests.erl:1260: Warning: missing specification for function max_size_test/0 test/proper_tests.erl:1380: Warning: type my_native_type() is unused test/proper_tests.erl:1382: Warning: type type_and_fun() is unused test/proper_tests.erl:1384: Warning: type type_only() is unused test/proper_tests.erl:1385: Warning: type id(_) is unused test/proper_tests.erl:1386: Warning: type lof() is unused Compiled test/proper_tests.erl DEBUG: Worker exited cleanly ======================== EUnit ======================== module 'numbers_fsm' module 'proper_sets' module 'proper_prop_remover' module 'proper_target' module 'weird_types' module 'nogen_statem' module 'proper_transformer' module 'rec_props_test2' module 'proper_unused_imports_remover' module 'proper_typeserver' module 'proper_arith' module 'proper_orddict' module 'proper_shrink' module 'proper_dict' module 'proper' module 'proper_tests' proper_tests:702: simple_types_test_...[0.088 s] ok proper_tests:702: simple_types_test_...[0.057 s] ok proper_tests:702: simple_types_test_...[0.058 s] ok proper_tests:702: simple_types_test_...[0.055 s] ok proper_tests:702: simple_types_test_...[0.070 s] ok proper_tests:702: simple_types_test_...[0.059 s] ok proper_tests:702: simple_types_test_...[0.061 s] ok proper_tests:702: simple_types_test_...[0.064 s] ok proper_tests:702: simple_types_test_...[0.064 s] ok proper_tests:702: simple_types_test_...[0.074 s] ok proper_tests:702: simple_types_test_...[0.063 s] ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...[0.065 s] ok proper_tests:702: simple_types_test_...[0.073 s] ok proper_tests:702: simple_types_test_...[0.070 s] ok proper_tests:702: simple_types_test_...[0.102 s] ok proper_tests:702: simple_types_test_...[0.069 s] ok proper_tests:702: simple_types_test_...[0.073 s] ok proper_tests:702: simple_types_test_...[0.070 s] ok proper_tests:702: simple_types_test_...[0.084 s] ok proper_tests:702: simple_types_test_...[0.078 s] ok proper_tests:702: simple_types_test_...[0.068 s] ok proper_tests:702: simple_types_test_...[0.071 s] ok proper_tests:702: simple_types_test_...[0.078 s] ok proper_tests:702: simple_types_test_...[0.083 s] ok proper_tests:702: simple_types_test_...[0.002 s] ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...[0.080 s] ok proper_tests:702: simple_types_test_...[0.082 s] ok proper_tests:702: simple_types_test_...[0.001 s] ok proper_tests:702: simple_types_test_...[0.088 s] ok proper_tests:702: simple_types_test_...[0.082 s] ok proper_tests:702: simple_types_test_...[0.064 s] ok proper_tests:702: simple_types_test_...[0.001 s] ok proper_tests:702: simple_types_test_...[0.001 s] ok proper_tests:702: simple_types_test_...[0.002 s] ok proper_tests:702: simple_types_test_...[0.008 s] ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...[0.066 s] ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...[0.001 s] ok proper_tests:702: simple_types_test_...[0.001 s] ok proper_tests:702: simple_types_test_...[0.071 s] ok proper_tests:702: simple_types_test_...[0.069 s] ok proper_tests:702: simple_types_test_...[0.069 s] ok proper_tests:702: simple_types_test_...[0.071 s] ok proper_tests:702: simple_types_test_...[0.073 s] ok proper_tests:702: simple_types_test_...[0.002 s] ok proper_tests:702: simple_types_test_...[0.001 s] ok proper_tests:702: simple_types_test_...[0.001 s] ok proper_tests:702: simple_types_test_...[0.072 s] ok proper_tests:702: simple_types_test_...[0.078 s] ok proper_tests:702: simple_types_test_...[0.087 s] ok proper_tests:702: simple_types_test_...[0.001 s] ok proper_tests:702: simple_types_test_...[0.079 s] ok proper_tests:702: simple_types_test_...[0.001 s] ok proper_tests:702: simple_types_test_...[0.080 s] ok proper_tests:702: simple_types_test_...[0.183 s] ok proper_tests:702: simple_types_test_...[0.075 s] ok proper_tests:702: simple_types_test_...[0.072 s] ok proper_tests:702: simple_types_test_...[0.081 s] ok proper_tests:705: constructed_types_test_...[0.077 s] ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...[0.001 s] ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...[0.073 s] ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...[0.003 s] ok proper_tests:705: constructed_types_test_...[0.207 s] ok proper_tests:705: constructed_types_test_...[0.103 s] ok proper_tests:705: constructed_types_test_...[0.074 s] ok proper_tests:705: constructed_types_test_...[0.067 s] ok proper_tests:705: constructed_types_test_...[0.075 s] ok proper_tests:705: constructed_types_test_...[0.075 s] ok proper_tests:705: constructed_types_test_...[0.076 s] ok proper_tests:705: constructed_types_test_...[0.069 s] ok proper_tests:705: constructed_types_test_...[0.070 s] ok proper_tests:705: constructed_types_test_...[0.001 s] ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...ok proper_tests:711: shrinks_to_test_...[0.002 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.003 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.002 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.002 s] ok proper_tests:711: shrinks_to_test_...[0.002 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.002 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.002 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.004 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:717: native_shrinks_to_test_...[0.369 s] ok proper_tests:717: native_shrinks_to_test_...[0.331 s] ok proper_tests:717: native_shrinks_to_test_...[0.315 s] ok proper_tests:717: native_shrinks_to_test_...[0.313 s] ok proper_tests:717: native_shrinks_to_test_...[0.464 s] ok proper_tests:717: native_shrinks_to_test_...[0.361 s] ok proper_tests:717: native_shrinks_to_test_...[0.363 s] ok proper_tests:717: native_shrinks_to_test_...[0.426 s] ok proper_tests:717: native_shrinks_to_test_...[0.381 s] ok proper_tests:717: native_shrinks_to_test_...[0.439 s] ok proper_tests:717: native_shrinks_to_test_...[0.370 s] ok proper_tests:717: native_shrinks_to_test_...[0.377 s] ok proper_tests:717: native_shrinks_to_test_...[0.369 s] ok proper_tests:717: native_shrinks_to_test_...[0.350 s] ok proper_tests:717: native_shrinks_to_test_...[0.347 s] ok proper_tests:717: native_shrinks_to_test_...[0.346 s] ok proper_tests:717: native_shrinks_to_test_...[0.440 s] ok proper_tests:717: native_shrinks_to_test_...[0.365 s] ok proper_tests:717: native_shrinks_to_test_...[0.435 s] ok proper_tests:717: native_shrinks_to_test_...[0.381 s] ok proper_tests:717: native_shrinks_to_test_...[0.351 s] ok proper_tests:717: native_shrinks_to_test_...[0.445 s] ok proper_tests:717: native_shrinks_to_test_...[0.392 s] ok proper_tests:717: native_shrinks_to_test_...[0.440 s] ok proper_tests:717: native_shrinks_to_test_...[0.418 s] ok proper_tests:717: native_shrinks_to_test_...[0.398 s] ok proper_tests:717: native_shrinks_to_test_...[0.397 s] ok proper_tests:717: native_shrinks_to_test_...[0.396 s] ok proper_tests:717: native_shrinks_to_test_...[0.324 s] ok proper_tests:717: native_shrinks_to_test_...[0.322 s] ok proper_tests:717: native_shrinks_to_test_...[0.321 s] ok proper_tests:717: native_shrinks_to_test_...[0.319 s] ok proper_tests:717: native_shrinks_to_test_...[0.324 s] ok proper_tests:717: native_shrinks_to_test_...[0.325 s] ok proper_tests:717: native_shrinks_to_test_...[0.325 s] ok proper_tests:717: native_shrinks_to_test_...[0.323 s] ok proper_tests:717: native_shrinks_to_test_...[0.324 s] ok proper_tests:717: native_shrinks_to_test_...[0.393 s] ok proper_tests:717: native_shrinks_to_test_...[0.328 s] ok proper_tests:717: native_shrinks_to_test_...[0.328 s] ok proper_tests:717: native_shrinks_to_test_...[0.327 s] ok proper_tests:717: native_shrinks_to_test_...[0.326 s] ok proper_tests:717: native_shrinks_to_test_...[0.327 s] ok proper_tests:717: native_shrinks_to_test_...[0.327 s] ok proper_tests:717: native_shrinks_to_test_...[0.409 s] ok proper_tests:717: native_shrinks_to_test_...[0.387 s] ok proper_tests:717: native_shrinks_to_test_...[0.378 s] ok proper_tests:717: native_shrinks_to_test_...[0.379 s] ok proper_tests:717: native_shrinks_to_test_...[0.374 s] ok proper_tests:717: native_shrinks_to_test_...[0.376 s] ok proper_tests:717: native_shrinks_to_test_...[0.377 s] ok proper_tests:717: native_shrinks_to_test_...[0.374 s] ok proper_tests:717: native_shrinks_to_test_...[0.382 s] ok proper_tests:717: native_shrinks_to_test_...[0.382 s] ok proper_tests:717: native_shrinks_to_test_...[0.388 s] ok proper_tests:723: cant_generate_test_...ok proper_tests:723: cant_generate_test_...ok proper_tests:723: cant_generate_test_...ok proper_tests:723: cant_generate_test_...ok proper_tests:723: cant_generate_test_...ok proper_tests:723: cant_generate_test_...[0.002 s] ok proper_tests:723: cant_generate_test_...[0.001 s] ok proper_tests:723: cant_generate_test_...ok proper_tests:723: cant_generate_test_...[0.002 s] ok proper_tests:723: cant_generate_test_...ok proper_tests:726: native_cant_translate_test_...ok proper_tests:726: native_cant_translate_test_...[0.009 s] ok proper_tests:726: native_cant_translate_test_...ok proper_tests:726: native_cant_translate_test_...[0.001 s] ok proper_tests:726: native_cant_translate_test_...ok proper_tests:726: native_cant_translate_test_...ok proper_tests:726: native_cant_translate_test_...ok proper_tests:726: native_cant_translate_test_...ok proper_tests:726: native_cant_translate_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...[0.001 s] ok proper_tests:730: remote_native_types_test_...[0.001 s] ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...[0.001 s] ok proper_tests:730: remote_native_types_test_...[0.001 s] ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...[0.001 s] ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...[0.001 s] ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...[0.001 s] ok proper_tests:734: recursive_native_types_test_...[0.039 s] ok proper_tests:734: recursive_native_types_test_...[0.002 s] ok proper_tests:734: recursive_native_types_test_...[0.008 s] ok proper_tests:734: recursive_native_types_test_...[0.017 s] ok proper_tests:734: recursive_native_types_test_...[0.003 s] ok proper_tests:734: recursive_native_types_test_...[0.002 s] ok proper_tests:734: recursive_native_types_test_...[0.004 s] ok proper_tests:734: recursive_native_types_test_...[0.035 s] ok proper_tests:734: recursive_native_types_test_...[0.007 s] ok proper_tests:734: recursive_native_types_test_...[0.004 s] ok proper_tests:734: recursive_native_types_test_...[0.002 s] ok proper_tests:734: recursive_native_types_test_...[0.005 s] ok proper_tests:734: recursive_native_types_test_...[0.003 s] ok proper_tests:738: recursive_native_cant_translate_test_...[0.001 s] ok proper_tests:738: recursive_native_cant_translate_test_...ok proper_tests:738: recursive_native_cant_translate_test_...ok proper_tests:738: recursive_native_cant_translate_test_...ok proper_tests:738: recursive_native_cant_translate_test_...[0.001 s] ok proper_tests:738: recursive_native_cant_translate_test_...ok proper_tests:738: recursive_native_cant_translate_test_...ok proper_tests:738: recursive_native_cant_translate_test_...ok proper_tests:743: random_functions_test_...ok proper_tests:744: random_functions_test_...[0.009 s] ok proper_tests:743: random_functions_test_...ok proper_tests:744: random_functions_test_...[0.009 s] ok proper_tests:743: random_functions_test_...ok proper_tests:744: random_functions_test_...[0.009 s] ok proper_tests:743: random_functions_test_...ok proper_tests:744: random_functions_test_...[0.009 s] ok proper_tests:748: parse_transform_test_...[0.005 s] ok proper_tests:749: parse_transform_test_...[0.001 s] ok proper_tests:750: parse_transform_test_...[0.001 s] ok proper_tests:751: parse_transform_test_...[0.040 s] ok proper_tests:752: parse_transform_test_...[0.002 s] ok proper_tests:755: native_type_props_test_...[0.157 s] ok proper_tests:757: native_type_props_test_...[0.163 s] ok proper_tests:760: native_type_props_test_...[0.174 s] ok proper_tests:765: native_type_props_test_...[0.162 s] ok proper_tests:767: native_type_props_test_...[0.009 s] ok proper_tests:768: native_type_props_test_...[0.177 s] ok proper_tests:769: native_type_props_test_...[0.003 s] ok proper_tests:770: native_type_props_test_...[0.182 s] ok proper_tests:771: native_type_props_test_...[0.175 s] ok proper_tests:772: native_type_props_test_...ok proper_tests:773: native_type_props_test_...[0.003 s] ok proper_tests:781: native_type_props_test_...[0.132 s] ok proper_tests:782: native_type_props_test_...[0.008 s] ok proper_tests:783: native_type_props_test_...[0.008 s] ok proper_tests:784: native_type_props_test_...[0.147 s] ok proper_tests:787: native_type_props_test_...[0.148 s] ok proper_tests:788: native_type_props_test_...[0.139 s] ok proper_tests:790: native_type_props_test_...ok proper_tests:795: native_type_props_test_...[0.173 s] ok proper_tests:797: native_type_props_test_...[0.139 s] ok proper_tests:798: native_type_props_test_...[0.153 s] ok proper_tests:800: native_type_props_test_...[0.131 s] ok Shrinking tuples All elements are generators proper_tests:803: native_type_props_test_...[0.001 s] ok proper_tests:804: native_type_props_test_...ok [done in 0.007 s] Some elements are generators proper_tests:806: native_type_props_test_...[0.001 s] ok proper_tests:807: native_type_props_test_...ok proper_tests:808: native_type_props_test_...ok proper_tests:809: native_type_props_test_...ok [done in 0.013 s] All elements are consts proper_tests:811: native_type_props_test_...[0.001 s] ok proper_tests:812: native_type_props_test_...ok [done in 0.007 s] [done in 0.027 s] Shrinking fixed lists All elements are generators proper_tests:815: native_type_props_test_...[0.001 s] ok proper_tests:816: native_type_props_test_...ok proper_tests:817: native_type_props_test_...ok [done in 0.011 s] Some elements are generators proper_tests:819: native_type_props_test_...[0.001 s] ok proper_tests:820: native_type_props_test_...ok proper_tests:821: native_type_props_test_...ok proper_tests:822: native_type_props_test_...ok proper_tests:823: native_type_props_test_...ok proper_tests:824: native_type_props_test_...[0.001 s] ok [done in 0.020 s] All elements are consts proper_tests:826: native_type_props_test_...[0.001 s] ok proper_tests:827: native_type_props_test_...ok proper_tests:828: native_type_props_test_...ok [done in 0.010 s] [done in 0.041 s] proper_tests:829: native_type_props_test_...[0.002 s] ok proper_tests:830: native_type_props_test_...[0.010 s] ok proper_tests:832: native_type_props_test_...[0.014 s] ok proper_tests:833: native_type_props_test_...[0.004 s] ok proper_tests:834: native_type_props_test_...[0.003 s] ok proper_tests:835: native_type_props_test_...[0.004 s] ok proper_tests:836: native_type_props_test_...[0.004 s] ok proper_tests:837: native_type_props_test_...[0.016 s] ok proper_tests:850: true_props_test_...[0.002 s] ok proper_tests:851: true_props_test_...[0.006 s] ok proper_tests:852: true_props_test_...[0.163 s] ok proper_tests:853: true_props_test_...[0.162 s] ok proper_tests:854: true_props_test_...[0.186 s] ok proper_tests:855: true_props_test_...[0.183 s] ok proper_tests:856: true_props_test_...[0.007 s] ok proper_tests:857: true_props_test_...[0.009 s] ok proper_tests:858: true_props_test_...[0.007 s] ok proper_tests:859: true_props_test_...[0.025 s] ok proper_tests:862: true_props_test_...[0.006 s] ok proper_tests:865: true_props_test_...[0.008 s] ok proper_tests:868: true_props_test_...[0.008 s] ok proper_tests:870: true_props_test_...[0.003 s] ok proper_tests:872: true_props_test_...ok proper_tests:875: true_props_test_...ok proper_tests:879: true_props_test_...[0.003 s] ok proper_tests:880: true_props_test_...[0.005 s] ok proper_tests:881: true_props_test_...[0.004 s] ok proper_tests:882: true_props_test_...[0.003 s] ok proper_tests:883: true_props_test_...[0.008 s] ok proper_tests:884: true_props_test_...[0.004 s] ok proper_tests:889: true_props_test_...[0.234 s] ok proper_tests:890: true_props_test_...[0.157 s] ok proper_tests:891: true_props_test_...[0.277 s] ok proper_tests:892: true_props_test_...[0.203 s] ok proper_tests:893: true_props_test_...[0.630 s] ok proper_tests:894: true_props_test_...[0.693 s] ok proper_tests:895: true_props_test_...[1.488 s] ok proper_tests:896: true_props_test_...[0.533 s] ok proper_tests:899: map_in_nextstate3_test_...[0.195 s] ok proper_tests:900: map_in_nextstate3_test_...[0.507 s] ok proper_tests:903: false_props_test_...[0.002 s] ok proper_tests:905: false_props_test_...[0.001 s] ok proper_tests:909: false_props_test_...[0.002 s] ok proper_tests:912: false_props_test_...[0.002 s] ok proper_tests:917: false_props_test_...[0.001 s] ok proper_tests:918: false_props_test_...[0.002 s] ok proper_tests:923: false_props_test_...[0.909 s] ok proper_tests:924: false_props_test_...[0.006 s] ok proper_tests:925: false_props_test_...ok proper_tests:931: false_props_test_...[0.002 s] ok proper_tests:934: false_props_test_...ok proper_tests:938: false_props_test_...[0.001 s] ok proper_tests:940: false_props_test_...[0.001 s] ok proper_tests:942: false_props_test_...[0.001 s] ok proper_tests:944: false_props_test_...[0.001 s] ok proper_tests:946: false_props_test_...[0.007 s] ok proper_tests:949: false_props_test_...[0.001 s] ok proper_tests:950: false_props_test_...[0.001 s] ok proper_tests:951: false_props_test_...ok proper_tests:952: false_props_test_...[0.001 s] ok proper_tests:953: false_props_test_...[0.001 s] ok proper_tests:955: false_props_test_...[0.001 s] ok proper_tests:956: false_props_test_...[0.003 s] ok proper_tests:980: false_props_test_...[0.014 s] ok proper_tests:981: false_props_test_...[0.013 s] ok proper_tests:984: error_props_test_...ok proper_tests:986: error_props_test_...[0.014 s] ok proper_tests:988: error_props_test_...ok proper_tests:990: error_props_test_...ok proper_tests:992: error_props_test_...ok proper_tests:994: error_props_test_...[0.007 s] ok proper_tests:995: error_props_test_...[0.001 s] ok proper_tests:996: error_props_test_...ok proper_tests:997: error_props_test_...ok proper_tests:1000: error_props_test_...ok proper_tests:1004: error_props_test_...ok proper_tests:1008: error_props_test_...ok proper_tests:1013: eval_test_...ok proper_tests:1013: eval_test_...ok proper_tests:1013: eval_test_...ok proper_tests:1013: eval_test_...ok proper_tests:1013: eval_test_...ok proper_tests:1013: eval_test_...ok proper_tests:1013: eval_test_...ok proper_tests:1017: pretty_print_test_...ok proper_tests:1017: pretty_print_test_...ok proper_tests:1017: pretty_print_test_...ok proper_tests:1017: pretty_print_test_...ok proper_tests:1017: pretty_print_test_...ok proper_tests:1017: pretty_print_test_...ok proper_tests:1017: pretty_print_test_...ok proper_tests:1021: not_defined_test_...ok proper_tests:1021: not_defined_test_...ok proper_tests:1021: not_defined_test_...ok proper_tests:1021: not_defined_test_...ok proper_tests:1021: not_defined_test_...ok proper_tests:1025: options_test_...[0.004 s] ok proper_tests:1028: options_test_...[0.004 s] ok proper_tests:1031: options_test_...ok proper_tests:1032: options_test_...ok proper_tests:1033: options_test_...ok proper_tests:1034: options_test_...ok proper_tests:1037: options_test_...[0.001 s] ok proper_tests:1079: setup_test_...ok proper_tests:1080: setup_test_...ok proper_tests:1082: setup_test_...ok proper_tests:1083: setup_test_...ok proper_tests:1085: setup_test_...ok proper_tests:1086: setup_test_...ok proper_tests:1088: setup_test_...ok proper_tests:1089: setup_test_...ok proper_tests:1091: setup_test_...ok proper_tests:1092: setup_test_...ok proper_tests:1095: setup_test_...ok proper_tests:1096: setup_test_...ok proper_tests:1102: adts1_test_...[0.530 s] ok proper_tests:1112: adts3_test_...[2.289 s] ok proper_tests:1117: parameter_test_...[0.012 s] ok proper_tests:1125: zip_test_...ok proper_tests:1125: zip_test_...ok proper_tests:1125: zip_test_...ok proper_tests:1125: zip_test_...ok proper_tests:1125: zip_test_...ok proper_tests:1125: zip_test_...ok proper_tests:1129: command_names_test_...ok proper_tests:1129: command_names_test_...ok proper_tests:1129: command_names_test_...ok proper_tests:1133: command_names_parallel1_test_...ok proper_tests:1133: command_names_parallel1_test_...ok proper_tests:1133: command_names_parallel1_test_...ok proper_tests:1137: command_names_parallel2_test_...ok proper_tests:1137: command_names_parallel2_test_...ok proper_tests:1137: command_names_parallel2_test_...ok proper_tests:1141: command_names_parallel3_test_...ok proper_tests:1141: command_names_parallel3_test_...ok proper_tests:1141: command_names_parallel3_test_...ok proper_tests:1145: command_names_parallel4_test_...ok proper_tests:1145: command_names_parallel4_test_...ok proper_tests:1145: command_names_parallel4_test_...ok proper_tests:1149: valid_cmds_test_...ok proper_tests:1149: valid_cmds_test_...ok proper_tests:1149: valid_cmds_test_...ok proper_tests:1153: invalid_cmds_test_...ok proper_tests:1155: invalid_cmds_test_...ok proper_tests:1155: invalid_cmds_test_...ok proper_tests:1159: state_after_test_...ok proper_tests:1159: state_after_test_...ok proper_tests:1159: state_after_test_...ok proper_tests:1163: cannot_generate_commands_test_...[0.001 s] ok proper_tests:1167: can_generate_commands0_test_...[0.009 s] ok proper_tests:1171: can_generate_commands1_test_...[0.029 s] ok proper_tests:1176: can_generate_parallel_commands0_test_...[0.035 s] ok proper_tests:1181: can_generate_parallel_commands1_test_...[0.027 s] ok proper_tests:1187: seeded_runs_return_same_result_test_...[0.040 s] ok proper_tests:1191: run_valid_commands_test_...ok proper_tests:1191: run_valid_commands_test_...ok proper_tests:1191: run_valid_commands_test_...ok proper_tests:1195: run_invalid_precondition_test_...ok proper_tests:1200: run_init_error_test_...[0.003 s] ok proper_tests: run_postcondition_false_test...ok proper_tests: run_exception_test...ok proper_tests:1214: get_next_test_...ok proper_tests:1214: get_next_test_...ok proper_tests:1219: mk_first_comb_test_...ok proper_tests:1219: mk_first_comb_test_...ok proper_tests:1219: mk_first_comb_test_...ok proper_tests: args_not_defined_test...ok proper_tests:1227: command_props_test_...[1.861 s] ok proper_tests:1231: can_generate_fsm_commands_test_...[0.007 s] ok proper_tests:1231: can_generate_fsm_commands_test_...[0.012 s] ok proper_tests:1235: transition_target_test_...[0.011 s] ok proper_tests:1238: dollar_only_cp_test_...ok Test type with restrain proper_tests:1248: sampleshrink_test_ (Try another way to call shrinking (not sampleshrink))...[0.001 s] ok proper_tests:1251: sampleshrink_test_...ok [done in 0.007 s] proper_tests: max_size_test...[0.003 s] ok [done in 40.456 s] [done in 40.456 s] module 'proper_fsm' module 'to_remove' module 'proper_gen_next' module 'proper_gb_sets' module 'proper_sa' module 'command_props' module 'rec_test1' module 'proper_gb_trees' module 'post_false' module 'proper_queue' module 'rec_props_test1' module 'proper_ordsets' module 'proper_statem' module 'error_statem' module 'proper_array' module 'auto_export_test2' module 'pdict_statem' module 'proper_symb' module 'rec_test2' module 'symb_statem_maps' module 'proper_unicode' module 'types_test2' module 'ets_statem' module 'perf_max_size' module 'auto_export_test1' module 'prec_false' module 'ets_counter' module 'vararg' module 'proper_gen' module 'pdict_fsm' module 'no_native_parse_test' module 'proper_types' module 'improper_lists_statem' module 'proper_print' proper_print:37: stacktrace_test_...[0.001 s] ok proper_print:39: stacktrace_test_...[0.003 s] ok [done in 0.010 s] module 'symb_statem' module 'types_test1' module 'exists_tests' exists_tests: strategy_test...[0.001 s] ok exists_tests: forall_sa_test...ok exists_tests: exists_test...[0.012 s] ok exists_tests: not_exists_test...ok exists_tests: forall_targeted_test...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.008 s] ok exists_tests: combine_test...[0.022 s] ok exists_tests: biglist_test...[0.006 s] ok exists_tests: let_test...[0.062 s] ok exists_tests: suchthat_test...[0.023 s] ok exists_tests: union_test...[0.029 s] ok exists_tests: weighted_union_test...[0.030 s] ok exists_tests: tuple_test...[0.027 s] ok exists_tests: let_union_test...[0.065 s] ok exists_tests: lazy_test...[0.076 s] ok exists_tests: sized_test...[0.002 s] ok exists_tests: edge_test...[0.044 s] ok exists_tests:298: graph_test_...[1.058 s] ok exists_tests: improper_list_test...[0.090 s] ok exists_tests: reset_test...[0.021 s] ok exists_tests:366: graph_match1_test_...[3.204 s] ok exists_tests:372: graph_match2_test_...[1.453 s] ok exists_tests: whenfail_test...ok exists_tests: shrink1_test...[0.059 s] ok exists_tests: shrink2_test...ok exists_tests: shrink3_test...[0.012 s] ok exists_tests: shrink4_test...ok exists_tests: match_test...ok exists_tests: match_and_shrink_test...[0.020 s] ok exists_tests: let_in_nf_test...[0.001 s] ok exists_tests: count_crash_in_not_exists_as_failure_test...ok [done in 6.438 s] module 'let_tests' module 'proper_specs_tests' proper_specs_tests:49: check1_specs_test_...[0.140 s] ok proper_specs_tests:52: check2_specs_test_...[0.077 s] ok proper_specs_tests:55: check3_specs_test_...[0.003 s] ok proper_specs_tests: check1_specs_test...[0.137 s] ok proper_specs_tests: check2_specs_test...[0.072 s] ok proper_specs_tests: check3_specs_test...[0.003 s] ok [done in 0.450 s] ======================================================= All 564 tests passed. DEBUG: Reconstruct crypto [{fips_mode,false},{rand_cache_size,896}] DEBUG: Reconstruct stdlib [] DEBUG: Reconstruct rebar [] DEBUG: Reconstruct kernel [{logger_level,notice}, {logger_sasl_compatible,false}] DEBUG: No processes to kill DEBUG: Postdirs: [] + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + VSN=1.3 + export VSN + REBAR_VSN_CACHE_FILE=/builddir/build/BUILD/proper-1.3/vsn.cache + export REBAR_VSN_CACHE_FILE + REBAR_DEPS_PREFER_LIBS=TRUE + export REBAR_DEPS_PREFER_LIBS + /usr/bin/rebar ct skip_deps=true -vv DEBUG: Consult config file "/builddir/build/BUILD/proper-1.3/rebar.config" DEBUG: Rebar location: "/usr/bin/rebar" DEBUG: Consult config file "/builddir/build/BUILD/proper-1.3/src/proper.app.src" DEBUG: Available deps: [] DEBUG: Missing deps : [] DEBUG: Plugins requested while processing /builddir/build/BUILD/proper-1.3: [] DEBUG: Predirs: [] ==> proper-1.3 (ct) WARN: test directory present, but no common_test SUITES - skipping DEBUG: Postdirs: [] + exit 0 Processing files: erlang-proper-1.3-5.el8.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.wjyiIZ + umask 022 + cd /builddir/build/BUILD + cd proper-1.3 + DOCDIR=/builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/doc/erlang-proper + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/doc/erlang-proper + cp -pr doc /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/doc/erlang-proper + cp -pr examples /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/doc/erlang-proper + cp -pr README.md /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/doc/erlang-proper + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.Pi0mUA + umask 022 + cd /builddir/build/BUILD + cd proper-1.3 + LICENSEDIR=/builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/licenses/erlang-proper + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/licenses/erlang-proper + cp -pr COPYING /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/licenses/erlang-proper + exit 0 ERROR: Cant find erlang:!/2 while processing '/builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/erlang/lib/proper-1.3/ebin/proper.beam' ERROR: Cant find erlang:!/2 while processing '/builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch/usr/share/erlang/lib/proper-1.3/ebin/proper_transformer.beam' Provides: erlang-proper = 1.3-5.el8 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 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch Wrote: /builddir/build/RPMS/erlang-proper-1.3-5.el8.noarch.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.amQJBt + umask 022 + cd /builddir/build/BUILD + cd proper-1.3 + /usr/bin/rm -rf /builddir/build/BUILDROOT/erlang-proper-1.3-5.el8.noarch + exit 0 Child return code was: 0