Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix law-checking to print better error messages #514
I'm not sure how to do this, but in Cats right now when a property fails you see the generated input (good) but then just a gigantic stack trace.
When we set this up in Algebra, the
Anyway, this isn't critically-important, but since many folks will be discovering law-checking through Cats, it would be good to have a better experience here.
I made an override to our
@non was this not showing up for you somewhere?