Skip to content

Treat exceptions thrown by arguments to check as test failures#107

Closed
vkz wants to merge 1 commit intoracket:masterfrom
vkz:check-fails-on-exn
Closed

Treat exceptions thrown by arguments to check as test failures#107
vkz wants to merge 1 commit intoracket:masterfrom
vkz:check-fails-on-exn

Commits

Commits on Apr 7, 2019