2.13: Show livelock loop in sequence diagram.
In order to be able to debug a livelock reported by ide verify, it is necessary to see the (shortest) loop of repeating events especially when there are non-deterministic choices.
In order to be able to debug a livelock reported by ide verify, it is necessary to see the (shortest) loop of repeating events especially when there are non-deterministic choices.