D: [iurt_root_command] chroot
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
Installing /home/iurt/rpmbuild/SRPMS/erlang-proper-1.3-4.mga9.src.rpm
Building target platforms: aarch64
Building for target aarch64
Executing(%prep): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.HXeBVI
+ umask 022
+ cd /home/iurt/rpmbuild/BUILD
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ cd /home/iurt/rpmbuild/BUILD
+ rm -rf proper-1.3
+ /usr/bin/gzip -dc /home/iurt/rpmbuild/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 /home/iurt/rpmbuild/SOURCES/erlang-proper-0001-Disable-one-test-case.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.iaIw7Z
+ umask 022
+ cd /home/iurt/rpmbuild/BUILD
+ cd proper-1.3
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ ./make_doc
./temp_src/proper.erl, function grow_size/1: at line 480: warning: EDoc @type tags are deprecated. Please use -type attributes instead.
./temp_src/proper.erl, function grow_size/1: at line 491: warning: EDoc @type tags are deprecated. Please use -type attributes instead.
./temp_src/proper.erl, function numtests/2: at line 1029: warning: EDoc @spec tags are deprecated. Please use -spec attributes instead.
./temp_src/proper.erl, function fails/1: at line 1036: warning: EDoc @spec tags are deprecated. Please use -spec attributes instead.
./temp_src/proper.erl, function on_output/2: at line 1044: warning: EDoc @spec tags are deprecated. Please use -spec attributes instead.
./temp_src/proper.erl, function conjunction/1: at line 1070: warning: EDoc @spec tags are deprecated. Please use -spec attributes instead.
./temp_src/proper.erl, function collect/2: at line 1087: warning: EDoc @spec tags are deprecated. Please use -spec attributes instead.
./temp_src/proper.erl, function collect/3: at line 1094: warning: EDoc @spec tags are deprecated. Please use -spec attributes instead.
./temp_src/proper.erl, function aggregate/2: at line 1101: warning: EDoc @spec tags are deprecated. Please use -spec attributes instead.
./temp_src/proper.erl, function aggregate/3: at line 1108: warning: EDoc @spec tags are deprecated. Please use -spec attributes instead.
./temp_src/proper.erl, function classify/3: at line 1116: warning: EDoc @spec tags are deprecated. Please use -spec attributes instead.
./temp_src/proper.erl, function measure/3: at line 1129: warning: EDoc @spec tags are deprecated. Please use -spec attributes instead.
./temp_src/proper.erl, function equals/2: at line 1153: warning: EDoc @spec tags are deprecated. Please use -spec attributes instead.
./temp_src/proper_fsm.erl, function commands/1: at line 194: warning: EDoc @type tags are deprecated. Please use -type attributes instead.
./temp_src/proper_fsm.erl, function commands/1: at line 202: warning: EDoc @type tags are deprecated. Please use -type attributes instead.
./temp_src/proper_statem.erl, function commands/1: at line 271: warning: EDoc @type tags are deprecated. Please use -type attributes instead.
./temp_src/proper_statem.erl, function commands/1: at line 274: warning: EDoc @type tags are deprecated. Please use -type attributes instead.
./temp_src/proper_statem.erl, function commands/1: at line 278: warning: EDoc @type tags are deprecated. Please use -type attributes instead.
./temp_src/proper_symb.erl, function eval/1: at line 186: warning: EDoc @type tags are deprecated. Please use -type attributes instead.
./temp_src/proper_types.erl, function cook_outer/1: at line 302: warning: EDoc @type tags are deprecated. Please use -type attributes instead.
+ '[' '!' -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 -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables'
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables'
+ export FCFLAGS
+ LDFLAGS=' -Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-O1 -Wl,--build-id -Wl,--enable-new-dtags'
+ export LDFLAGS
+ VSN=1.3
+ export VSN
+ REBAR_VSN_CACHE_FILE=/home/iurt/rpmbuild/BUILD/proper-1.3/vsn.cache
+ export REBAR_VSN_CACHE_FILE
+ echo '{{git, "/home/iurt/rpmbuild/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 "/home/iurt/rpmbuild/BUILD/proper-1.3/rebar.config"
DEBUG: Rebar location: "/usr/bin/rebar"
DEBUG: Consult config file "/home/iurt/rpmbuild/BUILD/proper-1.3/src/proper.app.src"
DEBUG: Available deps: []
DEBUG: Missing deps : []
DEBUG: Plugins requested while processing /home/iurt/rpmbuild/BUILD/proper-1.3: []
DEBUG: Predirs: []
==> proper-1.3 (compile)
DEBUG: Matched required ERTS version: 12.0.3 -> .*
DEBUG: Matched required OTP release: 24 -> .*
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_array.erl
Compiled src/proper_dict.erl
Compiled src/proper_arith.erl
Compiled src/proper_fsm.erl
Compiled src/proper_gb_sets.erl
Compiled src/proper_gb_trees.erl
Compiled src/proper_gen.erl
Compiled src/proper_orddict.erl
Compiled src/proper_ordsets.erl
Compiled src/proper_gen_next.erl
Compiled src/proper_queue.erl
Compiled src/proper_prop_remover.erl
Compiled src/proper_sets.erl
Compiled src/proper_sa.erl
Compiled src/proper.erl
Compiled src/proper_shrink.erl
Compiled src/proper_symb.erl
Compiled src/proper_statem.erl
Compiled src/proper_unicode.erl
Compiled src/proper_unused_imports_remover.erl
DEBUG: Worker exited cleanly
Compiled src/proper_transformer.erl
DEBUG: Worker exited cleanly
src/proper_typeserver.erl:2365:24: Warning: variable '_K' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 2365| SameKVPair = fun({{_K,V1},{_K,V2}}) -> same_ret_type(V1,V2);
% | ^
src/proper_typeserver.erl:2365:32: Warning: variable '_K' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 2365| SameKVPair = fun({{_K,V1},{_K,V2}}) -> same_ret_type(V1,V2);
% | ^
src/proper_typeserver.erl:2365:24: Warning: variable '_K' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
src/proper_typeserver.erl:2365:32: Warning: variable '_K' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
Compiled src/proper_typeserver.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 "/home/iurt/rpmbuild/BUILD/proper-1.3/rebar.config"
DEBUG: Rebar location: "/usr/bin/rebar"
DEBUG: Consult config file "/home/iurt/rpmbuild/BUILD/proper-1.3/src/proper.app.src"
DEBUG: Available deps: []
DEBUG: Missing deps : []
DEBUG: Plugins requested while processing /home/iurt/rpmbuild/BUILD/proper-1.3: []
DEBUG: Predirs: []
==> proper-1.3 (doc)
INFO: Skipping regeneration of edocs for proper
DEBUG: Postdirs: []
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.s745e4
+ umask 022
+ cd /home/iurt/rpmbuild/BUILD
+ '[' 1 -eq 1 ']'
+ '[' /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64 '!=' / ']'
+ rm -rf /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64
++ dirname /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64
+ mkdir -p /home/iurt/rpmbuild/BUILDROOT
+ mkdir /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64
+ cd proper-1.3
+ '[' 1 -eq 1 ']'
+ '[' proper '!=' '' ']'
+ /usr/bin/mkdir -p /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/usr/share/erlang/lib/proper-1.3/
+ /usr/bin/mkdir -p /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/usr/share/erlang/lib/proper-1.3/ebin/
+ '[' -f ebin/proper.app ']'
+ /usr/bin/install -m 0644 -p ebin/proper.app /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/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 /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/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 /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/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 /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/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 /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/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 /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/usr/share/erlang/lib/proper-1.3/include/proper_param_adts.hrl
+ '[' -d priv/ ']'
+ /usr/bin/find-debuginfo -j8 --strict-build-id -m -i --build-id-seed 1.3-4.mga9 --unique-debug-suffix -1.3-4.mga9.aarch64 --unique-debug-src-base erlang-proper-1.3-4.mga9.aarch64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /home/iurt/rpmbuild/BUILD/proper-1.3
+ /usr/lib/rpm/check-buildroot
+ '[' -n '' ']'
+ /usr/share/spec-helper/clean_files
+ '[' -n '' ']'
+ /usr/share/spec-helper/compress_files .xz
+ '[' -n '' ']'
+ /usr/share/spec-helper/relink_symlinks
+ '[' -n '' ']'
+ /usr/share/spec-helper/clean_perl
+ '[' -n '' ']'
+ /usr/share/spec-helper/lib_symlinks
+ '[' -n '' ']'
+ /usr/share/spec-helper/gprintify
+ '[' -n '' ']'
+ /usr/share/spec-helper/fix_mo
+ '[' -n '' ']'
+ /usr/share/spec-helper/fix_pamd
+ '[' -n '' ']'
+ /usr/share/spec-helper/remove_info_dir
+ '[' -n '' ']'
+ /usr/share/spec-helper/fix_eol
+ '[' -n '' ']'
+ /usr/share/spec-helper/check_desktop_files
+ '[' -n '' ']'
+ /usr/share/spec-helper/check_elf_files
+ /usr/lib/rpm/brp-python-bytecompile /usr/bin/python3 1 0
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Executing(%check): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.1lDvWc
+ umask 022
+ cd /home/iurt/rpmbuild/BUILD
+ cd proper-1.3
+ '[' 1 -eq 1 ']'
+ CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables'
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables'
+ export FCFLAGS
+ LDFLAGS=' -Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-O1 -Wl,--build-id -Wl,--enable-new-dtags'
+ export LDFLAGS
+ VSN=1.3
+ export VSN
+ REBAR_VSN_CACHE_FILE=/home/iurt/rpmbuild/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 "/home/iurt/rpmbuild/BUILD/proper-1.3/rebar.config"
DEBUG: Rebar location: "/usr/bin/rebar"
DEBUG: Consult config file "/home/iurt/rpmbuild/BUILD/proper-1.3/src/proper.app.src"
DEBUG: Available deps: []
DEBUG: Missing deps : []
DEBUG: Plugins requested while processing /home/iurt/rpmbuild/BUILD/proper-1.3: []
DEBUG: Predirs: []
==> proper-1.3 (eunit)
DEBUG: Matched required ERTS version: 12.0.3 -> .*
DEBUG: Matched required OTP release: 24 -> .*
DEBUG: Min OTP version unconfigured
DEBUG: Triq availability: true
DEBUG: PropEr availability: true
DEBUG: QuickCheck availability: false
INFO: sh info:
cwd: "/home/iurt/rpmbuild/BUILD/proper-1.3"
cmd: cp -R src/proper.erl src/proper_arith.erl src/proper_array.erl src/proper_dict.erl src/proper_fsm.erl src/proper_gb_sets.erl src/proper_gb_trees.erl src/proper_gen.erl src/proper_gen_next.erl src/proper_orddict.erl src/proper_ordsets.erl src/proper_prop_remover.erl src/proper_queue.erl src/proper_sa.erl src/proper_sets.erl src/proper_shrink.erl src/proper_statem.erl src/proper_symb.erl src/proper_target.erl src/proper_transformer.erl src/proper_types.erl src/proper_typeserver.erl src/proper_unicode.erl src/proper_unused_imports_remover.erl src/vararg.erl test/auto_export_test1.erl test/auto_export_test2.erl test/command_props.erl test/error_statem.erl test/ets_counter.erl test/ets_statem.erl test/exists_tests.erl test/improper_lists_statem.erl test/let_tests.erl test/no_native_parse_test.erl test/nogen_statem.erl test/numbers_fsm.erl test/pdict_fsm.erl test/pdict_statem.erl test/perf_max_size.erl test/post_false.erl test/prec_false.erl test/proper_print.erl test/proper_specs_tests.erl test/rec_props_test1.erl test/rec_props_test2.erl test/rec_test1.erl test/rec_test2.erl test/symb_statem.erl test/symb_statem_maps.erl test/to_remove.erl test/types_test1.erl test/types_test2.erl test/weird_types.erl test/proper_tests.erl ".eunit"
DEBUG: opts: [{use_stdout,false},abort_on_error]
DEBUG: Port Cmd: "cp -R src/proper.erl src/proper_arith.erl src/proper_array.erl src/proper_dict.erl src/proper_fsm.erl src/proper_gb_sets.erl src/proper_gb_trees.erl src/proper_gen.erl src/proper_gen_next.erl src/proper_orddict.erl src/proper_ordsets.erl src/proper_prop_remover.erl src/proper_queue.erl src/proper_sa.erl src/proper_sets.erl src/proper_shrink.erl src/proper_statem.erl src/proper_symb.erl src/proper_target.erl src/proper_transformer.erl src/proper_types.erl src/proper_typeserver.erl src/proper_unicode.erl src/proper_unused_imports_remover.erl src/vararg.erl test/auto_export_test1.erl test/auto_export_test2.erl test/command_props.erl test/error_statem.erl test/ets_counter.erl test/ets_statem.erl test/exists_tests.erl test/improper_lists_statem.erl test/let_tests.erl test/no_native_parse_test.erl test/nogen_statem.erl test/numbers_fsm.erl test/pdict_fsm.erl test/pdict_statem.erl test/perf_max_size.erl test/post_false.erl test/prec_false.erl test/proper_print.erl test/proper_specs_tests.erl test/rec_props_test1.erl test/rec_props_test2.erl test/rec_test1.erl test/rec_test2.erl test/symb_statem.erl test/symb_statem_maps.erl test/to_remove.erl test/types_test1.erl test/types_test2.erl test/weird_types.erl test/proper_tests.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,'TRIQ'},
{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_statem.erl","src/proper_symb.erl",
"src/proper_target.erl",
"src/proper_unused_imports_remover.erl",
"src/proper_types.erl","src/proper.erl",
"src/proper_unicode.erl"]
Compiled src/vararg.erl
Compiled src/vararg.erl
Compiled src/proper_transformer.erl
Compiled src/proper_prop_remover.erl
src/proper_typeserver.erl:2365:24: Warning: variable '_K' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 2365| SameKVPair = fun({{_K,V1},{_K,V2}}) -> same_ret_type(V1,V2);
% | ^
src/proper_typeserver.erl:2365:32: Warning: variable '_K' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 2365| SameKVPair = fun({{_K,V1},{_K,V2}}) -> same_ret_type(V1,V2);
% | ^
src/proper_typeserver.erl:2365:24: Warning: variable '_K' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
src/proper_typeserver.erl:2365:32: Warning: variable '_K' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
Compiled src/proper_typeserver.erl
Compiled src/proper_statem.erl
Compiled src/proper_symb.erl
Compiled src/proper_target.erl
Compiled src/proper_unused_imports_remover.erl
Compiled src/proper_types.erl
Compiled src/proper.erl
Compiled src/proper_unicode.erl
DEBUG: Starting 3 compile worker(s)
Compiled src/proper_dict.erl
Compiled src/proper_array.erl
Compiled src/proper_gb_sets.erl
Compiled src/proper_gb_trees.erl
Compiled src/proper_fsm.erl
Compiled src/proper_arith.erl
Compiled src/proper_orddict.erl
Compiled src/proper_ordsets.erl
Compiled src/proper_queue.erl
Compiled src/proper_sa.erl
Compiled src/proper_sets.erl
Compiled src/proper_gen.erl
test/auto_export_test1.erl:34:1: Warning: missing specification for function prop_1/0
% 34| prop_1() -> ?FORALL(_, integer(), true).
% | ^
test/auto_export_test1.erl:34:1: Warning: missing specification for function prop_1/0
Compiled test/auto_export_test1.erl
test/auto_export_test2.erl:35:1: Warning: function prop_1/0 is unused
% 35| prop_1() -> ?FORALL(_, integer(), true).
% | ^
test/auto_export_test2.erl:35:1: Warning: function prop_1/0 is unused
Compiled test/auto_export_test2.erl
Compiled src/proper_gen_next.erl
test/error_statem.erl:28:2: Warning: export_all flag enabled - all functions will be exported
% 28| -compile(export_all).
% | ^
test/error_statem.erl:32:2: Warning: record state has field(s) without type information
% 32| -record(state, {step = 0}).
% | ^
test/error_statem.erl:28:2: Warning: export_all flag enabled - all functions will be exported
test/error_statem.erl:32:2: Warning: record state has field(s) without type information
Compiled test/error_statem.erl
test/ets_counter.erl:32:2: Warning: export_all flag enabled - all functions will be exported
% 32| -compile(export_all).
% | ^
test/ets_counter.erl:32:2: Warning: export_all flag enabled - all functions will be exported
Compiled test/ets_counter.erl
test/command_props.erl:43:1: Warning: missing specification for function prop_index/0
% 43| prop_index() ->
% | ^
test/command_props.erl:48:1: Warning: missing specification for function prop_all_insertions/0
% 48| prop_all_insertions() ->
% | ^
test/command_props.erl:60:1: Warning: missing specification for function prop_insert_all/0
% 60| prop_insert_all() ->
% | ^
test/command_props.erl:75:1: Warning: missing specification for function prop_zip/0
% 75| prop_zip() ->
% | ^
test/command_props.erl:90:1: Warning: missing specification for function prop_state_after/0
% 90| prop_state_after() ->
% | ^
test/command_props.erl:99:1: Warning: missing specification for function prop_parallel_ets_counter/0
% 99| prop_parallel_ets_counter() ->
% | ^
test/command_props.erl:107:1: Warning: missing specification for function prop_check_true/0
% 107| prop_check_true() ->
% | ^
test/command_props.erl:43:1: Warning: missing specification for function prop_index/0
test/command_props.erl:48:1: Warning: missing specification for function prop_all_insertions/0
test/command_props.erl:60:1: Warning: missing specification for function prop_insert_all/0
test/command_props.erl:75:1: Warning: missing specification for function prop_zip/0
test/command_props.erl:90:1: Warning: missing specification for function prop_state_after/0
test/command_props.erl:99:1: Warning: missing specification for function prop_parallel_ets_counter/0
test/command_props.erl:107:1: Warning: missing specification for function prop_check_true/0
Compiled test/command_props.erl
Compiled src/proper_shrink.erl
test/improper_lists_statem.erl:16:1: Warning: missing specification for function command/1
% 16| command(_State) ->
% | ^
test/improper_lists_statem.erl:19:1: Warning: missing specification for function initial_state/0
% 19| initial_state() ->
% | ^
test/improper_lists_statem.erl:22:1: Warning: missing specification for function next_state/3
% 22| next_state(State, _, _) ->
% | ^
test/improper_lists_statem.erl:25:1: Warning: missing specification for function precondition/2
% 25| precondition(_, _) ->
% | ^
test/improper_lists_statem.erl:28:1: Warning: missing specification for function postcondition/3
% 28| postcondition(_, _, _) ->
% | ^
test/improper_lists_statem.erl:31:1: Warning: missing specification for function foo/1
% 31| foo(_Something) ->
% | ^
test/improper_lists_statem.erl:34:1: Warning: missing specification for function prop_simple/0
% 34| prop_simple() ->
% | ^
test/improper_lists_statem.erl:16:1: Warning: missing specification for function command/1
test/improper_lists_statem.erl:19:1: Warning: missing specification for function initial_state/0
test/improper_lists_statem.erl:22:1: Warning: missing specification for function next_state/3
test/improper_lists_statem.erl:25:1: Warning: missing specification for function precondition/2
test/improper_lists_statem.erl:28:1: Warning: missing specification for function postcondition/3
test/improper_lists_statem.erl:31:1: Warning: missing specification for function foo/1
test/improper_lists_statem.erl:34:1: Warning: missing specification for function prop_simple/0
Compiled test/improper_lists_statem.erl
test/let_tests.erl:36:1: Warning: missing specification for function prop_1/0
% 36| prop_1() ->
% | ^
test/let_tests.erl:39:2: Warning: type rng() is unused
% 39| -type rng() :: 17..54.
% | ^
test/let_tests.erl:43:1: Warning: missing specification for function prop_2/0
% 43| prop_2() ->
% | ^
test/let_tests.erl:36:1: Warning: missing specification for function prop_1/0
test/let_tests.erl:39:2: Warning: type rng() is unused
test/let_tests.erl:43:1: Warning: missing specification for function prop_2/0
Compiled test/let_tests.erl
test/no_native_parse_test.erl:36:1: Warning: missing specification for function prop_1/0
% 36| prop_1() -> ?FORALL(_, types_test1:exp1(), true).
% | ^
test/no_native_parse_test.erl:36:1: Warning: missing specification for function prop_1/0
Compiled test/no_native_parse_test.erl
test/nogen_statem.erl:28:2: Warning: export_all flag enabled - all functions will be exported
% 28| -compile(export_all).
% | ^
test/nogen_statem.erl:28:2: Warning: export_all flag enabled - all functions will be exported
Compiled test/nogen_statem.erl
test/numbers_fsm.erl:29:2: Warning: export_all flag enabled - all functions will be exported
% 29| -compile(export_all).
% | ^
test/numbers_fsm.erl:29:2: Warning: export_all flag enabled - all functions will be exported
Compiled test/numbers_fsm.erl
test/ets_statem.erl:79:1: Warning: missing specification for function initial_state/1
% 79| initial_state(Type) ->
% | ^
test/ets_statem.erl:82:1: Warning: missing specification for function command/1
% 82| command(S) ->
% | ^
test/ets_statem.erl:92:1: Warning: missing specification for function precondition/2
% 92| precondition(S, {call,_,update_counter,[?TAB,Key,_Incr]}) ->
% | ^
test/ets_statem.erl:103:1: Warning: missing specification for function next_state/3
% 103| next_state(S, _V, {call,_,update_counter,[?TAB,Key,Incr]}) ->
% | ^
test/ets_statem.erl:178:1: Warning: missing specification for function postcondition/3
% 178| postcondition(S, {call,_,update_counter,[?TAB,Key,Incr]}, Res) ->
% | ^
test/ets_statem.erl:221:1: Warning: missing specification for function prop_ets/0
% 221| prop_ets() ->
% | ^
test/ets_statem.erl:234:1: Warning: missing specification for function prop_parallel_ets/0
% 234| prop_parallel_ets() ->
% | ^
test/ets_statem.erl:250:1: Warning: missing specification for function set_up/0
% 250| set_up() ->
% | ^
test/ets_statem.erl:256:1: Warning: missing specification for function clean_up/0
% 256| clean_up() -> ok.
% | ^
test/ets_statem.erl:79:1: Warning: missing specification for function initial_state/1
test/ets_statem.erl:82:1: Warning: missing specification for function command/1
test/ets_statem.erl:92:1: Warning: missing specification for function precondition/2
test/ets_statem.erl:103:1: Warning: missing specification for function next_state/3
test/ets_statem.erl:178:1: Warning: missing specification for function postcondition/3
test/ets_statem.erl:221:1: Warning: missing specification for function prop_ets/0
test/ets_statem.erl:234:1: Warning: missing specification for function prop_parallel_ets/0
test/ets_statem.erl:250:1: Warning: missing specification for function set_up/0
test/ets_statem.erl:256:1: Warning: missing specification for function clean_up/0
Compiled test/ets_statem.erl
test/pdict_fsm.erl:42:1: Warning: missing specification for function test/0
% 42| test() ->
% | ^
test/pdict_fsm.erl:45:1: Warning: missing specification for function test/1
% 45| test(N) ->
% | ^
test/pdict_fsm.erl:48:1: Warning: missing specification for function prop_pdict/0
% 48| prop_pdict() ->
% | ^
test/pdict_fsm.erl:61:1: Warning: missing specification for function set_up/0
% 61| set_up() -> ok.
% | ^
test/pdict_fsm.erl:63:1: Warning: missing specification for function clean_up/0
% 63| clean_up() ->
% | ^
test/pdict_fsm.erl:72:1: Warning: missing specification for function initial_state/0
% 72| initial_state() -> empty_pdict.
% | ^
test/pdict_fsm.erl:74:1: Warning: missing specification for function initial_state_data/0
% 74| initial_state_data() -> [].
% | ^
test/pdict_fsm.erl:76:1: Warning: missing specification for function empty_pdict/1
% 76| empty_pdict(_S) ->
% | ^
test/pdict_fsm.erl:79:1: Warning: missing specification for function non_empty_pdict/1
% 79| non_empty_pdict(S) ->
% | ^
test/pdict_fsm.erl:85:1: Warning: missing specification for function precondition/4
% 85| precondition(non_empty_pdict, non_empty_pdict, S, {call,erlang,erase,[Key]}) ->
% | ^
test/pdict_fsm.erl:94:1: Warning: missing specification for function postcondition/5
% 94| postcondition(_, _, Props, {call,erlang,put,[Key,_]}, undefined) ->
% | ^
test/pdict_fsm.erl:103:1: Warning: missing specification for function next_state_data/5
% 103| next_state_data(_, _, Props, _Var, {call,erlang,put,[Key,Value]}) ->
% | ^
test/pdict_fsm.erl:113:1: Warning: missing specification for function weight/3
% 113| weight(_, _, {call,erlang,get,_}) -> 5;
% | ^
test/pdict_fsm.erl:117:1: Warning: missing specification for function sample_commands/0
% 117| sample_commands() ->
% | ^
test/pdict_fsm.erl:42:1: Warning: missing specification for function test/0
test/pdict_fsm.erl:45:1: Warning: missing specification for function test/1
test/pdict_fsm.erl:48:1: Warning: missing specification for function prop_pdict/0
test/pdict_fsm.erl:61:1: Warning: missing specification for function set_up/0
test/pdict_fsm.erl:63:1: Warning: missing specification for function clean_up/0
test/pdict_fsm.erl:72:1: Warning: missing specification for function initial_state/0
test/pdict_fsm.erl:74:1: Warning: missing specification for function initial_state_data/0
test/pdict_fsm.erl:76:1: Warning: missing specification for function empty_pdict/1
test/pdict_fsm.erl:79:1: Warning: missing specification for function non_empty_pdict/1
test/pdict_fsm.erl:85:1: Warning: missing specification for function precondition/4
test/pdict_fsm.erl:94:1: Warning: missing specification for function postcondition/5
test/pdict_fsm.erl:103:1: Warning: missing specification for function next_state_data/5
test/pdict_fsm.erl:113:1: Warning: missing specification for function weight/3
test/pdict_fsm.erl:117:1: Warning: missing specification for function sample_commands/0
Compiled test/pdict_fsm.erl
test/perf_max_size.erl:36:1: Warning: missing specification for function prop_identity/0
% 36| prop_identity() ->
% | ^
test/perf_max_size.erl:36:1: Warning: missing specification for function prop_identity/0
Compiled test/perf_max_size.erl
test/post_false.erl:28:2: Warning: export_all flag enabled - all functions will be exported
% 28| -compile(export_all).
% | ^
test/post_false.erl:28:2: Warning: export_all flag enabled - all functions will be exported
Compiled test/post_false.erl
test/pdict_statem.erl:42:1: Warning: missing specification for function test/0
% 42| test() ->
% | ^
test/pdict_statem.erl:45:1: Warning: missing specification for function test/1
% 45| test(N) ->
% | ^
test/pdict_statem.erl:48:1: Warning: missing specification for function prop_pdict/0
% 48| prop_pdict() ->
% | ^
test/pdict_statem.erl:59:1: Warning: missing specification for function set_up/0
% 59| set_up() -> ok.
% | ^
test/pdict_statem.erl:61:1: Warning: missing specification for function clean_up/0
% 61| clean_up() ->
% | ^
test/pdict_statem.erl:67:1: Warning: missing specification for function initial_state/0
% 67| initial_state() ->
% | ^
test/pdict_statem.erl:70:1: Warning: missing specification for function command/1
% 70| command([]) ->
% | ^
test/pdict_statem.erl:79:1: Warning: missing specification for function precondition/2
% 79| precondition(_, {call,erlang,put,[_,_]}) ->
% | ^
test/pdict_statem.erl:86:1: Warning: missing specification for function postcondition/3
% 86| postcondition(Props, {call,erlang,put,[Key,_]}, undefined) ->
% | ^
test/pdict_statem.erl:95:1: Warning: missing specification for function next_state/3
% 95| next_state(Props, _Var, {call,erlang,put,[Key,Value]}) ->
% | ^
test/pdict_statem.erl:42:1: Warning: missing specification for function test/0
test/pdict_statem.erl:45:1: Warning: missing specification for function test/1
test/pdict_statem.erl:48:1: Warning: missing specification for function prop_pdict/0
test/pdict_statem.erl:59:1: Warning: missing specification for function set_up/0
test/pdict_statem.erl:61:1: Warning: missing specification for function clean_up/0
test/pdict_statem.erl:67:1: Warning: missing specification for function initial_state/0
test/pdict_statem.erl:70:1: Warning: missing specification for function command/1
test/pdict_statem.erl:79:1: Warning: missing specification for function precondition/2
test/pdict_statem.erl:86:1: Warning: missing specification for function postcondition/3
test/pdict_statem.erl:95:1: Warning: missing specification for function next_state/3
Compiled test/pdict_statem.erl
test/prec_false.erl:28:2: Warning: export_all flag enabled - all functions will be exported
% 28| -compile(export_all).
% | ^
test/prec_false.erl:28:2: 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:1: Warning: missing specification for function prop_strategy/0
% 36| prop_strategy() ->
% | ^
test/exists_tests.erl:44:1: Warning: missing specification for function prop_forall_sa/0
% 44| prop_forall_sa() ->
% | ^
test/exists_tests.erl:51:1: Warning: missing specification for function strategy_test/0
% 51| strategy_test() ->
% | ^
test/exists_tests.erl:56:1: Warning: missing specification for function forall_sa_test/0
% 56| forall_sa_test() ->
% | ^
test/exists_tests.erl:62:1: Warning: missing specification for function prop_exists/0
% 62| prop_exists() ->
% | ^
test/exists_tests.erl:70:1: Warning: missing specification for function prop_not_exists/0
% 70| prop_not_exists() ->
% | ^
test/exists_tests.erl:77:1: Warning: missing specification for function prop_forall_targeted/0
% 77| prop_forall_targeted() ->
% | ^
test/exists_tests.erl:84:1: Warning: missing specification for function exists_test/0
% 84| exists_test() ->
% | ^
test/exists_tests.erl:87:1: Warning: missing specification for function not_exists_test/0
% 87| not_exists_test() ->
% | ^
test/exists_tests.erl:92:1: Warning: missing specification for function forall_targeted_test/0
% 92| forall_targeted_test() ->
% | ^
test/exists_tests.erl:98:1: Warning: missing specification for function not_exists_const_temp_test/0
% 98| not_exists_const_temp_test() ->
% | ^
test/exists_tests.erl:105:1: Warning: missing specification for function hillclimbing_test/0
% 105| hillclimbing_test() ->
% | ^
test/exists_tests.erl:110:1: Warning: missing specification for function hillclimbing2_test/0
% 110| hillclimbing2_test() ->
% | ^
test/exists_tests.erl:117:1: Warning: missing specification for function hillclimbing3_test/0
% 117| hillclimbing3_test() ->
% | ^
test/exists_tests.erl:124:1: Warning: missing specification for function default_accept_function_test/0
% 124| default_accept_function_test() ->
% | ^
test/exists_tests.erl:179:1: Warning: missing specification for function prop_big_list/0
% 179| prop_big_list() ->
% | ^
test/exists_tests.erl:193:1: Warning: missing specification for function prop_let/0
% 193| prop_let() ->
% | ^
test/exists_tests.erl:208:1: Warning: missing specification for function prop_suchthat/0
% 208| prop_suchthat() ->
% | ^
test/exists_tests.erl:223:1: Warning: missing specification for function prop_union/0
% 223| prop_union() ->
% | ^
test/exists_tests.erl:232:1: Warning: missing specification for function prop_weighted_union/0
% 232| prop_weighted_union() ->
% | ^
test/exists_tests.erl:241:1: Warning: missing specification for function prop_tuple/0
% 241| prop_tuple() ->
% | ^
test/exists_tests.erl:255:1: Warning: missing specification for function prop_union_let/0
% 255| prop_union_let() ->
% | ^
test/exists_tests.erl:267:1: Warning: missing specification for function prop_lazy/0
% 267| prop_lazy() ->
% | ^
test/exists_tests.erl:278:1: Warning: missing specification for function prop_sized/0
% 278| prop_sized() ->
% | ^
test/exists_tests.erl:292:1: Warning: missing specification for function prop_edge/0
% 292| prop_edge() ->
% | ^
test/exists_tests.erl:300:1: Warning: missing specification for function prop_graph/0
% 300| prop_graph() ->
% | ^
test/exists_tests.erl:326:1: Warning: missing specification for function prop_il/0
% 326| prop_il() ->
% | ^
test/exists_tests.erl:335:1: Warning: missing specification for function prop_reset/0
% 335| prop_reset() ->
% | ^
test/exists_tests.erl:348:1: Warning: missing specification for function reset_test/0
% 348| reset_test() ->
% | ^
test/exists_tests.erl:374:1: Warning: missing specification for function prop_graph_match_perf/0
% 374| prop_graph_match_perf() ->
% | ^
test/exists_tests.erl:382:1: Warning: missing specification for function prop_graph_match_corr/0
% 382| prop_graph_match_corr() ->
% | ^
test/exists_tests.erl:402:1: Warning: missing specification for function prop_whenfail/0
% 402| prop_whenfail() ->
% | ^
test/exists_tests.erl:411:1: Warning: missing specification for function prop_shrink1/0
% 411| prop_shrink1() ->
% | ^
test/exists_tests.erl:424:1: Warning: missing specification for function prop_shrink2/0
% 424| prop_shrink2() ->
% | ^
test/exists_tests.erl:437:1: Warning: missing specification for function prop_shrink3/0
% 437| prop_shrink3() ->
% | ^
test/exists_tests.erl:445:1: Warning: missing specification for function prop_shrink4/0
% 445| prop_shrink4() ->
% | ^
test/exists_tests.erl:455:1: Warning: missing specification for function prop_match/0
% 455| prop_match() ->
% | ^
test/exists_tests.erl:473:1: Warning: missing specification for function prop_match_and_shrink/0
% 473| prop_match_and_shrink() ->
% | ^
test/exists_tests.erl:492:1: Warning: missing specification for function prop_let_nf/0
% 492| prop_let_nf() ->
% | ^
test/exists_tests.erl:505:1: Warning: missing specification for function prop_not_exists_crash/0
% 505| prop_not_exists_crash() ->
% | ^
test/exists_tests.erl:0: Warning: missing specification for function test/0
test/exists_tests.erl:36:1: Warning: missing specification for function prop_strategy/0
test/exists_tests.erl:44:1: Warning: missing specification for function prop_forall_sa/0
test/exists_tests.erl:51:1: Warning: missing specification for function strategy_test/0
test/exists_tests.erl:56:1: Warning: missing specification for function forall_sa_test/0
test/exists_tests.erl:62:1: Warning: missing specification for function prop_exists/0
test/exists_tests.erl:70:1: Warning: missing specification for function prop_not_exists/0
test/exists_tests.erl:77:1: Warning: missing specification for function prop_forall_targeted/0
test/exists_tests.erl:84:1: Warning: missing specification for function exists_test/0
test/exists_tests.erl:87:1: Warning: missing specification for function not_exists_test/0
test/exists_tests.erl:92:1: Warning: missing specification for function forall_targeted_test/0
test/exists_tests.erl:98:1: Warning: missing specification for function not_exists_const_temp_test/0
test/exists_tests.erl:105:1: Warning: missing specification for function hillclimbing_test/0
test/exists_tests.erl:110:1: Warning: missing specification for function hillclimbing2_test/0
test/exists_tests.erl:117:1: Warning: missing specification for function hillclimbing3_test/0
test/exists_tests.erl:124:1: Warning: missing specification for function default_accept_function_test/0
test/exists_tests.erl:179:1: Warning: missing specification for function prop_big_list/0
test/exists_tests.erl:193:1: Warning: missing specification for function prop_let/0
test/exists_tests.erl:208:1: Warning: missing specification for function prop_suchthat/0
test/exists_tests.erl:223:1: Warning: missing specification for function prop_union/0
test/exists_tests.erl:232:1: Warning: missing specification for function prop_weighted_union/0
test/exists_tests.erl:241:1: Warning: missing specification for function prop_tuple/0
test/exists_tests.erl:255:1: Warning: missing specification for function prop_union_let/0
test/exists_tests.erl:267:1: Warning: missing specification for function prop_lazy/0
test/exists_tests.erl:278:1: Warning: missing specification for function prop_sized/0
test/exists_tests.erl:292:1: Warning: missing specification for function prop_edge/0
test/exists_tests.erl:300:1: Warning: missing specification for function prop_graph/0
test/exists_tests.erl:326:1: Warning: missing specification for function prop_il/0
test/exists_tests.erl:335:1: Warning: missing specification for function prop_reset/0
test/exists_tests.erl:348:1: Warning: missing specification for function reset_test/0
test/exists_tests.erl:374:1: Warning: missing specification for function prop_graph_match_perf/0
test/exists_tests.erl:382:1: Warning: missing specification for function prop_graph_match_corr/0
test/exists_tests.erl:402:1: Warning: missing specification for function prop_whenfail/0
test/exists_tests.erl:411:1: Warning: missing specification for function prop_shrink1/0
test/exists_tests.erl:424:1: Warning: missing specification for function prop_shrink2/0
test/exists_tests.erl:437:1: Warning: missing specification for function prop_shrink3/0
test/exists_tests.erl:445:1: Warning: missing specification for function prop_shrink4/0
test/exists_tests.erl:455:1: Warning: missing specification for function prop_match/0
test/exists_tests.erl:473:1: Warning: missing specification for function prop_match_and_shrink/0
test/exists_tests.erl:492:1: Warning: missing specification for function prop_let_nf/0
test/exists_tests.erl:505:1: Warning: missing specification for function prop_not_exists_crash/0
Compiled test/exists_tests.erl
test/proper_print.erl:0: Warning: missing specification for function test/0
test/proper_print.erl:36:1: Warning: missing specification for function stacktrace_test_/0
% 36| stacktrace_test_() ->
% | ^
test/proper_print.erl:0: Warning: missing specification for function test/0
test/proper_print.erl:36:1: Warning: missing specification for function stacktrace_test_/0
Compiled test/proper_print.erl
test/rec_props_test1.erl:36:1: Warning: missing specification for function prop_1/0
% 36| prop_1() -> ?FORALL(_, rec_props_test2:exp2(), true).
% | ^
test/rec_props_test1.erl:36:1: Warning: missing specification for function prop_1/0
Compiled test/rec_props_test1.erl
test/rec_test1.erl:42:2: Warning: type bb() is unused
% 42| -type bb() :: mylist(integer()).
% | ^
test/rec_test1.erl:42:2: Warning: type bb() is unused
Compiled test/rec_test1.erl
Compiled test/rec_test2.erl
test/rec_props_test2.erl:36:1: Warning: missing specification for function prop_2/0
% 36| prop_2() -> ?FORALL(_, rec_props_test1:exp1(), true).
% | ^
test/rec_props_test2.erl:36:1: Warning: missing specification for function prop_2/0
Compiled test/rec_props_test2.erl
test/symb_statem_maps.erl:46:1: Warning: missing specification for function command/1
% 46| command(_S) ->
% | ^
test/symb_statem_maps.erl:49:1: Warning: missing specification for function precondition/2
% 49| precondition(_, _) ->
% | ^
test/symb_statem_maps.erl:52:1: Warning: missing specification for function next_state/3
% 52| next_state(S = #state{qux=Qux}, V, {call,?MODULE,qux,[_Arg]}) ->
% | ^
test/symb_statem_maps.erl:58:1: Warning: missing specification for function postcondition/3
% 58| postcondition(#state{qux=#{key:=Values}}, {call,?MODULE,qux,[_Arg]}, Res)
% | ^
test/symb_statem_maps.erl:64:1: Warning: missing specification for function qux/1
% 64| qux(I) when is_integer(I) ->
% | ^
test/symb_statem_maps.erl:67:1: Warning: missing specification for function prop_simple/0
% 67| prop_simple() ->
% | ^
test/symb_statem_maps.erl:76:1: Warning: missing specification for function prop_parallel_simple/0
% 76| prop_parallel_simple() ->
% | ^
test/symb_statem_maps.erl:46:1: Warning: missing specification for function command/1
test/symb_statem_maps.erl:49:1: Warning: missing specification for function precondition/2
test/symb_statem_maps.erl:52:1: Warning: missing specification for function next_state/3
test/symb_statem_maps.erl:58:1: Warning: missing specification for function postcondition/3
test/symb_statem_maps.erl:64:1: Warning: missing specification for function qux/1
test/symb_statem_maps.erl:67:1: Warning: missing specification for function prop_simple/0
test/symb_statem_maps.erl:76:1: Warning: missing specification for function prop_parallel_simple/0
Compiled test/symb_statem_maps.erl
Compiled test/to_remove.erl
test/symb_statem.erl:46:1: Warning: missing specification for function command/1
% 46| command(_S) ->
% | ^
test/symb_statem.erl:50:1: Warning: missing specification for function precondition/2
% 50| precondition(_, _) ->
% | ^
test/symb_statem.erl:53:1: Warning: missing specification for function next_state/3
% 53| next_state(S = #state{foo=Foo}, V, {call,_,foo,[_Arg]}) ->
% | ^
test/symb_statem.erl:60:1: Warning: missing specification for function postcondition/3
% 60| postcondition(S, {call,_,foo,[_Arg]}, Res) when is_tuple(Res) ->
% | ^
test/symb_statem.erl:67:1: Warning: missing specification for function foo/1
% 67| foo(I) when is_integer(I) ->
% | ^
test/symb_statem.erl:70:1: Warning: missing specification for function bar/1
% 70| bar(I) when is_integer(I) ->
% | ^
test/symb_statem.erl:73:1: Warning: missing specification for function prop_simple/0
% 73| prop_simple() ->
% | ^
test/symb_statem.erl:82:1: Warning: missing specification for function prop_parallel_simple/0
% 82| prop_parallel_simple() ->
% | ^
test/symb_statem.erl:46:1: Warning: missing specification for function command/1
test/symb_statem.erl:50:1: Warning: missing specification for function precondition/2
test/symb_statem.erl:53:1: Warning: missing specification for function next_state/3
test/symb_statem.erl:60:1: Warning: missing specification for function postcondition/3
test/symb_statem.erl:67:1: Warning: missing specification for function foo/1
test/symb_statem.erl:70:1: Warning: missing specification for function bar/1
test/symb_statem.erl:73:1: Warning: missing specification for function prop_simple/0
test/symb_statem.erl:82:1: Warning: missing specification for function prop_parallel_simple/0
Compiled test/symb_statem.erl
test/types_test1.erl:31:2: Warning: record rec1 has field(s) without type information
% 31| -record(rec1, {a = 42 :: integer(), b :: float(), c = this_atom}).
% | ^
test/types_test1.erl:34:2: Warning: type type1() is unused
% 34| -type type1() :: {exp1(), [float() | boolean()]}.
% | ^
test/types_test1.erl:35:2: Warning: type type2(_) is unused
% 35| -type type2(T) :: {T,T} | [T].
% | ^
test/types_test1.erl:36:2: Warning: type rem1() is unused
% 36| -type rem1() :: types_test2:exp1(integer()) | integer().
% | ^
test/types_test1.erl:37:2: Warning: type rem2() is unused
% 37| -type rem2() :: {bitstring(), types_test2:exp2()}.
% | ^
test/types_test1.erl:31:2: Warning: record rec1 has field(s) without type information
test/types_test1.erl:34:2: Warning: type type1() is unused
test/types_test1.erl:35:2: Warning: type type2(_) is unused
test/types_test1.erl:36:2: Warning: type rem1() is unused
test/types_test1.erl:37:2: Warning: type rem2() is unused
Compiled test/types_test1.erl
test/types_test2.erl:33:2: Warning: record rec1 is unused
% 33| -record(rec1, {f :: exp1(fun(() -> integer())), g :: fun((_,_) -> float())}).
% | ^
test/types_test2.erl:33:2: Warning: record rec1 is unused
Compiled test/types_test2.erl
test/proper_specs_tests.erl:0: Warning: missing specification for function test/0
test/proper_specs_tests.erl:48:1: Warning: missing specification for function check1_specs_test_/0
% 48| check1_specs_test_() ->
% | ^
test/proper_specs_tests.erl:51:1: Warning: missing specification for function check2_specs_test_/0
% 51| check2_specs_test_() ->
% | ^
test/proper_specs_tests.erl:54:1: Warning: missing specification for function check3_specs_test_/0
% 54| check3_specs_test_() ->
% | ^
test/proper_specs_tests.erl:61:1: Warning: missing specification for function check1_specs_test/0
% 61| check1_specs_test() ->
% | ^
test/proper_specs_tests.erl:79:1: Warning: missing specification for function check2_specs_test/0
% 79| check2_specs_test() ->
% | ^
test/proper_specs_tests.erl:103:1: Warning: missing specification for function check3_specs_test/0
% 103| check3_specs_test() ->
% | ^
test/proper_specs_tests.erl:0: Warning: missing specification for function test/0
test/proper_specs_tests.erl:48:1: Warning: missing specification for function check1_specs_test_/0
test/proper_specs_tests.erl:51:1: Warning: missing specification for function check2_specs_test_/0
test/proper_specs_tests.erl:54:1: Warning: missing specification for function check3_specs_test_/0
test/proper_specs_tests.erl:61:1: Warning: missing specification for function check1_specs_test/0
test/proper_specs_tests.erl:79:1: Warning: missing specification for function check2_specs_test/0
test/proper_specs_tests.erl:103:1: Warning: missing specification for function check3_specs_test/0
Compiled test/proper_specs_tests.erl
DEBUG: Worker exited cleanly
test/weird_types.erl:31:2: Warning: export_all flag enabled - all functions will be exported
% 31| -compile(export_all).
% | ^
test/weird_types.erl:38:2: Warning: type hd(_) is unused
% 38| -type hd(T) :: {'head',T}.
% | ^
test/weird_types.erl:31:2: Warning: export_all flag enabled - all functions will be exported
test/weird_types.erl:38:2: Warning: type hd(_) is unused
Compiled test/weird_types.erl
DEBUG: Worker exited cleanly
test/proper_tests.erl:0: Warning: missing specification for function test/0
test/proper_tests.erl:701:1: Warning: missing specification for function simple_types_test_/0
% 701| simple_types_test_() ->
% | ^
test/proper_tests.erl:704:1: Warning: missing specification for function constructed_types_test_/0
% 704| constructed_types_test_() ->
% | ^
test/proper_tests.erl:710:1: Warning: missing specification for function shrinks_to_test_/0
% 710| shrinks_to_test_() ->
% | ^
test/proper_tests.erl:716:1: Warning: missing specification for function native_shrinks_to_test_/0
% 716| native_shrinks_to_test_() ->
% | ^
test/proper_tests.erl:722:1: Warning: missing specification for function cant_generate_test_/0
% 722| cant_generate_test_() ->
% | ^
test/proper_tests.erl:725:1: Warning: missing specification for function native_cant_translate_test_/0
% 725| native_cant_translate_test_() ->
% | ^
test/proper_tests.erl:729:1: Warning: missing specification for function remote_native_types_test_/0
% 729| remote_native_types_test_() ->
% | ^
test/proper_tests.erl:733:1: Warning: missing specification for function recursive_native_types_test_/0
% 733| recursive_native_types_test_() ->
% | ^
test/proper_tests.erl:737:1: Warning: missing specification for function recursive_native_cant_translate_test_/0
% 737| recursive_native_cant_translate_test_() ->
% | ^
test/proper_tests.erl:742:1: Warning: missing specification for function random_functions_test_/0
% 742| random_functions_test_() ->
% | ^
test/proper_tests.erl:747:1: Warning: missing specification for function parse_transform_test_/0
% 747| parse_transform_test_() ->
% | ^
test/proper_tests.erl:754:1: Warning: missing specification for function native_type_props_test_/0
% 754| native_type_props_test_() ->
% | ^
test/proper_tests.erl:770:7: Warning: this clause cannot match because a previous clause at line 770 always matches
% 770| ?_fails(?FORALL(L, id([integer()]), length(L) =:= 1)),
% | ^
test/proper_tests.erl:841:2: Warning: type bin4() is unused
% 841| -type bin4() :: <<_:32>>.
% | ^
test/proper_tests.erl:842:2: Warning: type bits42() is unused
% 842| -type bits42() :: <<_:42>>.
% | ^
test/proper_tests.erl:843:2: Warning: type bits5x() is unused
% 843| -type bits5x() :: <<_:_*5>>.
% | ^
test/proper_tests.erl:844:2: Warning: type bits7x() is unused
% 844| -type bits7x() :: <<_:_*7>>.
% | ^
test/proper_tests.erl:846:2: Warning: record untyped has field(s) without type information
% 846| -record(untyped, {a, b = 12}).
% | ^
test/proper_tests.erl:847:2: Warning: type untyped() is unused
% 847| -type untyped() :: #untyped{}.
% | ^
test/proper_tests.erl:849:1: Warning: missing specification for function true_props_test_/0
% 849| true_props_test_() ->
% | ^
test/proper_tests.erl:898:1: Warning: missing specification for function map_in_nextstate3_test_/0
% 898| map_in_nextstate3_test_() ->
% | ^
test/proper_tests.erl:902:1: Warning: missing specification for function false_props_test_/0
% 902| false_props_test_() ->
% | ^
test/proper_tests.erl:903:20: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 903| [?_failsWith([[_Same,_Same]],
% | ^
test/proper_tests.erl:903:20: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 903| [?_failsWith([[_Same,_Same]],
% | ^
test/proper_tests.erl:903:20: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 903| [?_failsWith([[_Same,_Same]],
% | ^
test/proper_tests.erl:903:26: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 903| [?_failsWith([[_Same,_Same]],
% | ^
test/proper_tests.erl:903:26: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 903| [?_failsWith([[_Same,_Same]],
% | ^
test/proper_tests.erl:903:26: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 903| [?_failsWith([[_Same,_Same]],
% | ^
test/proper_tests.erl:905:20: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 905| ?_failsWith([[_Same,_Same],_Same],
% | ^
test/proper_tests.erl:905:20: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 905| ?_failsWith([[_Same,_Same],_Same],
% | ^
test/proper_tests.erl:905:20: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 905| ?_failsWith([[_Same,_Same],_Same],
% | ^
test/proper_tests.erl:905:26: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 905| ?_failsWith([[_Same,_Same],_Same],
% | ^
test/proper_tests.erl:905:26: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 905| ?_failsWith([[_Same,_Same],_Same],
% | ^
test/proper_tests.erl:905:26: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 905| ?_failsWith([[_Same,_Same],_Same],
% | ^
test/proper_tests.erl:905:33: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 905| ?_failsWith([[_Same,_Same],_Same],
% | ^
test/proper_tests.erl:905:33: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 905| ?_failsWith([[_Same,_Same],_Same],
% | ^
test/proper_tests.erl:905:33: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 905| ?_failsWith([[_Same,_Same],_Same],
% | ^
test/proper_tests.erl:917:7: Warning: this clause cannot match because a previous clause at line 917 always matches
% 917| ?_fails(?FORALL(_,1,lists:min([]) > 0)),
% | ^
test/proper_tests.erl:923:7: Warning: this clause cannot match because a previous clause at line 923 always matches
% 923| ?_fails(?FORALL(_, integer(), ?TIMEOUT(100,timer:sleep(150) =:= ok))),
% | ^
test/proper_tests.erl:938:7: Warning: this clause cannot match because a previous clause at line 938 always matches
% 938| ?_failsWithOneOf([[{true,false}],[{false,true}]],
% | ^
test/proper_tests.erl:944:7: Warning: this clause cannot match because a previous clause at line 944 always matches
% 944| ?_failsWithOneOf([[[0,1]],[[0,-1]],[[1,0]],[[-1,0]]],
% | ^
test/proper_tests.erl:949:7: Warning: this clause cannot match because a previous clause at line 949 always matches
% 949| ?_fails(?FORALL(_, integer(0,0), false)),
% | ^
test/proper_tests.erl:950:7: Warning: this clause cannot match because a previous clause at line 950 always matches
% 950| ?_fails(?FORALL(_, float(0.0,0.0), false)),
% | ^
test/proper_tests.erl:951:7: Warning: this clause cannot match because a previous clause at line 951 always matches
% 951| ?_fails(fails(?FORALL(_, integer(), false))),
% | ^
test/proper_tests.erl:980:7: Warning: this clause cannot match because a previous clause at line 980 always matches
% 980| ?_fails(post_false:prop_simple()),
% | ^
test/proper_tests.erl:981:7: Warning: this clause cannot match because a previous clause at line 981 always matches
% 981| ?_fails(error_statem:prop_simple())].
% | ^
test/proper_tests.erl:983:1: Warning: missing specification for function error_props_test_/0
% 983| error_props_test_() ->
% | ^
test/proper_tests.erl:1012:1: Warning: missing specification for function eval_test_/0
% 1012| eval_test_() ->
% | ^
test/proper_tests.erl:1016:1: Warning: missing specification for function pretty_print_test_/0
% 1016| pretty_print_test_() ->
% | ^
test/proper_tests.erl:1020:1: Warning: missing specification for function not_defined_test_/0
% 1020| not_defined_test_() ->
% | ^
test/proper_tests.erl:1024:1: Warning: missing specification for function options_test_/0
% 1024| options_test_() ->
% | ^
test/proper_tests.erl:1033:7: Warning: this clause cannot match because a previous clause at line 1033 always matches
% 1033| ?_fails(?FORALL(_,integer(),false), [fails]),
% | ^
test/proper_tests.erl:1078:1: Warning: missing specification for function setup_test_/0
% 1078| setup_test_() ->
% | ^
test/proper_tests.erl:1082:7: Warning: this clause cannot match because a previous clause at line 1082 always matches
% 1082| ?_fails(failing_setup_prop(), [10]),
% | ^
test/proper_tests.erl:1100:1: Warning: missing specification for function adts1_test_/0
% 1100| adts1_test_() ->
% | ^
test/proper_tests.erl:1110:1: Warning: missing specification for function adts3_test_/0
% 1110| adts3_test_() ->
% | ^
test/proper_tests.erl:1112:8: Warning: this clause cannot match because a previous clause at line 1112 always matches
% 1112| ?_fails(?FORALL({X,D},
% | ^
test/proper_tests.erl:1116:1: Warning: missing specification for function parameter_test_/0
% 1116| parameter_test_() ->
% | ^
test/proper_tests.erl:1124:1: Warning: missing specification for function zip_test_/0
% 1124| zip_test_() ->
% | ^
test/proper_tests.erl:1128:1: Warning: missing specification for function command_names_test_/0
% 1128| command_names_test_() ->
% | ^
test/proper_tests.erl:1132:1: Warning: missing specification for function command_names_parallel1_test_/0
% 1132| command_names_parallel1_test_() ->
% | ^
test/proper_tests.erl:1136:1: Warning: missing specification for function command_names_parallel2_test_/0
% 1136| command_names_parallel2_test_() ->
% | ^
test/proper_tests.erl:1140:1: Warning: missing specification for function command_names_parallel3_test_/0
% 1140| command_names_parallel3_test_() ->
% | ^
test/proper_tests.erl:1144:1: Warning: missing specification for function command_names_parallel4_test_/0
% 1144| command_names_parallel4_test_() ->
% | ^
test/proper_tests.erl:1148:1: Warning: missing specification for function valid_cmds_test_/0
% 1148| valid_cmds_test_() ->
% | ^
test/proper_tests.erl:1152:1: Warning: missing specification for function invalid_cmds_test_/0
% 1152| invalid_cmds_test_() ->
% | ^
test/proper_tests.erl:1158:1: Warning: missing specification for function state_after_test_/0
% 1158| state_after_test_() ->
% | ^
test/proper_tests.erl:1162:1: Warning: missing specification for function cannot_generate_commands_test_/0
% 1162| cannot_generate_commands_test_() ->
% | ^
test/proper_tests.erl:1166:1: Warning: missing specification for function can_generate_commands0_test_/0
% 1166| can_generate_commands0_test_() ->
% | ^
test/proper_tests.erl:1170:1: Warning: missing specification for function can_generate_commands1_test_/0
% 1170| can_generate_commands1_test_() ->
% | ^
test/proper_tests.erl:1174:1: Warning: missing specification for function can_generate_parallel_commands0_test_/0
% 1174| can_generate_parallel_commands0_test_() ->
% | ^
test/proper_tests.erl:1179:1: Warning: missing specification for function can_generate_parallel_commands1_test_/0
% 1179| can_generate_parallel_commands1_test_() ->
% | ^
test/proper_tests.erl:1186:1: Warning: missing specification for function seeded_runs_return_same_result_test_/0
% 1186| seeded_runs_return_same_result_test_() ->
% | ^
test/proper_tests.erl:1190:1: Warning: missing specification for function run_valid_commands_test_/0
% 1190| run_valid_commands_test_() ->
% | ^
test/proper_tests.erl:1194:1: Warning: missing specification for function run_invalid_precondition_test_/0
% 1194| run_invalid_precondition_test_() ->
% | ^
test/proper_tests.erl:1199:1: Warning: missing specification for function run_init_error_test_/0
% 1199| run_init_error_test_() ->
% | ^
test/proper_tests.erl:1204:1: Warning: missing specification for function run_postcondition_false_test/0
% 1204| run_postcondition_false_test() ->
% | ^
test/proper_tests.erl:1208:1: Warning: missing specification for function run_exception_test/0
% 1208| run_exception_test() ->
% | ^
test/proper_tests.erl:1213:1: Warning: missing specification for function get_next_test_/0
% 1213| get_next_test_() ->
% | ^
test/proper_tests.erl:1218:1: Warning: missing specification for function mk_first_comb_test_/0
% 1218| mk_first_comb_test_() ->
% | ^
test/proper_tests.erl:1222:1: Warning: missing specification for function args_not_defined_test/0
% 1222| args_not_defined_test() ->
% | ^
test/proper_tests.erl:1226:1: Warning: missing specification for function command_props_test_/0
% 1226| command_props_test_() ->
% | ^
test/proper_tests.erl:1230:1: Warning: missing specification for function can_generate_fsm_commands_test_/0
% 1230| can_generate_fsm_commands_test_() ->
% | ^
test/proper_tests.erl:1234:1: Warning: missing specification for function transition_target_test_/0
% 1234| transition_target_test_() ->
% | ^
test/proper_tests.erl:1237:1: Warning: missing specification for function dollar_only_cp_test_/0
% 1237| dollar_only_cp_test_() ->
% | ^
test/proper_tests.erl:1245:1: Warning: missing specification for function sampleshrink_test_/0
% 1245| sampleshrink_test_() ->
% | ^
test/proper_tests.erl:1260:1: Warning: missing specification for function max_size_test/0
% 1260| max_size_test() ->
% | ^
test/proper_tests.erl:1306:23: Warning: variable '_SameChar' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 1306| equal_ignoring_chars([_SameChar|Rest1], [_SameChar|Rest2], Ignore) ->
% | ^
test/proper_tests.erl:1306:42: Warning: variable '_SameChar' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
% 1306| equal_ignoring_chars([_SameChar|Rest1], [_SameChar|Rest2], Ignore) ->
% | ^
test/proper_tests.erl:1380:2: Warning: type my_native_type() is unused
% 1380| -type my_native_type() :: integer().
% | ^
test/proper_tests.erl:1382:2: Warning: type type_and_fun() is unused
% 1382| -type type_and_fun() :: integer().
% | ^
test/proper_tests.erl:1384:2: Warning: type type_only() is unused
% 1384| -type type_only() :: integer().
% | ^
test/proper_tests.erl:1385:2: Warning: type id(_) is unused
% 1385| -type id(X) :: X.
% | ^
test/proper_tests.erl:1386:2: Warning: type lof() is unused
% 1386| -type lof() :: [float()].
% | ^
test/proper_tests.erl:0: Warning: missing specification for function test/0
test/proper_tests.erl:701:1: Warning: missing specification for function simple_types_test_/0
test/proper_tests.erl:704:1: Warning: missing specification for function constructed_types_test_/0
test/proper_tests.erl:710:1: Warning: missing specification for function shrinks_to_test_/0
test/proper_tests.erl:716:1: Warning: missing specification for function native_shrinks_to_test_/0
test/proper_tests.erl:722:1: Warning: missing specification for function cant_generate_test_/0
test/proper_tests.erl:725:1: Warning: missing specification for function native_cant_translate_test_/0
test/proper_tests.erl:729:1: Warning: missing specification for function remote_native_types_test_/0
test/proper_tests.erl:733:1: Warning: missing specification for function recursive_native_types_test_/0
test/proper_tests.erl:737:1: Warning: missing specification for function recursive_native_cant_translate_test_/0
test/proper_tests.erl:742:1: Warning: missing specification for function random_functions_test_/0
test/proper_tests.erl:747:1: Warning: missing specification for function parse_transform_test_/0
test/proper_tests.erl:754:1: Warning: missing specification for function native_type_props_test_/0
test/proper_tests.erl:770:7: Warning: this clause cannot match because a previous clause at line 770 always matches
test/proper_tests.erl:841:2: Warning: type bin4() is unused
test/proper_tests.erl:842:2: Warning: type bits42() is unused
test/proper_tests.erl:843:2: Warning: type bits5x() is unused
test/proper_tests.erl:844:2: Warning: type bits7x() is unused
test/proper_tests.erl:846:2: Warning: record untyped has field(s) without type information
test/proper_tests.erl:847:2: Warning: type untyped() is unused
test/proper_tests.erl:849:1: Warning: missing specification for function true_props_test_/0
test/proper_tests.erl:898:1: Warning: missing specification for function map_in_nextstate3_test_/0
test/proper_tests.erl:902:1: Warning: missing specification for function false_props_test_/0
test/proper_tests.erl:903:20: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:903:20: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:903:20: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:903:26: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:903:26: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:903:26: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:905:20: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:905:20: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:905:20: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:905:26: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:905:26: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:905:26: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:905:33: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:905:33: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:905:33: Warning: variable '_Same' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:917:7: Warning: this clause cannot match because a previous clause at line 917 always matches
test/proper_tests.erl:923:7: Warning: this clause cannot match because a previous clause at line 923 always matches
test/proper_tests.erl:938:7: Warning: this clause cannot match because a previous clause at line 938 always matches
test/proper_tests.erl:944:7: Warning: this clause cannot match because a previous clause at line 944 always matches
test/proper_tests.erl:949:7: Warning: this clause cannot match because a previous clause at line 949 always matches
test/proper_tests.erl:950:7: Warning: this clause cannot match because a previous clause at line 950 always matches
test/proper_tests.erl:951:7: Warning: this clause cannot match because a previous clause at line 951 always matches
test/proper_tests.erl:980:7: Warning: this clause cannot match because a previous clause at line 980 always matches
test/proper_tests.erl:981:7: Warning: this clause cannot match because a previous clause at line 981 always matches
test/proper_tests.erl:983:1: Warning: missing specification for function error_props_test_/0
test/proper_tests.erl:1012:1: Warning: missing specification for function eval_test_/0
test/proper_tests.erl:1016:1: Warning: missing specification for function pretty_print_test_/0
test/proper_tests.erl:1020:1: Warning: missing specification for function not_defined_test_/0
test/proper_tests.erl:1024:1: Warning: missing specification for function options_test_/0
test/proper_tests.erl:1033:7: Warning: this clause cannot match because a previous clause at line 1033 always matches
test/proper_tests.erl:1078:1: Warning: missing specification for function setup_test_/0
test/proper_tests.erl:1082:7: Warning: this clause cannot match because a previous clause at line 1082 always matches
test/proper_tests.erl:1100:1: Warning: missing specification for function adts1_test_/0
test/proper_tests.erl:1110:1: Warning: missing specification for function adts3_test_/0
test/proper_tests.erl:1112:8: Warning: this clause cannot match because a previous clause at line 1112 always matches
test/proper_tests.erl:1116:1: Warning: missing specification for function parameter_test_/0
test/proper_tests.erl:1124:1: Warning: missing specification for function zip_test_/0
test/proper_tests.erl:1128:1: Warning: missing specification for function command_names_test_/0
test/proper_tests.erl:1132:1: Warning: missing specification for function command_names_parallel1_test_/0
test/proper_tests.erl:1136:1: Warning: missing specification for function command_names_parallel2_test_/0
test/proper_tests.erl:1140:1: Warning: missing specification for function command_names_parallel3_test_/0
test/proper_tests.erl:1144:1: Warning: missing specification for function command_names_parallel4_test_/0
test/proper_tests.erl:1148:1: Warning: missing specification for function valid_cmds_test_/0
test/proper_tests.erl:1152:1: Warning: missing specification for function invalid_cmds_test_/0
test/proper_tests.erl:1158:1: Warning: missing specification for function state_after_test_/0
test/proper_tests.erl:1162:1: Warning: missing specification for function cannot_generate_commands_test_/0
test/proper_tests.erl:1166:1: Warning: missing specification for function can_generate_commands0_test_/0
test/proper_tests.erl:1170:1: Warning: missing specification for function can_generate_commands1_test_/0
test/proper_tests.erl:1174:1: Warning: missing specification for function can_generate_parallel_commands0_test_/0
test/proper_tests.erl:1179:1: Warning: missing specification for function can_generate_parallel_commands1_test_/0
test/proper_tests.erl:1186:1: Warning: missing specification for function seeded_runs_return_same_result_test_/0
test/proper_tests.erl:1190:1: Warning: missing specification for function run_valid_commands_test_/0
test/proper_tests.erl:1194:1: Warning: missing specification for function run_invalid_precondition_test_/0
test/proper_tests.erl:1199:1: Warning: missing specification for function run_init_error_test_/0
test/proper_tests.erl:1204:1: Warning: missing specification for function run_postcondition_false_test/0
test/proper_tests.erl:1208:1: Warning: missing specification for function run_exception_test/0
test/proper_tests.erl:1213:1: Warning: missing specification for function get_next_test_/0
test/proper_tests.erl:1218:1: Warning: missing specification for function mk_first_comb_test_/0
test/proper_tests.erl:1222:1: Warning: missing specification for function args_not_defined_test/0
test/proper_tests.erl:1226:1: Warning: missing specification for function command_props_test_/0
test/proper_tests.erl:1230:1: Warning: missing specification for function can_generate_fsm_commands_test_/0
test/proper_tests.erl:1234:1: Warning: missing specification for function transition_target_test_/0
test/proper_tests.erl:1237:1: Warning: missing specification for function dollar_only_cp_test_/0
test/proper_tests.erl:1245:1: Warning: missing specification for function sampleshrink_test_/0
test/proper_tests.erl:1260:1: Warning: missing specification for function max_size_test/0
test/proper_tests.erl:1306:23: Warning: variable '_SameChar' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:1306:42: Warning: variable '_SameChar' is bound multiple times in this pattern. If you mean to ignore this value, use '_' or a different underscore-prefixed name
test/proper_tests.erl:1380:2: Warning: type my_native_type() is unused
test/proper_tests.erl:1382:2: Warning: type type_and_fun() is unused
test/proper_tests.erl:1384:2: Warning: type type_only() is unused
test/proper_tests.erl:1385:2: Warning: type id(_) is unused
test/proper_tests.erl:1386:2: Warning: type lof() is unused
Compiled test/proper_tests.erl
DEBUG: Worker exited cleanly
======================== EUnit ========================
module 'vararg'
module 'proper_transformer'
module 'proper_prop_remover'
module 'proper_typeserver'
module 'proper_statem'
module 'proper_symb'
module 'proper_target'
module 'proper_unused_imports_remover'
module 'proper_types'
module 'proper'
module 'proper_tests'
proper_tests:702: simple_types_test_...[0.088 s] ok
proper_tests:702: simple_types_test_...[0.101 s] ok
proper_tests:702: simple_types_test_...[0.080 s] ok
proper_tests:702: simple_types_test_...[0.083 s] ok
proper_tests:702: simple_types_test_...[0.087 s] ok
proper_tests:702: simple_types_test_...[0.083 s] ok
proper_tests:702: simple_types_test_...[0.101 s] ok
proper_tests:702: simple_types_test_...[0.093 s] ok
proper_tests:702: simple_types_test_...[0.085 s] ok
proper_tests:702: simple_types_test_...[0.078 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_...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.001 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.080 s] ok
proper_tests:702: simple_types_test_...[0.084 s] ok
proper_tests:702: simple_types_test_...[0.081 s] ok
proper_tests:702: simple_types_test_...[0.089 s] ok
proper_tests:702: simple_types_test_...[0.081 s] ok
proper_tests:702: simple_types_test_...[0.088 s] ok
proper_tests:702: simple_types_test_...[0.087 s] ok
proper_tests:702: simple_types_test_...[0.087 s] ok
proper_tests:702: simple_types_test_...[0.090 s] ok
proper_tests:702: simple_types_test_...[0.088 s] ok
proper_tests:702: simple_types_test_...[0.084 s] ok
proper_tests:702: simple_types_test_...[0.088 s] ok
proper_tests:702: simple_types_test_...[0.096 s] ok
proper_tests:702: simple_types_test_...[0.003 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.089 s] ok
proper_tests:702: simple_types_test_...[0.085 s] ok
proper_tests:702: simple_types_test_...[0.001 s] ok
proper_tests:702: simple_types_test_...[0.092 s] ok
proper_tests:702: simple_types_test_...[0.085 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.003 s] ok
proper_tests:702: simple_types_test_...[0.005 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.081 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.001 s] ok
proper_tests:702: simple_types_test_...[0.079 s] ok
proper_tests:702: simple_types_test_...[0.081 s] ok
proper_tests:702: simple_types_test_...[0.082 s] ok
proper_tests:702: simple_types_test_...[0.092 s] ok
proper_tests:702: simple_types_test_...[0.088 s] ok
proper_tests:702: simple_types_test_...[0.005 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.092 s] ok
proper_tests:702: simple_types_test_...[0.092 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.082 s] ok
proper_tests:702: simple_types_test_...[0.001 s] ok
proper_tests:702: simple_types_test_...[0.091 s] ok
proper_tests:702: simple_types_test_...[0.190 s] ok
proper_tests:702: simple_types_test_...[0.088 s] ok
proper_tests:702: simple_types_test_...[0.083 s] ok
proper_tests:702: simple_types_test_...[0.081 s] ok
proper_tests:705: constructed_types_test_...[0.080 s] ok
proper_tests:705: constructed_types_test_...ok
proper_tests:705: constructed_types_test_...[0.004 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.093 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.219 s] ok
proper_tests:705: constructed_types_test_...[0.127 s] ok
proper_tests:705: constructed_types_test_...[0.090 s] ok
proper_tests:705: constructed_types_test_...[0.084 s] ok
proper_tests:705: constructed_types_test_...[0.086 s] ok
proper_tests:705: constructed_types_test_...[0.083 s] ok
proper_tests:705: constructed_types_test_...[0.083 s] ok
proper_tests:705: constructed_types_test_...[0.088 s] ok
proper_tests:705: constructed_types_test_...[0.098 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_...[0.001 s] ok
proper_tests:705: constructed_types_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_...[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_...[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_...[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_...[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_...[0.001 s] 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_...[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.004 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_...[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_...[0.002 s] ok
proper_tests:711: shrinks_to_test_...[0.003 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.003 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.002 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_...[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.002 s] ok
proper_tests:711: shrinks_to_test_...[0.005 s] ok
proper_tests:711: shrinks_to_test_...[0.001 s] ok
proper_tests:711: shrinks_to_test_...[0.003 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_...[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.006 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.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_...[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:717: native_shrinks_to_test_...[0.401 s] ok
proper_tests:717: native_shrinks_to_test_...[0.427 s] ok
proper_tests:717: native_shrinks_to_test_...[0.511 s] ok
proper_tests:717: native_shrinks_to_test_...[0.464 s] ok
proper_tests:717: native_shrinks_to_test_...[0.490 s] ok
proper_tests:717: native_shrinks_to_test_...[0.444 s] ok
proper_tests:717: native_shrinks_to_test_...[0.440 s] ok
proper_tests:717: native_shrinks_to_test_...[0.406 s] ok
proper_tests:717: native_shrinks_to_test_...[0.416 s] ok
proper_tests:717: native_shrinks_to_test_...[0.406 s] ok
proper_tests:717: native_shrinks_to_test_...[0.418 s] ok
proper_tests:717: native_shrinks_to_test_...[0.466 s] ok
proper_tests:717: native_shrinks_to_test_...[0.410 s] ok
proper_tests:717: native_shrinks_to_test_...[0.403 s] ok
proper_tests:717: native_shrinks_to_test_...[0.414 s] ok
proper_tests:717: native_shrinks_to_test_...[0.426 s] ok
proper_tests:717: native_shrinks_to_test_...[0.412 s] ok
proper_tests:717: native_shrinks_to_test_...[0.426 s] ok
proper_tests:717: native_shrinks_to_test_...[0.463 s] ok
proper_tests:717: native_shrinks_to_test_...[0.524 s] ok
proper_tests:717: native_shrinks_to_test_...[0.465 s] ok
proper_tests:717: native_shrinks_to_test_...[0.435 s] ok
proper_tests:717: native_shrinks_to_test_...[0.464 s] ok
proper_tests:717: native_shrinks_to_test_...[0.458 s] ok
proper_tests:717: native_shrinks_to_test_...[0.439 s] ok
proper_tests:717: native_shrinks_to_test_...[0.468 s] ok
proper_tests:717: native_shrinks_to_test_...[0.459 s] ok
proper_tests:717: native_shrinks_to_test_...[0.460 s] ok
proper_tests:717: native_shrinks_to_test_...[0.459 s] ok
proper_tests:717: native_shrinks_to_test_...[0.461 s] ok
proper_tests:717: native_shrinks_to_test_...[0.438 s] ok
proper_tests:717: native_shrinks_to_test_...[0.497 s] ok
proper_tests:717: native_shrinks_to_test_...[0.439 s] ok
proper_tests:717: native_shrinks_to_test_...[0.467 s] ok
proper_tests:717: native_shrinks_to_test_...[0.452 s] ok
proper_tests:717: native_shrinks_to_test_...[0.450 s] ok
proper_tests:717: native_shrinks_to_test_...[0.469 s] ok
proper_tests:717: native_shrinks_to_test_...[0.601 s] ok
proper_tests:717: native_shrinks_to_test_...[0.457 s] ok
proper_tests:717: native_shrinks_to_test_...[0.473 s] ok
proper_tests:717: native_shrinks_to_test_...[0.437 s] ok
proper_tests:717: native_shrinks_to_test_...[0.433 s] ok
proper_tests:717: native_shrinks_to_test_...[0.470 s] ok
proper_tests:717: native_shrinks_to_test_...[0.449 s] ok
proper_tests:717: native_shrinks_to_test_...[0.508 s] ok
proper_tests:717: native_shrinks_to_test_...[0.463 s] ok
proper_tests:717: native_shrinks_to_test_...[0.457 s] ok
proper_tests:717: native_shrinks_to_test_...[0.545 s] ok
proper_tests:717: native_shrinks_to_test_...[0.466 s] ok
proper_tests:717: native_shrinks_to_test_...[0.472 s] ok
proper_tests:717: native_shrinks_to_test_...[0.460 s] ok
proper_tests:717: native_shrinks_to_test_...[0.474 s] ok
proper_tests:717: native_shrinks_to_test_...[0.470 s] ok
proper_tests:717: native_shrinks_to_test_...[0.423 s] ok
proper_tests:717: native_shrinks_to_test_...[0.478 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.001 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.017 s] ok
proper_tests:726: native_cant_translate_test_...[0.001 s] 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_...[0.001 s] 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_...[0.001 s] 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_...[0.002 s] 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_...[0.001 s] 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_...[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:734: recursive_native_types_test_...[0.045 s] ok
proper_tests:734: recursive_native_types_test_...[0.003 s] ok
proper_tests:734: recursive_native_types_test_...[0.039 s] ok
proper_tests:734: recursive_native_types_test_...[0.027 s] ok
proper_tests:734: recursive_native_types_test_...[0.004 s] ok
proper_tests:734: recursive_native_types_test_...[0.003 s] ok
proper_tests:734: recursive_native_types_test_...[0.006 s] ok
proper_tests:734: recursive_native_types_test_...[0.090 s] ok
proper_tests:734: recursive_native_types_test_...[0.010 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:734: recursive_native_types_test_...[0.011 s] ok
proper_tests:734: recursive_native_types_test_...[0.005 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.001 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.001 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.001 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.001 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.001 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.001 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.001 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.001 s] ok
proper_tests:743: random_functions_test_...ok
proper_tests:744: random_functions_test_...[0.011 s] ok
proper_tests:743: random_functions_test_...ok
proper_tests:744: random_functions_test_...[0.010 s] ok
proper_tests:743: random_functions_test_...ok
proper_tests:744: random_functions_test_...[0.011 s] ok
proper_tests:743: random_functions_test_...ok
proper_tests:744: random_functions_test_...[0.011 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.002 s] ok
proper_tests:751: parse_transform_test_...[0.043 s] ok
proper_tests:752: parse_transform_test_...[0.004 s] ok
proper_tests:755: native_type_props_test_...[0.194 s] ok
proper_tests:757: native_type_props_test_...[0.182 s] ok
proper_tests:760: native_type_props_test_...[0.221 s] ok
proper_tests:765: native_type_props_test_...[0.180 s] ok
proper_tests:767: native_type_props_test_...[0.009 s] ok
proper_tests:768: native_type_props_test_...[0.185 s] ok
proper_tests:769: native_type_props_test_...[0.004 s] ok
proper_tests:770: native_type_props_test_...[0.177 s] ok
proper_tests:771: native_type_props_test_...[0.235 s] ok
proper_tests:772: native_type_props_test_...ok
proper_tests:773: native_type_props_test_...[0.007 s] ok
proper_tests:781: native_type_props_test_...[0.173 s] ok
proper_tests:782: native_type_props_test_...[0.010 s] ok
proper_tests:783: native_type_props_test_...[0.009 s] ok
proper_tests:784: native_type_props_test_...[0.179 s] ok
proper_tests:787: native_type_props_test_...[0.182 s] ok
proper_tests:788: native_type_props_test_...[0.175 s] ok
proper_tests:790: native_type_props_test_...ok
proper_tests:795: native_type_props_test_...[0.241 s] ok
proper_tests:797: native_type_props_test_...[0.171 s] ok
proper_tests:798: native_type_props_test_...[0.171 s] ok
proper_tests:800: native_type_props_test_...[0.159 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_...[0.001 s] ok
[done in 0.008 s]
Some elements are generators
proper_tests:806: native_type_props_test_...[0.001 s] ok
proper_tests:807: native_type_props_test_...[0.001 s] ok
proper_tests:808: native_type_props_test_...[0.001 s] ok
proper_tests:809: native_type_props_test_...[0.001 s] ok
[done in 0.016 s]
All elements are consts
proper_tests:811: native_type_props_test_...[0.001 s] ok
proper_tests:812: native_type_props_test_...[0.001 s] ok
[done in 0.008 s]
[done in 0.032 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_...[0.001 s] ok
proper_tests:817: native_type_props_test_...[0.001 s] ok
[done in 0.012 s]
Some elements are generators
proper_tests:819: native_type_props_test_...[0.001 s] ok
proper_tests:820: native_type_props_test_...[0.001 s] ok
proper_tests:821: native_type_props_test_...[0.001 s] ok
proper_tests:822: native_type_props_test_...[0.001 s] ok
proper_tests:823: native_type_props_test_...[0.001 s] ok
proper_tests:824: native_type_props_test_...[0.001 s] ok
[done in 0.024 s]
All elements are consts
proper_tests:826: native_type_props_test_...[0.001 s] ok
proper_tests:827: native_type_props_test_...[0.001 s] ok
proper_tests:828: native_type_props_test_...[0.001 s] ok
[done in 0.012 s]
[done in 0.048 s]
proper_tests:829: native_type_props_test_...[0.005 s] ok
proper_tests:830: native_type_props_test_...[0.014 s] ok
proper_tests:832: native_type_props_test_...[0.020 s] ok
proper_tests:833: native_type_props_test_...[0.005 s] ok
proper_tests:834: native_type_props_test_...[0.004 s] ok
proper_tests:835: native_type_props_test_...[0.005 s] ok
proper_tests:836: native_type_props_test_...[0.006 s] ok
proper_tests:837: native_type_props_test_...[0.018 s] ok
proper_tests:850: true_props_test_...[0.003 s] ok
proper_tests:851: true_props_test_...[0.009 s] ok
proper_tests:852: true_props_test_...[0.190 s] ok
proper_tests:853: true_props_test_...[0.189 s] ok
proper_tests:854: true_props_test_...[0.220 s] ok
proper_tests:855: true_props_test_...[0.236 s] ok
proper_tests:856: true_props_test_...[0.012 s] ok
proper_tests:857: true_props_test_...[0.012 s] ok
proper_tests:858: true_props_test_...[0.009 s] ok
proper_tests:859: true_props_test_...[0.032 s] ok
proper_tests:862: true_props_test_...[0.009 s] ok
proper_tests:865: true_props_test_...[0.012 s] ok
proper_tests:868: true_props_test_...[0.011 s] ok
proper_tests:870: true_props_test_...[0.004 s] ok
proper_tests:872: true_props_test_...ok
proper_tests:875: true_props_test_...ok
proper_tests:879: true_props_test_...[0.004 s] ok
proper_tests:880: true_props_test_...[0.006 s] ok
proper_tests:881: true_props_test_...[0.005 s] ok
proper_tests:882: true_props_test_...[0.005 s] ok
proper_tests:883: true_props_test_...[0.010 s] ok
proper_tests:884: true_props_test_...[0.005 s] ok
proper_tests:889: true_props_test_...[0.303 s] ok
proper_tests:890: true_props_test_...[0.341 s] ok
proper_tests:891: true_props_test_...[0.495 s] ok
proper_tests:892: true_props_test_...[0.463 s] ok
proper_tests:893: true_props_test_...[0.985 s] ok
proper_tests:894: true_props_test_...[1.547 s] ok
proper_tests:895: true_props_test_...[3.215 s] ok
proper_tests:896: true_props_test_...[1.227 s] ok
proper_tests:899: map_in_nextstate3_test_...[0.353 s] ok
proper_tests:900: map_in_nextstate3_test_...[0.986 s] ok
proper_tests:903: false_props_test_...[0.001 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.007 s] ok
proper_tests:925: false_props_test_...ok
proper_tests:931: false_props_test_...[0.003 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.011 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.004 s] ok
proper_tests:980: false_props_test_...[0.020 s] ok
proper_tests:981: false_props_test_...[0.012 s] ok
proper_tests:984: error_props_test_...[0.001 s] ok
proper_tests:986: error_props_test_...[0.012 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.010 s] ok
proper_tests:995: error_props_test_...[0.002 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.003 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_...[0.001 s] 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.991 s] ok
proper_tests:1112: adts3_test_...[4.818 s] ok
proper_tests:1117: parameter_test_...[0.008 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.005 s] ok
proper_tests:1171: can_generate_commands1_test_...[0.010 s] ok
proper_tests:1176: can_generate_parallel_commands0_test_...[0.056 s] ok
proper_tests:1181: can_generate_parallel_commands1_test_...[0.038 s] ok
proper_tests:1187: seeded_runs_return_same_result_test_...[0.016 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.001 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.798 s] ok
proper_tests:1231: can_generate_fsm_commands_test_...[0.048 s] ok
proper_tests:1231: can_generate_fsm_commands_test_...[0.031 s] ok
proper_tests:1235: transition_target_test_...[0.013 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.002 s] ok
proper_tests:1251: sampleshrink_test_...ok
[done in 0.008 s]
proper_tests: max_size_test...[0.004 s] ok
[done in 55.024 s]
[done in 55.025 s]
module 'proper_unicode'
module 'proper_dict'
module 'proper_array'
module 'proper_gb_sets'
module 'proper_gb_trees'
module 'proper_fsm'
module 'proper_arith'
module 'proper_orddict'
module 'proper_ordsets'
module 'proper_queue'
module 'proper_sa'
module 'proper_sets'
module 'proper_gen'
module 'auto_export_test1'
module 'auto_export_test2'
module 'proper_gen_next'
module 'error_statem'
module 'command_props'
module 'ets_counter'
module 'proper_shrink'
module 'improper_lists_statem'
module 'no_native_parse_test'
module 'nogen_statem'
module 'numbers_fsm'
module 'ets_statem'
module 'pdict_fsm'
module 'perf_max_size'
module 'pdict_statem'
module 'post_false'
module 'prec_false'
module 'proper_print'
proper_print:37: stacktrace_test_...ok
proper_print:39: stacktrace_test_...[0.001 s] ok
[done in 0.007 s]
module 'rec_props_test1'
module 'rec_test1'
module 'rec_test2'
module 'rec_props_test2'
module 'symb_statem_maps'
module 'symb_statem'
module 'to_remove'
module 'types_test1'
module 'types_test2'
module 'weird_types'
module 'let_tests'
module 'exists_tests'
exists_tests: strategy_test...ok
exists_tests: forall_sa_test...ok
exists_tests: exists_test...[0.009 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.004 s] ok
exists_tests: combine_test...[0.016 s] ok
exists_tests: biglist_test...[0.006 s] ok
exists_tests: let_test...[0.059 s] ok
exists_tests: suchthat_test...[0.014 s] ok
exists_tests: union_test...[0.023 s] ok
exists_tests: weighted_union_test...[0.023 s] ok
exists_tests: tuple_test...[0.036 s] ok
exists_tests: let_union_test...[0.057 s] ok
exists_tests: lazy_test...[0.086 s] ok
exists_tests: sized_test...[0.003 s] ok
exists_tests: edge_test...[0.037 s] ok
exists_tests:298: graph_test_...[0.484 s] ok
exists_tests: improper_list_test...[0.078 s] ok
exists_tests: reset_test...[0.029 s] ok
exists_tests:366: graph_match1_test_...[3.624 s] ok
exists_tests:372: graph_match2_test_...[0.735 s] ok
exists_tests: whenfail_test...ok
exists_tests: shrink1_test...[0.050 s] ok
exists_tests: shrink2_test...ok
exists_tests: shrink3_test...[0.010 s] ok
exists_tests: shrink4_test...ok
exists_tests: match_test...ok
exists_tests: match_and_shrink_test...[0.015 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 5.511 s]
module 'proper_specs_tests'
proper_specs_tests:49: check1_specs_test_...[0.194 s] ok
proper_specs_tests:52: check2_specs_test_...[0.104 s] ok
proper_specs_tests:55: check3_specs_test_...[0.005 s] ok
proper_specs_tests: check1_specs_test...[0.196 s] ok
proper_specs_tests: check2_specs_test...[0.099 s] ok
proper_specs_tests: check3_specs_test...[0.005 s] ok
[done in 0.621 s]
=======================================================
All 564 tests passed.
DEBUG: Reconstruct stdlib []
DEBUG: Reconstruct crypto [{fips_mode,false},{rand_cache_size,896}]
DEBUG: Reconstruct rebar [{log_level,warn},
{log_colored,uncolored},
{any_dir_modules,
[rebar_require_vsn,rebar_deps,rebar_subdirs,
rebar_templater,rebar_cleaner]},
{modules,
[{app_dir,
[rebar_proto_compiler,
rebar_protobuffs_compiler,
rebar_neotoma_compiler,
rebar_asn1_compiler,rebar_dia_compiler,
rebar_dialyzer,rebar_erlc_compiler,
rebar_lfe_compiler,rebar_erlydtl_compiler,
rebar_port_compiler,rebar_otp_app,
rebar_otp_appup,rebar_ct,rebar_eunit,
rebar_qc,rebar_escripter,rebar_edoc,
rebar_shell,rebar_xref,rebar_metacmds]},
{rel_dir,
[rebar_appups,rebar_reltool,
rebar_upgrade]}]},
{recursive_cmds,
['check-deps',compile,'delete-deps','get-deps',
'list-deps','update-deps']}]
+ CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables'
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables'
+ export FCFLAGS
+ LDFLAGS=' -Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-O1 -Wl,--build-id -Wl,--enable-new-dtags'
+ export LDFLAGS
+ VSN=1.3
+ export VSN
+ REBAR_VSN_CACHE_FILE=/home/iurt/rpmbuild/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 "/home/iurt/rpmbuild/BUILD/proper-1.3/rebar.config"
DEBUG: Rebar location: "/usr/bin/rebar"
DEBUG: Consult config file "/home/iurt/rpmbuild/BUILD/proper-1.3/src/proper.app.src"
DEBUG: Available deps: []
DEBUG: Missing deps : []
DEBUG: Plugins requested while processing /home/iurt/rpmbuild/BUILD/proper-1.3: []
DEBUG: Predirs: []
==> proper-1.3 (ct)
WARN: test directory present, but no common_test SUITES - skipping
DEBUG: Postdirs: []
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: erlang-proper-1.3-4.mga9.noarch
Executing(%doc): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.uGvp3Y
+ umask 022
+ cd /home/iurt/rpmbuild/BUILD
+ cd proper-1.3
+ DOCDIR=/home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/usr/share/doc/erlang-proper
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/usr/share/doc/erlang-proper
+ cp -pr doc /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/usr/share/doc/erlang-proper
+ cp -pr examples /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/usr/share/doc/erlang-proper
+ cp -pr README.md /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/usr/share/doc/erlang-proper
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.sPX4wI
+ umask 022
+ cd /home/iurt/rpmbuild/BUILD
+ cd proper-1.3
+ LICENSEDIR=/home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/usr/share/licenses/erlang-proper
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/usr/share/licenses/erlang-proper
+ cp -pr COPYING /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64/usr/share/licenses/erlang-proper
+ RPM_EC=0
++ jobs -p
+ exit 0
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend.
Provides: erlang-proper = 1.3-4.mga9
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: erlang-compiler(aarch-64) erlang-erts(aarch-64) erlang-kernel(aarch-64) erlang-stdlib(aarch-64) erlang-syntax_tools(aarch-64)
Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64
Wrote: /home/iurt/rpmbuild/RPMS/noarch/erlang-proper-1.3-4.mga9.noarch.rpm
Executing(%clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.rpwHcw
+ umask 022
+ cd /home/iurt/rpmbuild/BUILD
+ cd proper-1.3
+ /usr/bin/rm -rf /home/iurt/rpmbuild/BUILDROOT/erlang-proper-1.3-4.mga9.aarch64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(--clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.Ml3XHQ
+ umask 022
+ cd /home/iurt/rpmbuild/BUILD
+ rm -rf proper-1.3
+ RPM_EC=0
++ jobs -p
+ exit 0
D: [iurt_root_command] Success!