search

rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

truncate traces #18

Closed rgrig closed 12 years ago

rgrig commented 12 years ago

Otherwise it runs out of memory for properties that observe many events.