* Package:    dev-erlang/proper-1.2
 * Repository: gentoo
 * Maintainer: aidecoe@gentoo.org
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox test userpriv usersandbox
>>> Unpacking source...
>>> Unpacking proper-1.2.tar.gz to /var/tmp/portage/dev-erlang/proper-1.2/work
>>> Source unpacked in /var/tmp/portage/dev-erlang/proper-1.2/work
>>> Preparing source in /var/tmp/portage/dev-erlang/proper-1.2/work/proper-1.2 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/dev-erlang/proper-1.2/work/proper-1.2 ...
Using Erlang's 'random' ('rand' in 19.0 and later) module
>>> Source configured.
>>> Compiling source in /var/tmp/portage/dev-erlang/proper-1.2/work/proper-1.2 ...
==> proper-1.2 (compile)
INFO:  sh info:
	cwd: "/var/tmp/portage/dev-erlang/proper-1.2/work/proper-1.2"
	cmd: make include/compile_flags.hrl
./write_compile_flags include/compile_flags.hrl
Compiled src/strip_types.erl
Compiled src/vararg.erl
Compiled src/proper_types.erl
Compiled src/proper_array.erl
Compiled src/proper_arith.erl
Compiled src/proper_dict.erl
Compiled src/proper_fsm.erl
Compiled src/proper_gb_sets.erl
Compiled src/proper_gb_trees.erl
Compiled src/proper_orddict.erl
Compiled src/proper.erl
Compiled src/proper_ordsets.erl
Compiled src/proper_prop_remover.erl
Compiled src/proper_sets.erl
Compiled src/proper_queue.erl
Compiled src/proper_gen.erl
Compiled src/proper_shrink.erl
Compiled src/proper_symb.erl
Compiled src/proper_statem.erl
Compiled src/proper_transformer.erl
Compiled src/proper_unicode.erl
Compiled src/proper_unused_imports_remover.erl
src/proper_typeserver.erl:553: Warning: erlang:get_stacktrace/0 used following a 'try' expression may stop working in a future release. (Use it inside 'try'.)
src/proper_typeserver.erl:556: Warning: erlang:get_stacktrace/0 used following a 'try' expression may stop working in a future release. (Use it inside 'try'.)
src/proper_typeserver.erl:553: Warning: erlang:get_stacktrace/0 used following a 'try' expression may stop working in a future release. (Use it inside 'try'.)
src/proper_typeserver.erl:556: Warning: erlang:get_stacktrace/0 used following a 'try' expression may stop working in a future release. (Use it inside 'try'.)
Compiled src/proper_typeserver.erl
INFO:  No app_vars_file defined.
>>> Source compiled.
>>> Test phase: dev-erlang/proper-1.2
==> proper-1.2 (eunit)
INFO:  sh info:
	cwd: "/var/tmp/portage/dev-erlang/proper-1.2/work/proper-1.2"
	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_orddict.erl src/proper_ordsets.erl src/proper_prop_remover.erl src/proper_queue.erl src/proper_sets.erl src/proper_shrink.erl src/proper_statem.erl src/proper_symb.erl src/proper_transformer.erl src/proper_types.erl src/proper_typeserver.erl src/proper_unicode.erl src/proper_unused_imports_remover.erl src/strip_types.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/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/proper_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/to_remove.erl test/types_test1.erl test/types_test2.erl test/weird_types.erl ".eunit"
