krestenkrab/triq

pdict_fsm_test fails

krestenkrab opened this issue · 0 comments

Travis occasionally reports this error (apparently only on R16B03, not R15B03). This happens maybe one out of 10 runs.

lock_fsm: lock_fsm_test_ (module 'lock_fsm')...*failed*
in function lock_fsm:'-lock_fsm_test_/0-fun-0-'/0 (test/lock_fsm.erl, line 161)
**error:{assertion_failed,[{module,lock_fsm},
                   {line,161},
                   {expression,"triq : module ( ? MODULE )"},
                   {expected,true},
                   {value,{not_a_boolean,{'EXIT',badarg}}}]}
  output:<<"Testing lock_fsm:prop_lock_fsm/0
...................................................................................Failed with: {error,badarg,
                    [{gen_fsm,send_event,2,[{file,"gen_fsm.erl"},{line,198}]},
                     {triq_fsm,do_run_command,5,
                               [{file,"src/triq_fsm.erl"},{line,63}]},
                     {lock_fsm,'-prop_lock_fsm/0-fun-2-',1,
                               [{file,"test/lock_fsm.erl"},{line,148}]},
                     {triq,check_input,4,[{file,"src/triq.erl"},{line,83}]},
                     {triq,check_forall,6,[{file,"src/triq.erl"},{line,250}]},
                     {triq,check,3,[{file,"src/triq.erl"},{line,331}]},
                     {triq,all,2,[{file,"src/triq.erl"},{line,269}]},
                     {lock">>...
Testing pdict_statem:prop_pdict_statem/0