Open tczpl opened 2 years ago
When leaving the block, the counter of the current edge should decrease by 1.
For example: Executing 1-5-2-7-Terminal and 1-6-2-7-Terminal.
1-5-2-7-Terminal
1-6-2-7-Terminal
Before this commit: The visit_edges["2-7"] is 1 and 2.
visit_edges["2-7"]
After this commit: The visit_edges["2-7"] is 1 and 1, which is correct.
When leaving the block, the counter of the current edge should decrease by 1.
For example: Executing
1-5-2-7-Terminaland1-6-2-7-Terminal.Before this commit: The
visit_edges["2-7"]is 1 and 2.After this commit: The
visit_edges["2-7"]is 1 and 1, which is correct.