Skip to content

{'EXIT', {badarg, [{unicode,characters_to_binary, ...}]}} in proper_gen_next.erl #190

Open
@NoobsEnslaver

Description

@NoobsEnslaver

Erlang/OTP 20 [erts-9.3.3.7]
Proper 1.3.0 from Hex

Try to run prop with ?FORALL_TARGETED, get crash report:

{'EXIT',
 {badarg,
  [{unicode,characters_to_binary,
    [[#Fun<proper_gen_next.34.116828358>,
          1076,
      #Fun<proper_gen_next.34.116828358>,
          53,
      #Fun<proper_gen_next.34.116828358>,
          34,37125]],
    []},
   {proper_gen_next,
    '-let_gen_sa/1-fun-0-',6,
    [{file,
      "/home/ne/Projects/ersip/_build/test/lib/proper/src/proper_gen_next.erl"},
     {line,617}]},
   {proper_gen_next,
    restrict_generation,6,
    [{file,
      "/home/ne/Projects/ersip/_build/test/lib/proper/src/proper_gen_next.erl"},
     {line,198}]},
   {proper_gen_next,
    '-tuple_gen_sa/1-lc$^1/1-1-',
    2,
    [{file,
      "/home/ne/Projects/ersip/_build/test/lib/proper/src/proper_gen_next.erl"},
     {line,488}]},
   {proper_gen_next,
    '-tuple_gen_sa/1-lc$^1/1-1-',
    2,
    [{file,
      "/home/ne/Projects/ersip/_build/test/lib/proper/src/proper_gen_next.erl"},
     {line,489}]},
   {proper_gen_next,
    '-tuple_gen_sa/1-fun-2-',3,
    [{file,
      "/home/ne/Projects/ersip/_build/test/lib/proper/src/proper_gen_next.erl"},
     {line,482}]},
   {proper_gen_next,
    restrict_generation,6,
    [{file,
      "/home/ne/Projects/ersip/_build/test/lib/proper/src/proper_gen_next.erl"},
     {line,198}]},
   {proper_gen_next,
    '-let_gen_sa/1-fun-0-',6,
    [{file,
      "/home/ne/Projects/ersip/_build/test/lib/proper/src/proper_gen_next.erl"},
     {line,613}]}]}}

with just ?FORALL works fine.

prop test code:

prop_find_encoding_slowdown(opts) -> [noshrink].
prop_find_encoding_slowdown() ->
    ?FORALL_TARGETED(Msg, message(),
        begin
            T0 = erlang:monotonic_time(millisecond),
            _ = ersip_sipmsg:assemble_bin(Msg),
            T1 = erlang:monotonic_time(millisecond),
            EncodeTime = T1-T0,
            ?MAXIMIZE(EncodeTime),
            EncodeTime < 1000
        end).

Full code of generators may be found here:
https://github.com/NoobsEnslaver/ersip/blob/proper/test/prop_basic.erl

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions