module 'protobuffs_proper'
module 'erlang_protobuffs_SUITE'
module 'protobuffs'
module 'protobuffs_tests'
protobuffs_tests: proper_specs_test...*failed*
in function protobuffs_tests:'-proper_specs_test/0-fun-0-'/1 (test/protobuffs_tests.erl, line 44)
**error:{assertEqual,[{module,protobuffs_tests},
{line,44},
{expression,"( proper : check_specs ( protobuffs , [ long_result ] ) )"},
{expected,[]},
{value,[{{protobuffs,read_field_num_and_wire_type,1},[[<<>>]]},
{{protobuffs,encode_packed,3},[[0,[-1],bool]]},
{{protobuffs,decode_value,3},[[<<>>,0,bool]]},
{{protobuffs,encode,3},[[0,2,bool]]},
{{protobuffs,next_field_num,1},[[<<6>>]]},
{{protobuffs,decode_packed,2},[[<<>>|...]]},
{{protobuffs,decode,...},[[...]]},
{{protobuffs,...},[...]},
{{...},...},
{...}]}]}
output:<<"Testing protobuffs:read_field_num_and_wire_type/1
!
Failed: After 1 test(s).
An exception was raised: error:{error,badarg}.
Stacktrace: [{proper_typeserver,'-apply_spec_test/5-fun-0-',
[{protobuffs,read_field_num_and_wire_type,
[<<>>],
[{file,"src/protobuffs.erl"},{line,215}]},
{proper_typeserver,'-apply_spec_test/5-fun-0-',6,
[{file,"src/proper_typeserver.erl"},{line,533}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}],
[{file,"src/proper_typeserver.erl"},{line,556}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}].
[<<>>]
Shrinking (0 time(s))
[<<>>]
Testing protobuffs:encode_packed/3
.!
Failed: After 2 test(s).
An exception was raised: error:{error,badarg}.
Stacktrace: [{proper_typeserver,'-apply_spec_test/5-fun-0-',
[{protobuffs,encode_internal,
[1,0.2586897728450852,sint32],
[{file,"src/protobuffs.erl"},{line,175}]},
{protobuffs,encode_packed_internal,3,
[{file,"src/protobuffs.erl"},{line,186}]},
{protobuffs,encode_packed,3,
[{file,"src/protobuffs.erl"},{line,87}]},
{proper_typeserver,'-apply_spec_test/5-fun-0-',6,
[{file,"src/proper_typeserver.erl"},{line,533}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}],
[{file,"src/proper_typeserver.erl"},{line,556}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}].
[1,[0.2586897728450852],sint32]
Shrinking ....(4 time(s))
[0,[-1],bool]
Testing protobuffs:decode_value/3
!
Failed: After 1 test(s).
An exception was raised: error:{error,badarg}.
Stacktrace: [{proper_typeserver,'-apply_spec_test/5-fun-0-',
[{protobuffs,decode_varint,
[<<>>,11,7],
[{file,"src/protobuffs.erl"},{line,426}]},
{protobuffs,decode_value,3,
[{file,"src/protobuffs.erl"},{line,329}]},
{proper_typeserver,'-apply_spec_test/5-fun-0-',6,
[{file,"src/proper_typeserver.erl"},{line,533}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}],
[{file,"src/proper_typeserver.erl"},{line,556}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}].
[<<139>>,2,string]
Shrinking ...(3 time(s))
[<<>>,0,bool]
Testing protobuffs:encode/3
!
Failed: After 1 test(s).
An exception was raised: error:{error,badarg}.
Stacktrace: [{proper_typeserver,'-apply_spec_test/5-fun-0-',
[{protobuffs,encode_internal,
[0,[],double],
[{file,"src/protobuffs.erl"},{line,175}]},
{proper_typeserver,'-apply_spec_test/5-fun-0-',6,
[{file,"src/proper_typeserver.erl"},{line,533}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}],
[{file,"src/proper_typeserver.erl"},{line,556}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}].
[0,[],double]
Shrinking ...(3 time(s))
[0,2,bool]
Testing protobuffs:next_field_num/1
...!
Failed: After 4 test(s).
An exception was raised: error:{throw,{error,[69,114,114,111,114,32,100,101,99,111,100,105,110,103,32,116,121,112,101]}}.
Stacktrace: [{proper_typeserver,'-apply_spec_test/5-fun-0-',
[{protobuffs,read_field_num_and_wire_type,1,
[{file,"src/protobuffs.erl"},{line,212}]},
{protobuffs,next_field_num,1,
[{file,"src/protobuffs.erl"},{line,251}]},
{proper_typeserver,'-apply_spec_test/5-fun-0-',6,
[{file,"src/proper_typeserver.erl"},{line,533}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}],
[{file,"src/proper_typeserver.erl"},{line,556}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}].
[<<103,194>>]
Shrinking ..(2 time(s))
[<<6>>]
Testing protobuffs:decode_packed/2
!
Failed: After 1 test(s).
An exception was raised: error:{error,badarg}.
Stacktrace: [{proper_typeserver,'-apply_spec_test/5-fun-0-',
[{protobuffs,decode_varint,
[<<>>,6,7],
[{file,"src/protobuffs.erl"},{line,426}]},
{protobuffs,read_field_num_and_wire_type,1,
[{file,"src/protobuffs.erl"},{line,196}]},
{protobuffs,decode_packed,2,
[{file,"src/protobuffs.erl"},{line,235}]},
{proper_typeserver,'-apply_spec_test/5-fun-0-',6,
[{file,"src/proper_typeserver.erl"},{line,533}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}],
[{file,"src/proper_typeserver.erl"},{line,556}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}].
[<<134>>,int64]
Shrinking ..(2 time(s))
[<<>>,bool]
Testing protobuffs:decode/2
!
Failed: After 1 test(s).
An exception was raised: error:{error,badarg}.
Stacktrace: [{proper_typeserver,'-apply_spec_test/5-fun-0-',
[{protobuffs,read_field_num_and_wire_type,
[<<>>],
[{file,"src/protobuffs.erl"},{line,215}]},
{protobuffs,decode,2,
[{file,"src/protobuffs.erl"},{line,224}]},
{proper_typeserver,'-apply_spec_test/5-fun-0-',6,
[{file,"src/proper_typeserver.erl"},{line,533}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}],
[{file,"src/proper_typeserver.erl"},{line,556}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}].
[<<>>,sint64]
Shrinking .(1 time(s))
[<<>>,bool]
Testing protobuffs:decode_varint/1
!
Failed: After 1 test(s).
An exception was raised: error:{error,badarg}.
Stacktrace: [{proper_typeserver,'-apply_spec_test/5-fun-0-',
[{protobuffs,decode_varint,
[<<>>,30,7],
[{file,"src/protobuffs.erl"},{line,426}]},
{proper_typeserver,'-apply_spec_test/5-fun-0-',6,
[{file,"src/proper_typeserver.erl"},{line,533}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}],
[{file,"src/proper_typeserver.erl"},{line,556}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}].
[<<158>>]
Shrinking .(1 time(s))
[<<>>]
Testing protobuffs:encode_varint/1
!
Failed: After 1 test(s).
[-1]
Shrinking (0 time(s))
[-1]
Testing protobuffs:skip_next_field/1
.!
Failed: After 2 test(s).
An exception was raised: error:{throw,{error,[69,114,114,111,114,32,100,101,99,111,100,105,110,103,32,116,121,112,101]}}.
Stacktrace: [{proper_typeserver,'-apply_spec_test/5-fun-0-',
[{protobuffs,read_field_num_and_wire_type,1,
[{file,"src/protobuffs.erl"},{line,212}]},
{protobuffs,skip_next_field,1,
[{file,"src/protobuffs.erl"},{line,261}]},
{proper_typeserver,'-apply_spec_test/5-fun-0-',6,
[{file,"src/proper_typeserver.erl"},{line,533}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}],
[{file,"src/proper_typeserver.erl"},{line,556}]},
{proper,apply_args,3,[{file,"src/proper.erl"},{line,1353}]},
{proper,child,3,[{file,"src/proper.erl"},{line,1392}]},
{proper,'-spawn_link_migrate/1-fun-1-',2,
[{file,"src/proper.erl"},{line,669}]}].
[<<23>>]
Shrinking .(1 time(s))
[<<6>>]
">>