Modified test-judgment-holds to report failing sub-derivations

racket / redex

Other

93 stars 36 forks source link

Modified test-judgment-holds to report failing sub-derivations #203

Closed wilbowma closed 5 years ago

wilbowma commented 5 years ago

When called one a modeless judgment, if the test fails, test-judgment-holds will isolate all failing sub-derivations and report them as part of the error message.

Still running the test suite.

rfindler commented 5 years ago

Nice, thanks!

rfindler commented 5 years ago

(Let me know when you're happy with it.)

wilbowma commented 5 years ago

2468 tests passed, so this should be good to merge.

wilbowma commented 5 years ago

Fixed a typo in the commit message