rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

capture call-stack traces #33

Closed rgrig closed 12 years ago

rgrig commented 12 years ago

In verbose/slow mode the error trace should also give the call-stack for each event.

rgrig commented 12 years ago

The flag is called captureCallStacks, not verbose. The latter is gone.