question for help: graphwalker can't stop to generate test cases

[Racheljia1989]

Hello,I wanna to get help.
I created a EFSM model and ran graphwalker to generate test cases.But it did't stop after a long time.I ran graphwalker with debug,but no error came out.
Please,Who can help me?

command is: java -jar .\target\graphwalker-cli-4.3.2-SNAPSHOT.jar offline --model .\sample\demo_bak.graphml "quick_random(vertex_coverage(100))"
@maikeru @

[Racheljia1989]

There's a problem I can't understand.As showed bellow,When I ran the model in graphwalker studio,it always ran the in path in the circle which was marked with red line for a long time.But it seems that all paths have been reached in the circle.I don't understand why it did't quit.

[Racheljia1989]

I understand why graphwalker can't stop to generate test cases.When graphwalker runs in the path on the left earlier than the right,it will always run in the circle on the above figure with red circle.That's because the vertex named v_reset_password_success can't go back to the vertex named v_home，and no matter what a long time passed the right path can't be got.So the edge coverage won't be 100% and the running graphwalker can't stop.
When I correct the model as the figure bellow,the problem is solved.