search

team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)
BSD 3-Clause "New" or "Revised" License
5 stars 3 forks source link

Succeeded/failed statement markers run into next line #42

Closed jspam closed 12 years ago

jspam commented 12 years ago

When a statement is marked as succeeded or failed, the marker incorporates all whitespace until the beginning of the next statement, which looks ugly if the next statement is indented. The marker should only run to the end of the line.