Highlighted lines

[ZipCPU]

Current behavior

No code highlighting based upon test failures

Desired behavior

Upon completion of a proof, highlight the line corresponding to

1. The failed assertion. If this was a BMC+induction task, only highlight the induction assertion if BMC was successful. Likewise, if this was a cover task with an assertion failure, also highlight it. These should be highlighted in red or some other "bad" color.

2. For cover traces, highlight cover points in green (or some other "good" color)

In all cases, if a user double-clicks on the highlighted line, sby-gui should bring the user to the a trace for that assertion/cover point. If gtkwave (or other viewer) needs to be started for this purpose, there should be a way to identify a gtkwave file.