Error : Deterministic Model using GraphWalker

[Waqar Ahmad Khan]

I am using GraphWalker with Deterministic Models (DFA). I have model which contains the Dead state.

But graphwalker test build fails and the error is log is : Could not find a valid path from element: v_dead (n5)

v_dead is a vertex used as dead state.

Please find the model file and report screenshot below.

SimVendingMachineModel

[Kristian Karl]

Hi,

Could you elaborate on what you mean with "dead state"?

When looking at the model, I can see that GraphWalker can no longer generate a path when entering the state v_dead because it has no out edges.

Best Kristian