search

rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

return events aren't always emitted #43

Closed rgrig closed 12 years ago

rgrig commented 12 years ago

If a goto targets a return, then it bypasses the instrumentation that emits the return event.