Compiled src/strip_types.erl
Compiled src/vararg.erl
Compiled src/strip_types.erl
Compiled src/vararg.erl
Compiled src/proper_transformer.erl
Compiled src/proper_prop_remover.erl
src/proper_typeserver.erl:553: Warning: erlang:get_stacktrace/0 used following a 'try' expression may stop working in a future release. (Use it inside 'try'.)
src/proper_typeserver.erl:556: Warning: erlang:get_stacktrace/0 used following a 'try' expression may stop working in a future release. (Use it inside 'try'.)
src/proper_typeserver.erl:553: Warning: erlang:get_stacktrace/0 used following a 'try' expression may stop working in a future release. (Use it inside 'try'.)
src/proper_typeserver.erl:556: Warning: erlang:get_stacktrace/0 used following a 'try' expression may stop working in a future release. (Use it inside 'try'.)
Compiled src/proper_typeserver.erl
Compiled src/proper_unused_imports_remover.erl
Compiled src/proper.erl
Compiled src/proper_statem.erl
Compiled src/proper_symb.erl
Compiled src/proper_types.erl
Compiled src/proper_unicode.erl
Compiled src/proper_dict.erl
Compiled src/proper_array.erl
Compiled src/proper_arith.erl
Compiled src/proper_gb_sets.erl
Compiled src/proper_fsm.erl
Compiled src/proper_gb_trees.erl
Compiled src/proper_ordsets.erl
Compiled src/proper_orddict.erl
Compiled src/proper_sets.erl
Compiled src/proper_gen.erl
Compiled src/proper_queue.erl
test/auto_export_test2.erl:32: Warning: function prop_1/0 is unused
test/auto_export_test2.erl:32: Warning: function prop_1/0 is unused
Compiled test/auto_export_test2.erl
test/auto_export_test1.erl:31: Warning: missing specification for function prop_1/0
test/auto_export_test1.erl:31: Warning: missing specification for function prop_1/0
Compiled test/auto_export_test1.erl
test/error_statem.erl:25: Warning: export_all flag enabled - all functions will be exported
test/error_statem.erl:29: Warning: record state has field(s) without type information
test/error_statem.erl:25: Warning: export_all flag enabled - all functions will be exported
test/error_statem.erl:29: Warning: record state has field(s) without type information
Compiled test/error_statem.erl
Compiled src/proper_shrink.erl
test/command_props.erl:40: Warning: missing specification for function prop_index/0
test/command_props.erl:45: Warning: missing specification for function prop_all_insertions/0
test/command_props.erl:57: Warning: missing specification for function prop_insert_all/0
test/command_props.erl:72: Warning: missing specification for function prop_zip/0
test/command_props.erl:87: Warning: missing specification for function prop_state_after/0
test/command_props.erl:96: Warning: missing specification for function prop_parallel_ets_counter/0
test/command_props.erl:104: Warning: missing specification for function prop_check_true/0
test/command_props.erl:40: Warning: missing specification for function prop_index/0
test/command_props.erl:45: Warning: missing specification for function prop_all_insertions/0
test/command_props.erl:57: Warning: missing specification for function prop_insert_all/0
test/command_props.erl:72: Warning: missing specification for function prop_zip/0
test/command_props.erl:87: Warning: missing specification for function prop_state_after/0
test/command_props.erl:96: Warning: missing specification for function prop_parallel_ets_counter/0
test/command_props.erl:104: Warning: missing specification for function prop_check_true/0
Compiled test/command_props.erl
test/ets_counter.erl:29: Warning: export_all flag enabled - all functions will be exported
test/ets_counter.erl:29: Warning: export_all flag enabled - all functions will be exported
Compiled test/ets_counter.erl
test/improper_lists_statem.erl:14: Warning: missing specification for function command/1
test/improper_lists_statem.erl:17: Warning: missing specification for function initial_state/0
test/improper_lists_statem.erl:20: Warning: missing specification for function next_state/3
test/improper_lists_statem.erl:23: Warning: missing specification for function precondition/2
test/improper_lists_statem.erl:26: Warning: missing specification for function postcondition/3
test/improper_lists_statem.erl:29: Warning: missing specification for function foo/1
test/improper_lists_statem.erl:32: Warning: missing specification for function prop_simple/0
test/improper_lists_statem.erl:14: Warning: missing specification for function command/1
test/improper_lists_statem.erl:17: Warning: missing specification for function initial_state/0
test/improper_lists_statem.erl:20: Warning: missing specification for function next_state/3
test/improper_lists_statem.erl:23: Warning: missing specification for function precondition/2
test/improper_lists_statem.erl:26: Warning: missing specification for function postcondition/3
test/improper_lists_statem.erl:29: Warning: missing specification for function foo/1
test/improper_lists_statem.erl:32: Warning: missing specification for function prop_simple/0
Compiled test/improper_lists_statem.erl
test/ets_statem.erl:76: Warning: missing specification for function initial_state/1
test/ets_statem.erl:79: Warning: missing specification for function command/1
test/ets_statem.erl:89: Warning: missing specification for function precondition/2
test/ets_statem.erl:100: Warning: missing specification for function next_state/3
test/ets_statem.erl:175: Warning: missing specification for function postcondition/3
test/ets_statem.erl:218: Warning: missing specification for function prop_ets/0
test/ets_statem.erl:231: Warning: missing specification for function prop_parallel_ets/0
test/ets_statem.erl:247: Warning: missing specification for function set_up/0
test/ets_statem.erl:253: Warning: missing specification for function clean_up/0
test/ets_statem.erl:76: Warning: missing specification for function initial_state/1
test/ets_statem.erl:79: Warning: missing specification for function command/1
test/ets_statem.erl:89: Warning: missing specification for function precondition/2
test/ets_statem.erl:100: Warning: missing specification for function next_state/3
test/ets_statem.erl:175: Warning: missing specification for function postcondition/3
test/ets_statem.erl:218: Warning: missing specification for function prop_ets/0
test/ets_statem.erl:231: Warning: missing specification for function prop_parallel_ets/0
test/ets_statem.erl:247: Warning: missing specification for function set_up/0
test/ets_statem.erl:253: Warning: missing specification for function clean_up/0
Compiled test/ets_statem.erl
test/no_native_parse_test.erl:33: Warning: missing specification for function prop_1/0
test/no_native_parse_test.erl:33: Warning: missing specification for function prop_1/0
Compiled test/no_native_parse_test.erl
test/let_tests.erl:33: Warning: missing specification for function prop_1/0
test/let_tests.erl:36: Warning: type rng() is unused
test/let_tests.erl:40: Warning: missing specification for function prop_2/0
test/let_tests.erl:33: Warning: missing specification for function prop_1/0
test/let_tests.erl:36: Warning: type rng() is unused
test/let_tests.erl:40: Warning: missing specification for function prop_2/0
Compiled test/let_tests.erl
test/nogen_statem.erl:25: Warning: export_all flag enabled - all functions will be exported
test/nogen_statem.erl:25: Warning: export_all flag enabled - all functions will be exported
Compiled test/nogen_statem.erl
test/numbers_fsm.erl:26: Warning: export_all flag enabled - all functions will be exported
test/numbers_fsm.erl:26: Warning: export_all flag enabled - all functions will be exported
Compiled test/numbers_fsm.erl
test/pdict_fsm.erl:39: Warning: missing specification for function test/0
test/pdict_fsm.erl:42: Warning: missing specification for function test/1
test/pdict_fsm.erl:45: Warning: missing specification for function prop_pdict/0
test/pdict_fsm.erl:58: Warning: missing specification for function set_up/0
test/pdict_fsm.erl:60: Warning: missing specification for function clean_up/0
test/pdict_fsm.erl:69: Warning: missing specification for function initial_state/0
test/pdict_fsm.erl:71: Warning: missing specification for function initial_state_data/0
test/pdict_fsm.erl:73: Warning: missing specification for function empty_pdict/1
test/pdict_fsm.erl:76: Warning: missing specification for function non_empty_pdict/1
test/pdict_fsm.erl:82: Warning: missing specification for function precondition/4
test/pdict_fsm.erl:91: Warning: missing specification for function postcondition/5
test/pdict_fsm.erl:100: Warning: missing specification for function next_state_data/5
test/pdict_fsm.erl:110: Warning: missing specification for function weight/3
test/pdict_fsm.erl:114: Warning: missing specification for function sample_commands/0
test/pdict_fsm.erl:39: Warning: missing specification for function test/0
test/pdict_fsm.erl:42: Warning: missing specification for function test/1
test/pdict_fsm.erl:45: Warning: missing specification for function prop_pdict/0
test/pdict_fsm.erl:58: Warning: missing specification for function set_up/0
test/pdict_fsm.erl:60: Warning: missing specification for function clean_up/0
test/pdict_fsm.erl:69: Warning: missing specification for function initial_state/0
test/pdict_fsm.erl:71: Warning: missing specification for function initial_state_data/0
test/pdict_fsm.erl:73: Warning: missing specification for function empty_pdict/1
test/pdict_fsm.erl:76: Warning: missing specification for function non_empty_pdict/1
test/pdict_fsm.erl:82: Warning: missing specification for function precondition/4
test/pdict_fsm.erl:91: Warning: missing specification for function postcondition/5
test/pdict_fsm.erl:100: Warning: missing specification for function next_state_data/5
test/pdict_fsm.erl:110: Warning: missing specification for function weight/3
test/pdict_fsm.erl:114: Warning: missing specification for function sample_commands/0
Compiled test/pdict_fsm.erl
test/pdict_statem.erl:39: Warning: missing specification for function test/0
test/pdict_statem.erl:42: Warning: missing specification for function test/1
test/pdict_statem.erl:45: Warning: missing specification for function prop_pdict/0
test/pdict_statem.erl:56: Warning: missing specification for function set_up/0
test/pdict_statem.erl:58: Warning: missing specification for function clean_up/0
test/pdict_statem.erl:64: Warning: missing specification for function initial_state/0
test/pdict_statem.erl:67: Warning: missing specification for function command/1
test/pdict_statem.erl:76: Warning: missing specification for function precondition/2
test/pdict_statem.erl:83: Warning: missing specification for function postcondition/3
test/pdict_statem.erl:92: Warning: missing specification for function next_state/3
test/pdict_statem.erl:39: Warning: missing specification for function test/0
test/pdict_statem.erl:42: Warning: missing specification for function test/1
test/pdict_statem.erl:45: Warning: missing specification for function prop_pdict/0
test/pdict_statem.erl:56: Warning: missing specification for function set_up/0
test/pdict_statem.erl:58: Warning: missing specification for function clean_up/0
test/pdict_statem.erl:64: Warning: missing specification for function initial_state/0
test/pdict_statem.erl:67: Warning: missing specification for function command/1
test/pdict_statem.erl:76: Warning: missing specification for function precondition/2
test/pdict_statem.erl:83: Warning: missing specification for function postcondition/3
test/pdict_statem.erl:92: Warning: missing specification for function next_state/3
Compiled test/pdict_statem.erl
test/perf_max_size.erl:34: Warning: missing specification for function prop_identity/0
test/perf_max_size.erl:34: Warning: missing specification for function prop_identity/0
Compiled test/perf_max_size.erl
test/post_false.erl:25: Warning: export_all flag enabled - all functions will be exported
test/post_false.erl:25: Warning: export_all flag enabled - all functions will be exported
Compiled test/post_false.erl
test/prec_false.erl:25: Warning: export_all flag enabled - all functions will be exported
test/prec_false.erl:25: Warning: export_all flag enabled - all functions will be exported
Compiled test/prec_false.erl
test/proper_print.erl:0: Warning: missing specification for function test/0
test/proper_print.erl:33: Warning: missing specification for function stacktrace_test_/0
test/proper_print.erl:0: Warning: missing specification for function test/0
test/proper_print.erl:33: Warning: missing specification for function stacktrace_test_/0
Compiled test/proper_print.erl
test/proper_specs_tests.erl:0: Warning: missing specification for function test/0
test/proper_specs_tests.erl:45: Warning: missing specification for function check1_specs_test_/0
test/proper_specs_tests.erl:48: Warning: missing specification for function check2_specs_test_/0
test/proper_specs_tests.erl:51: Warning: missing specification for function check3_specs_test_/0
test/proper_specs_tests.erl:58: Warning: missing specification for function check1_specs_test/0
test/proper_specs_tests.erl:76: Warning: missing specification for function check2_specs_test/0
test/proper_specs_tests.erl:100: Warning: missing specification for function check3_specs_test/0
test/proper_specs_tests.erl:0: Warning: missing specification for function test/0
test/proper_specs_tests.erl:45: Warning: missing specification for function check1_specs_test_/0
test/proper_specs_tests.erl:48: Warning: missing specification for function check2_specs_test_/0
test/proper_specs_tests.erl:51: Warning: missing specification for function check3_specs_test_/0
test/proper_specs_tests.erl:58: Warning: missing specification for function check1_specs_test/0
test/proper_specs_tests.erl:76: Warning: missing specification for function check2_specs_test/0
test/proper_specs_tests.erl:100: Warning: missing specification for function check3_specs_test/0
Compiled test/proper_specs_tests.erl
test/rec_props_test1.erl:33: Warning: missing specification for function prop_1/0
test/rec_props_test1.erl:33: Warning: missing specification for function prop_1/0
Compiled test/rec_props_test1.erl
test/rec_test1.erl:39: Warning: type bb() is unused
test/rec_test1.erl:39: Warning: type bb() is unused
Compiled test/rec_test1.erl
test/rec_test2.erl:29: Warning: opaque type b() is not exported
test/rec_test2.erl:29: Warning: opaque type b() is not exported
Compiled test/rec_test2.erl
test/rec_props_test2.erl:33: Warning: missing specification for function prop_2/0
test/rec_props_test2.erl:33: Warning: missing specification for function prop_2/0
Compiled test/rec_props_test2.erl
Compiled test/to_remove.erl
test/types_test1.erl:28: Warning: record rec1 has field(s) without type information
test/types_test1.erl:31: Warning: type type1() is unused
test/types_test1.erl:32: Warning: type type2(_) is unused
test/types_test1.erl:33: Warning: type rem1() is unused
test/types_test1.erl:34: Warning: type rem2() is unused
test/types_test1.erl:28: Warning: record rec1 has field(s) without type information
test/types_test1.erl:31: Warning: type type1() is unused
test/types_test1.erl:32: Warning: type type2(_) is unused
test/types_test1.erl:33: Warning: type rem1() is unused
test/types_test1.erl:34: Warning: type rem2() is unused
Compiled test/types_test1.erl
test/symb_statem.erl:25: Warning: export_all flag enabled - all functions will be exported
test/symb_statem.erl:29: Warning: record state has field(s) without type information
test/types_test2.erl:30: Warning: record rec1 is unused
test/symb_statem.erl:25: Warning: export_all flag enabled - all functions will be exported
test/symb_statem.erl:29: Warning: record state has field(s) without type information
Compiled test/symb_statem.erl
test/types_test2.erl:30: Warning: record rec1 is unused
Compiled test/types_test2.erl
test/weird_types.erl:28: Warning: export_all flag enabled - all functions will be exported
test/weird_types.erl:35: Warning: type hd(_) is unused
test/weird_types.erl:28: Warning: export_all flag enabled - all functions will be exported
test/weird_types.erl:35: Warning: type hd(_) is unused
Compiled test/weird_types.erl
test/proper_tests.erl:0: Warning: missing specification for function test/0
test/proper_tests.erl:699: Warning: missing specification for function simple_types_test_/0
test/proper_tests.erl:702: Warning: missing specification for function constructed_types_test_/0
test/proper_tests.erl:708: Warning: missing specification for function shrinks_to_test_/0
test/proper_tests.erl:714: Warning: missing specification for function native_shrinks_to_test_/0
test/proper_tests.erl:720: Warning: missing specification for function cant_generate_test_/0
test/proper_tests.erl:723: Warning: missing specification for function native_cant_translate_test_/0
test/proper_tests.erl:727: Warning: missing specification for function remote_native_types_test_/0
test/proper_tests.erl:731: Warning: missing specification for function recursive_native_types_test_/0
test/proper_tests.erl:735: Warning: missing specification for function recursive_native_cant_translate_test_/0
test/proper_tests.erl:740: Warning: missing specification for function random_functions_test_/0
test/proper_tests.erl:745: Warning: missing specification for function parse_transform_test_/0
test/proper_tests.erl:752: Warning: missing specification for function native_type_props_test_/0
test/proper_tests.erl:768: Warning: this clause cannot match because a previous clause at line 768 always matches
test/proper_tests.erl:839: Warning: type bin4() is unused
test/proper_tests.erl:840: Warning: type bits42() is unused
test/proper_tests.erl:841: Warning: type bits5x() is unused
test/proper_tests.erl:842: Warning: type bits7x() is unused
test/proper_tests.erl:844: Warning: record untyped has field(s) without type information
test/proper_tests.erl:845: Warning: type untyped() is unused
test/proper_tests.erl:847: Warning: missing specification for function true_props_test_/0
test/proper_tests.erl:896: Warning: missing specification for function false_props_test_/0
test/proper_tests.erl:911: Warning: this clause cannot match because a previous clause at line 911 always matches
test/proper_tests.erl:917: Warning: this clause cannot match because a previous clause at line 917 always matches
test/proper_tests.erl:932: Warning: this clause cannot match because a previous clause at line 932 always matches
test/proper_tests.erl:938: Warning: this clause cannot match because a previous clause at line 938 always matches
test/proper_tests.erl:943: Warning: this clause cannot match because a previous clause at line 943 always matches
test/proper_tests.erl:944: Warning: this clause cannot match because a previous clause at line 944 always matches
test/proper_tests.erl:945: Warning: this clause cannot match because a previous clause at line 945 always matches
test/proper_tests.erl:974: Warning: this clause cannot match because a previous clause at line 974 always matches
test/proper_tests.erl:975: Warning: this clause cannot match because a previous clause at line 975 always matches
test/proper_tests.erl:976: Warning: this clause cannot match because a previous clause at line 976 always matches
test/proper_tests.erl:978: Warning: missing specification for function error_props_test_/0
test/proper_tests.erl:1007: Warning: missing specification for function eval_test_/0
test/proper_tests.erl:1011: Warning: missing specification for function pretty_print_test_/0
test/proper_tests.erl:1015: Warning: missing specification for function not_defined_test_/0
test/proper_tests.erl:1019: Warning: missing specification for function options_test_/0
test/proper_tests.erl:1028: Warning: this clause cannot match because a previous clause at line 1028 always matches
test/proper_tests.erl:1044: Warning: missing specification for function adts_test_/0
test/proper_tests.erl:1052: Warning: this clause cannot match because a previous clause at line 1052 always matches
test/proper_tests.erl:1056: Warning: missing specification for function parameter_test_/0
test/proper_tests.erl:1064: Warning: missing specification for function zip_test_/0
test/proper_tests.erl:1068: Warning: missing specification for function command_names_test_/0
test/proper_tests.erl:1072: Warning: missing specification for function command_names_parallel1_test_/0
test/proper_tests.erl:1076: Warning: missing specification for function command_names_parallel2_test_/0
test/proper_tests.erl:1080: Warning: missing specification for function command_names_parallel3_test_/0
test/proper_tests.erl:1084: Warning: missing specification for function command_names_parallel4_test_/0
test/proper_tests.erl:1088: Warning: missing specification for function valid_cmds_test_/0
test/proper_tests.erl:1092: Warning: missing specification for function invalid_cmds_test_/0
test/proper_tests.erl:1098: Warning: missing specification for function state_after_test_/0
test/proper_tests.erl:1102: Warning: missing specification for function cannot_generate_commands_test_/0
test/proper_tests.erl:1106: Warning: missing specification for function can_generate_commands0_test_/0
test/proper_tests.erl:1110: Warning: missing specification for function can_generate_commands1_test_/0
test/proper_tests.erl:1114: Warning: missing specification for function can_generate_parallel_commands0_test_/0
test/proper_tests.erl:1119: Warning: missing specification for function can_generate_parallel_commands1_test_/0
test/proper_tests.erl:1126: Warning: missing specification for function seeded_runs_return_same_result_test_/0
test/proper_tests.erl:1130: Warning: missing specification for function run_valid_commands_test_/0
test/proper_tests.erl:1134: Warning: missing specification for function run_invalid_precondition_test_/0
test/proper_tests.erl:1139: Warning: missing specification for function run_init_error_test_/0
test/proper_tests.erl:1144: Warning: missing specification for function run_postcondition_false_test/0
test/proper_tests.erl:1148: Warning: missing specification for function run_exception_test/0
test/proper_tests.erl:1153: Warning: missing specification for function get_next_test_/0
test/proper_tests.erl:1158: Warning: missing specification for function mk_first_comb_test_/0
test/proper_tests.erl:1162: Warning: missing specification for function args_not_defined_test/0
test/proper_tests.erl:1166: Warning: missing specification for function command_props_test_/0
test/proper_tests.erl:1170: Warning: missing specification for function can_generate_fsm_commands_test_/0
test/proper_tests.erl:1174: Warning: missing specification for function transition_target_test_/0
test/proper_tests.erl:1177: Warning: missing specification for function dollar_only_cp_test_/0
test/proper_tests.erl:1185: Warning: missing specification for function sampleshrink_test_/0
test/proper_tests.erl:1200: Warning: missing specification for function max_size_test/0
test/proper_tests.erl:1320: Warning: type my_native_type() is unused
test/proper_tests.erl:1322: Warning: type type_and_fun() is unused
test/proper_tests.erl:1324: Warning: type type_only() is unused
test/proper_tests.erl:1325: Warning: type id(_) is unused
test/proper_tests.erl:1326: Warning: type lof() is unused
test/proper_tests.erl:0: Warning: missing specification for function test/0
test/proper_tests.erl:699: Warning: missing specification for function simple_types_test_/0
test/proper_tests.erl:702: Warning: missing specification for function constructed_types_test_/0
test/proper_tests.erl:708: Warning: missing specification for function shrinks_to_test_/0
test/proper_tests.erl:714: Warning: missing specification for function native_shrinks_to_test_/0
test/proper_tests.erl:720: Warning: missing specification for function cant_generate_test_/0
test/proper_tests.erl:723: Warning: missing specification for function native_cant_translate_test_/0
test/proper_tests.erl:727: Warning: missing specification for function remote_native_types_test_/0
test/proper_tests.erl:731: Warning: missing specification for function recursive_native_types_test_/0
test/proper_tests.erl:735: Warning: missing specification for function recursive_native_cant_translate_test_/0
test/proper_tests.erl:740: Warning: missing specification for function random_functions_test_/0
test/proper_tests.erl:745: Warning: missing specification for function parse_transform_test_/0
test/proper_tests.erl:752: Warning: missing specification for function native_type_props_test_/0
test/proper_tests.erl:768: Warning: this clause cannot match because a previous clause at line 768 always matches
test/proper_tests.erl:839: Warning: type bin4() is unused
test/proper_tests.erl:840: Warning: type bits42() is unused
test/proper_tests.erl:841: Warning: type bits5x() is unused
test/proper_tests.erl:842: Warning: type bits7x() is unused
test/proper_tests.erl:844: Warning: record untyped has field(s) without type information
test/proper_tests.erl:845: Warning: type untyped() is unused
test/proper_tests.erl:847: Warning: missing specification for function true_props_test_/0
test/proper_tests.erl:896: Warning: missing specification for function false_props_test_/0
test/proper_tests.erl:911: Warning: this clause cannot match because a previous clause at line 911 always matches
test/proper_tests.erl:917: Warning: this clause cannot match because a previous clause at line 917 always matches
test/proper_tests.erl:932: Warning: this clause cannot match because a previous clause at line 932 always matches
test/proper_tests.erl:938: Warning: this clause cannot match because a previous clause at line 938 always matches
test/proper_tests.erl:943: Warning: this clause cannot match because a previous clause at line 943 always matches
test/proper_tests.erl:944: Warning: this clause cannot match because a previous clause at line 944 always matches
test/proper_tests.erl:945: Warning: this clause cannot match because a previous clause at line 945 always matches
test/proper_tests.erl:974: Warning: this clause cannot match because a previous clause at line 974 always matches
test/proper_tests.erl:975: Warning: this clause cannot match because a previous clause at line 975 always matches
test/proper_tests.erl:976: Warning: this clause cannot match because a previous clause at line 976 always matches
test/proper_tests.erl:978: Warning: missing specification for function error_props_test_/0
test/proper_tests.erl:1007: Warning: missing specification for function eval_test_/0
test/proper_tests.erl:1011: Warning: missing specification for function pretty_print_test_/0
test/proper_tests.erl:1015: Warning: missing specification for function not_defined_test_/0
test/proper_tests.erl:1019: Warning: missing specification for function options_test_/0
test/proper_tests.erl:1028: Warning: this clause cannot match because a previous clause at line 1028 always matches
test/proper_tests.erl:1044: Warning: missing specification for function adts_test_/0
test/proper_tests.erl:1052: Warning: this clause cannot match because a previous clause at line 1052 always matches
test/proper_tests.erl:1056: Warning: missing specification for function parameter_test_/0
test/proper_tests.erl:1064: Warning: missing specification for function zip_test_/0
test/proper_tests.erl:1068: Warning: missing specification for function command_names_test_/0
test/proper_tests.erl:1072: Warning: missing specification for function command_names_parallel1_test_/0
test/proper_tests.erl:1076: Warning: missing specification for function command_names_parallel2_test_/0
test/proper_tests.erl:1080: Warning: missing specification for function command_names_parallel3_test_/0
test/proper_tests.erl:1084: Warning: missing specification for function command_names_parallel4_test_/0
test/proper_tests.erl:1088: Warning: missing specification for function valid_cmds_test_/0
test/proper_tests.erl:1092: Warning: missing specification for function invalid_cmds_test_/0
test/proper_tests.erl:1098: Warning: missing specification for function state_after_test_/0
test/proper_tests.erl:1102: Warning: missing specification for function cannot_generate_commands_test_/0
test/proper_tests.erl:1106: Warning: missing specification for function can_generate_commands0_test_/0
test/proper_tests.erl:1110: Warning: missing specification for function can_generate_commands1_test_/0
test/proper_tests.erl:1114: Warning: missing specification for function can_generate_parallel_commands0_test_/0
test/proper_tests.erl:1119: Warning: missing specification for function can_generate_parallel_commands1_test_/0
test/proper_tests.erl:1126: Warning: missing specification for function seeded_runs_return_same_result_test_/0
test/proper_tests.erl:1130: Warning: missing specification for function run_valid_commands_test_/0
test/proper_tests.erl:1134: Warning: missing specification for function run_invalid_precondition_test_/0
test/proper_tests.erl:1139: Warning: missing specification for function run_init_error_test_/0
test/proper_tests.erl:1144: Warning: missing specification for function run_postcondition_false_test/0
test/proper_tests.erl:1148: Warning: missing specification for function run_exception_test/0
test/proper_tests.erl:1153: Warning: missing specification for function get_next_test_/0
test/proper_tests.erl:1158: Warning: missing specification for function mk_first_comb_test_/0
test/proper_tests.erl:1162: Warning: missing specification for function args_not_defined_test/0
test/proper_tests.erl:1166: Warning: missing specification for function command_props_test_/0
test/proper_tests.erl:1170: Warning: missing specification for function can_generate_fsm_commands_test_/0
test/proper_tests.erl:1174: Warning: missing specification for function transition_target_test_/0
test/proper_tests.erl:1177: Warning: missing specification for function dollar_only_cp_test_/0
test/proper_tests.erl:1185: Warning: missing specification for function sampleshrink_test_/0
test/proper_tests.erl:1200: Warning: missing specification for function max_size_test/0
test/proper_tests.erl:1320: Warning: type my_native_type() is unused
test/proper_tests.erl:1322: Warning: type type_and_fun() is unused
test/proper_tests.erl:1324: Warning: type type_only() is unused
test/proper_tests.erl:1325: Warning: type id(_) is unused
test/proper_tests.erl:1326: Warning: type lof() is unused
Compiled test/proper_tests.erl
======================== EUnit ========================
module 'strip_types'
module 'vararg'
module 'proper_transformer'
module 'proper_prop_remover'
module 'proper_typeserver'
module 'proper_unused_imports_remover'
module 'proper'
  module 'proper_tests'
    proper_tests:700: simple_types_test_...[0.035 s] ok
    proper_tests:700: simple_types_test_...[0.026 s] ok
    proper_tests:700: simple_types_test_...[0.024 s] ok
    proper_tests:700: simple_types_test_...[0.024 s] ok
    proper_tests:700: simple_types_test_...[0.024 s] ok
    proper_tests:700: simple_types_test_...[0.024 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...[0.001 s] ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.024 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.024 s] ok
    proper_tests:700: simple_types_test_...[0.024 s] ok
    proper_tests:700: simple_types_test_...[0.024 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.022 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.021 s] ok
    proper_tests:700: simple_types_test_...[0.018 s] ok
    proper_tests:700: simple_types_test_...[0.024 s] ok
    proper_tests:700: simple_types_test_...[0.022 s] ok
    proper_tests:700: simple_types_test_...[0.001 s] ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...[0.018 s] ok
    proper_tests:700: simple_types_test_...[0.018 s] ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...[0.028 s] ok
    proper_tests:700: simple_types_test_...[0.018 s] ok
    proper_tests:700: simple_types_test_...[0.017 s] ok
    proper_tests:700: simple_types_test_...[0.001 s] ok
    proper_tests:700: simple_types_test_...[0.003 s] ok
    proper_tests:700: simple_types_test_...[0.006 s] ok
    proper_tests:700: simple_types_test_...[0.007 s] ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...[0.001 s] ok
    proper_tests:700: simple_types_test_...[0.001 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.025 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.004 s] ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...[0.001 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.001 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.001 s] ok
    proper_tests:700: simple_types_test_...[0.027 s] ok
    proper_tests:700: simple_types_test_...[0.135 s] ok
    proper_tests:700: simple_types_test_...[0.031 s] ok
    proper_tests:700: simple_types_test_...[0.025 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:703: constructed_types_test_...[0.023 s] ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...[0.004 s] ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...[0.036 s] ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...[0.004 s] ok
    proper_tests:703: constructed_types_test_...[0.318 s] ok
    proper_tests:703: constructed_types_test_...[0.211 s] ok
    proper_tests:703: constructed_types_test_...[0.031 s] ok
    proper_tests:703: constructed_types_test_...[0.027 s] ok
    proper_tests:703: constructed_types_test_...[0.030 s] ok
    proper_tests:703: constructed_types_test_...[0.026 s] ok
    proper_tests:703: constructed_types_test_...[0.027 s] ok
    proper_tests:703: constructed_types_test_...[0.026 s] ok
    proper_tests:703: constructed_types_test_...[0.026 s] ok
    proper_tests:703: constructed_types_test_...[0.001 s] ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...[0.001 s] ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...[0.001 s] ok
    proper_tests:703: constructed_types_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...[0.004 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...[0.002 s] ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...[0.002 s] ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...[0.004 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.002 s] ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...[0.003 s] ok
    proper_tests:709: shrinks_to_test_...[0.003 s] ok
    proper_tests:709: shrinks_to_test_...[0.002 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.002 s] ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...[0.003 s] ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...[0.002 s] ok
    proper_tests:709: shrinks_to_test_...[0.004 s] ok
    proper_tests:709: shrinks_to_test_...[0.003 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.002 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.006 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.002 s] ok
    proper_tests:709: shrinks_to_test_...[0.007 s] ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.108 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.109 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.106 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.089 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.115 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.113 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.114 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.113 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.099 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.109 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.099 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.089 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.105 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.116 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.111 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.105 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.113 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.110 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.109 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.111 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.099 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.107 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.102 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.113 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.108 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.101 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.116 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.110 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.116 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.113 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.116 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.115 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.118 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.114 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.116 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.115 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.115 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.116 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.121 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.115 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.113 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.114 s] ok
    proper_tests:721: cant_generate_test_...ok
    proper_tests:721: cant_generate_test_...ok
    proper_tests:721: cant_generate_test_...ok
    proper_tests:721: cant_generate_test_...ok
    proper_tests:721: cant_generate_test_...ok
    proper_tests:721: cant_generate_test_...[0.002 s] ok
    proper_tests:721: cant_generate_test_...[0.001 s] ok
    proper_tests:721: cant_generate_test_...ok
    proper_tests:721: cant_generate_test_...[0.006 s] ok
    proper_tests:721: cant_generate_test_...ok
    proper_tests:724: native_cant_translate_test_...ok
    proper_tests:724: native_cant_translate_test_...[0.083 s] ok
    proper_tests:724: native_cant_translate_test_...[0.001 s] ok
    proper_tests:724: native_cant_translate_test_...[0.001 s] ok
    proper_tests:724: native_cant_translate_test_...[0.001 s] ok
    proper_tests:724: native_cant_translate_test_...[0.001 s] ok
    proper_tests:724: native_cant_translate_test_...[0.001 s] ok
    proper_tests:724: native_cant_translate_test_...[0.001 s] ok
    proper_tests:724: native_cant_translate_test_...[0.001 s] ok
    proper_tests:728: remote_native_types_test_...[0.001 s] ok
    proper_tests:728: remote_native_types_test_...[0.001 s] ok
    proper_tests:728: remote_native_types_test_...[0.001 s] ok
    proper_tests:728: remote_native_types_test_...[0.001 s] ok
    proper_tests:728: remote_native_types_test_...[0.001 s] ok
    proper_tests:728: remote_native_types_test_...[0.001 s] ok
    proper_tests:728: remote_native_types_test_...[0.002 s] ok
    proper_tests:728: remote_native_types_test_...[0.001 s] ok
    proper_tests:728: remote_native_types_test_...[0.001 s] ok
    proper_tests:728: remote_native_types_test_...[0.002 s] ok
    proper_tests:728: remote_native_types_test_...[0.001 s] ok
    proper_tests:728: remote_native_types_test_...[0.001 s] ok
    proper_tests:728: remote_native_types_test_...[0.001 s] ok
    proper_tests:728: remote_native_types_test_...[0.001 s] ok
    proper_tests:728: remote_native_types_test_...[0.001 s] ok
    proper_tests:728: remote_native_types_test_...[0.001 s] ok
    proper_tests:732: recursive_native_types_test_...[0.034 s] ok
    proper_tests:732: recursive_native_types_test_...[0.004 s] ok
    proper_tests:732: recursive_native_types_test_...[0.029 s] ok
    proper_tests:732: recursive_native_types_test_...[0.032 s] ok
    proper_tests:732: recursive_native_types_test_...[0.008 s] ok
    proper_tests:732: recursive_native_types_test_...[0.003 s] ok
    proper_tests:732: recursive_native_types_test_...[0.016 s] ok
    proper_tests:732: recursive_native_types_test_...[0.070 s] ok
    proper_tests:732: recursive_native_types_test_...[0.006 s] ok
    proper_tests:732: recursive_native_types_test_...[0.016 s] ok
    proper_tests:732: recursive_native_types_test_...[0.002 s] ok
    proper_tests:732: recursive_native_types_test_...[0.009 s] ok
    proper_tests:732: recursive_native_types_test_...[0.028 s] ok
    proper_tests:736: recursive_native_cant_translate_test_...[0.001 s] ok
    proper_tests:736: recursive_native_cant_translate_test_...[0.001 s] ok
    proper_tests:736: recursive_native_cant_translate_test_...[0.001 s] ok
    proper_tests:736: recursive_native_cant_translate_test_...[0.001 s] ok
    proper_tests:736: recursive_native_cant_translate_test_...[0.001 s] ok
    proper_tests:736: recursive_native_cant_translate_test_...ok
    proper_tests:736: recursive_native_cant_translate_test_...ok
    proper_tests:736: recursive_native_cant_translate_test_...[0.001 s] ok
    proper_tests:741: random_functions_test_...ok
    proper_tests:742: random_functions_test_...[0.005 s] ok
    proper_tests:741: random_functions_test_...ok
    proper_tests:742: random_functions_test_...[0.005 s] ok
    proper_tests:741: random_functions_test_...ok
    proper_tests:742: random_functions_test_...[0.005 s] ok
    proper_tests:741: random_functions_test_...ok
    proper_tests:742: random_functions_test_...[0.005 s] ok
    proper_tests:746: parse_transform_test_...[0.004 s] ok
    proper_tests:747: parse_transform_test_...[0.001 s] ok
    proper_tests:748: parse_transform_test_...[0.002 s] ok
    proper_tests:749: parse_transform_test_...[0.053 s] ok
    proper_tests:750: parse_transform_test_...[0.003 s] ok
    proper_tests:753: native_type_props_test_...[0.062 s] ok
    proper_tests:755: native_type_props_test_...[0.058 s] ok
    proper_tests:758: native_type_props_test_...[0.070 s] ok
    proper_tests:763: native_type_props_test_...[0.054 s] ok
    proper_tests:765: native_type_props_test_...[0.009 s] ok
    proper_tests:766: native_type_props_test_...[0.049 s] ok
    proper_tests:767: native_type_props_test_...[0.004 s] ok
    proper_tests:768: native_type_props_test_...[0.045 s] ok
    proper_tests:769: native_type_props_test_...[0.099 s] ok
    proper_tests:770: native_type_props_test_...ok
    proper_tests:771: native_type_props_test_...[0.028 s] ok
    proper_tests:779: native_type_props_test_...[0.059 s] ok
    proper_tests:780: native_type_props_test_...[0.010 s] ok
    proper_tests:781: native_type_props_test_...[0.009 s] ok
    proper_tests:782: native_type_props_test_...[0.055 s] ok
    proper_tests:785: native_type_props_test_...[0.053 s] ok
    proper_tests:786: native_type_props_test_...[0.054 s] ok
    proper_tests:788: native_type_props_test_...ok
    proper_tests:793: native_type_props_test_...[0.125 s] ok
    proper_tests:795: native_type_props_test_...[0.059 s] ok
    proper_tests:796: native_type_props_test_...[0.057 s] ok
    proper_tests:798: native_type_props_test_...[0.046 s] ok
    Shrinking tuples
      All elements are generators
        proper_tests:801: native_type_props_test_...[0.001 s] ok
        proper_tests:802: native_type_props_test_...[0.001 s] ok
        [done in 0.008 s]
      Some elements are generators
        proper_tests:804: native_type_props_test_...[0.001 s] ok
        proper_tests:805: native_type_props_test_...[0.001 s] ok
        proper_tests:806: native_type_props_test_...ok
        proper_tests:807: native_type_props_test_...[0.001 s] ok
        [done in 0.015 s]
      All elements are consts
        proper_tests:809: native_type_props_test_...ok
        proper_tests:810: native_type_props_test_...ok
        [done in 0.007 s]
      [done in 0.030 s]
    Shrinking fixed lists
      All elements are generators
        proper_tests:813: native_type_props_test_...[0.001 s] ok
        proper_tests:814: native_type_props_test_...ok
        proper_tests:815: native_type_props_test_...[0.001 s] ok
        [done in 0.012 s]
      Some elements are generators
        proper_tests:817: native_type_props_test_...[0.001 s] ok
        proper_tests:818: native_type_props_test_...[0.001 s] ok
        proper_tests:819: native_type_props_test_...ok
        proper_tests:820: native_type_props_test_...ok
        proper_tests:821: native_type_props_test_...ok
        proper_tests:822: native_type_props_test_...ok
        [done in 0.020 s]
      All elements are consts
        proper_tests:824: native_type_props_test_...ok
        proper_tests:825: native_type_props_test_...ok
        proper_tests:826: native_type_props_test_...ok
        [done in 0.009 s]
      [done in 0.041 s]
    proper_tests:827: native_type_props_test_...[0.003 s] ok
    proper_tests:828: native_type_props_test_...[0.010 s] ok
    proper_tests:830: native_type_props_test_...[0.022 s] ok
    proper_tests:831: native_type_props_test_...[0.004 s] ok
    proper_tests:832: native_type_props_test_...[0.004 s] ok
    proper_tests:833: native_type_props_test_...[0.004 s] ok
    proper_tests:834: native_type_props_test_...[0.005 s] ok
    proper_tests:835: native_type_props_test_...[0.023 s] ok
    proper_tests:848: true_props_test_...[0.003 s] ok
    proper_tests:849: true_props_test_...[0.009 s] ok
    proper_tests:850: true_props_test_...[0.055 s] ok
    proper_tests:851: true_props_test_...[0.057 s] ok
    proper_tests:852: true_props_test_...[0.091 s] ok
    proper_tests:853: true_props_test_...[0.098 s] ok
    proper_tests:854: true_props_test_...[0.011 s] ok
    proper_tests:855: true_props_test_...[0.012 s] ok
    proper_tests:856: true_props_test_...[0.010 s] ok
    proper_tests:857: true_props_test_...[0.039 s] ok
    proper_tests:860: true_props_test_...[0.008 s] ok
    proper_tests:863: true_props_test_...[0.011 s] ok
    proper_tests:866: true_props_test_...[0.011 s] ok
    proper_tests:868: true_props_test_...[0.003 s] ok
    proper_tests:870: true_props_test_...ok
    proper_tests:873: true_props_test_...ok
    proper_tests:877: true_props_test_...[0.003 s] ok
    proper_tests:878: true_props_test_...[0.005 s] ok
    proper_tests:879: true_props_test_...[0.004 s] ok
    proper_tests:880: true_props_test_...[0.004 s] ok
    proper_tests:881: true_props_test_...[0.011 s] ok
    proper_tests:882: true_props_test_...[0.005 s] ok
    proper_tests:887: true_props_test_...[0.181 s] ok
    proper_tests:888: true_props_test_...[0.467 s] ok
    proper_tests:889: true_props_test_...[0.542 s] ok
    proper_tests:890: true_props_test_...[0.519 s] ok
    proper_tests:891: true_props_test_...[0.988 s] ok
    proper_tests:892: true_props_test_...[2.212 s] ok
    proper_tests:893: true_props_test_...[3.962 s] ok
    proper_tests:894: true_props_test_...[1.708 s] ok
    proper_tests:897: false_props_test_...[0.001 s] ok
    proper_tests:899: false_props_test_...[0.001 s] ok
    proper_tests:903: false_props_test_...[0.004 s] ok
    proper_tests:906: false_props_test_...[0.001 s] ok
    proper_tests:911: false_props_test_...[0.001 s] ok
    proper_tests:912: false_props_test_...[0.001 s] ok
    proper_tests:917: false_props_test_...[0.909 s] ok
    proper_tests:918: false_props_test_...[0.004 s] ok
    proper_tests:919: false_props_test_...ok
    proper_tests:925: false_props_test_...[0.001 s] ok
    proper_tests:928: false_props_test_...ok
    proper_tests:932: false_props_test_...[0.001 s] ok
    proper_tests:934: false_props_test_...[0.001 s] ok
    proper_tests:936: false_props_test_...ok
    proper_tests:938: false_props_test_...[0.001 s] ok
    proper_tests:940: false_props_test_...[0.017 s] ok
    proper_tests:943: false_props_test_...ok
    proper_tests:944: false_props_test_...ok
    proper_tests:945: false_props_test_...ok
    proper_tests:946: false_props_test_...[0.001 s] ok
    proper_tests:947: false_props_test_...[0.002 s] ok
    proper_tests:949: false_props_test_...ok
    proper_tests:950: false_props_test_...[0.002 s] ok
    proper_tests:974: false_props_test_...[0.140 s] ok
    proper_tests:975: false_props_test_...[0.022 s] ok
    proper_tests:976: false_props_test_...[0.017 s] ok
    proper_tests:979: error_props_test_...[0.001 s] ok
    proper_tests:981: error_props_test_...[0.010 s] ok
    proper_tests:983: error_props_test_...ok
    proper_tests:985: error_props_test_...ok
    proper_tests:987: error_props_test_...ok
    proper_tests:989: error_props_test_...[0.011 s] ok
    proper_tests:990: error_props_test_...[0.004 s] ok
    proper_tests:991: error_props_test_...ok
    proper_tests:992: error_props_test_...ok
    proper_tests:995: error_props_test_...ok
    proper_tests:999: error_props_test_...ok
    proper_tests:1003: error_props_test_...ok
    proper_tests:1008: eval_test_...ok
    proper_tests:1008: eval_test_...ok
    proper_tests:1008: eval_test_...ok
    proper_tests:1008: eval_test_...ok
    proper_tests:1008: eval_test_...ok
    proper_tests:1008: eval_test_...ok
    proper_tests:1008: eval_test_...ok
    proper_tests:1012: pretty_print_test_...ok
    proper_tests:1012: pretty_print_test_...ok
    proper_tests:1012: pretty_print_test_...ok
    proper_tests:1012: pretty_print_test_...ok
    proper_tests:1012: pretty_print_test_...ok
    proper_tests:1012: pretty_print_test_...ok
    proper_tests:1012: pretty_print_test_...ok
    proper_tests:1016: not_defined_test_...ok
    proper_tests:1016: not_defined_test_...ok
    proper_tests:1016: not_defined_test_...ok
    proper_tests:1016: not_defined_test_...ok
    proper_tests:1016: not_defined_test_...ok
    proper_tests:1020: options_test_...[0.005 s] ok
    proper_tests:1023: options_test_...[0.003 s] ok
    proper_tests:1026: options_test_...[0.001 s] ok
    proper_tests:1027: options_test_...ok
    proper_tests:1028: options_test_...ok
    proper_tests:1029: options_test_...ok
    proper_tests:1032: options_test_...[0.002 s] ok
    proper_tests:1046: adts_test_...[0.056 s] ok
    proper_tests:1049: adts_test_...*timed out*
undefined
=======================================================
  Failed: 0.  Skipped: 0.  Passed: 447.
One or more tests were cancelled.
ERROR: One or more eunit tests failed.
ERROR: eunit failed while processing /var/tmp/portage/dev-erlang/proper-1.2/work/proper-1.2: rebar_abort
 * ERROR: dev-erlang/proper-1.2::gentoo failed (test phase):
 *   rebar eunit failed
 * 
 * Call stack:
 *     ebuild.sh, line 124:  Called src_test
 *   environment, line 497:  Called rebar_src_test
 *   environment, line 477:  Called erebar 'eunit'
 *   environment, line 361:  Called die
 * The specific snippet of code:
 *       rebar -v skip_deps=true "$@" || die -n "rebar $@ failed"
 * 
 * If you need support, post the output of `emerge --info '=dev-erlang/proper-1.2::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=dev-erlang/proper-1.2::gentoo'`.
 * The complete build log is located at '/var/log/portage/dev-erlang:proper-1.2:20180512-044652.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/dev-erlang/proper-1.2/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/dev-erlang/proper-1.2/temp/environment'.
 * Working directory: '/var/tmp/portage/dev-erlang/proper-1.2/work/proper-1.2'
 * S: '/var/tmp/portage/dev-erlang/proper-1.2/work/proper-1.2'