rgrig/topl

error trace

Closed this issue · 0 comments

rgrig commented

When a property is violated we should print a trace, not only an error message.