if the edge has the same name , how do you give the edgeId value and how i know which edge is not covered，and which edge is covered, when their name is same.

[JICJ]

[JICJ]

[Kristian Karl]

The edgeId uniquely identifies an edge.
There can be no duplicates of edgeId.

You edit the edgeId in the json file, or in GraphWalker Studio. see Create a model in Studio

For general questions (not bugs), the forum is perhaps a better place :-)
https://groups.google.com/forum/#!forum/graphwalker

[JICJ]

Thank you very much.