qiyitang71 / jpf-visual

JPF Visual
1 stars 1 forks source link

Show a summary of the trace transitions instead of "Tr. x - y" in table #1

Closed qiyitang71 closed 7 years ago

qiyitang71 commented 7 years ago

Original report by Artho Cyrille (Bitbucket: 557058:d037361a-d6a1-4cae-80e0-7b1940bbc779, GitHub: cyrille-artho).


Currently, the table shows the transition numbers to the left, and also inside the table itself. The part inside the table should be replaced with a summary of the transition(s). The summary should show the first roughly 20 characters of the first and last line of source code, of the first and last transition in the given range, separated by "...":

From an e-mail, an example: