pdict_fsm_test fails
krestenkrab opened this issue · 0 comments
krestenkrab commented
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