gfredericks / test.chuck

A utility library for test.check
Eclipse Public License 1.0
215 stars 26 forks source link

Fix failing test while only reporting failure once #25

Closed lackita closed 8 years ago

nberger commented 8 years ago

Even though this change fixes the exception detection mechanism, I think we are not detecting & reporting failures correctly now, and we need a test to verify it. I created #26 to add that test.

gfredericks commented 8 years ago

I agree that there are some improvements to be made, in particular see my comment on #26 about crashing inside vs outside an assertion.

In any case I'm going to merge this because I want the build passing to prevent regressions.

Thanks @lackita!