Currently, choice points are not well supported. If possible, more details should be visible. Options to highlight certain types of choices should be added.
In a potentially very advanced use, partial outcomes of choices could be shown (if JPF has already explored multiple branches of a choice point).
Original report by Artho Cyrille (Bitbucket: 557058:d037361a-d6a1-4cae-80e0-7b1940bbc779, GitHub: cyrille-artho).
Currently, choice points are not well supported. If possible, more details should be visible. Options to highlight certain types of choices should be added. In a potentially very advanced use, partial outcomes of choices could be shown (if JPF has already explored multiple branches of a choice point).