In demo mode, in the text-only list style trace viewer, it seems that all symbolic branches get the same symbolic condition string, whereas they are shown differently (correctly?) in the graph view.
Graph view and list view seem to generate these labels in the same way, so I am not clear where the issue is.
In demo mode, in the text-only list style trace viewer, it seems that all symbolic branches get the same symbolic condition string, whereas they are shown differently (correctly?) in the graph view.
Graph view and list view seem to generate these labels in the same way, so I am not clear where the issue is.