If the user defines a checker which has an error (e.g. it throws an NPE), Lmock swallows it and so hides the bug.
It must be able to forward the exception directly to the application.
If a checker throws an exception (not an error, because the user may wish to use assert...)
Then Lmock should catch it
And forward a special type of error (UnexpectedCheckerError)
That way, there's no confusion between the testing environment and the tested application.
If a checker throws an exception (not an error, because the user may wish to use assert...)
Then Lmock should catch it
And forward a special type of error (UnexpectedCheckerError)
That way, there's no confusion between the testing environment and the tested application.
If the user defines a checker which has an error (e.g. it throws an NPE), Lmock swallows it and so hides the bug. It must be able to forward the exception directly to the application.