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

Suspend debugger when assertion fails #59

Closed jspam closed 12 years ago

jspam commented 12 years ago

When an assertion fails, the debugger should suspend at the assertion (when in debug mode) so that the context leading to the assertion failure can be examined.