So the wrapper raises an exception correctly, but kunquat driver does not handle the exception. Is there a way to add test cases for this exception to wrapper tests and to driver tests?
So the wrapper raises an exception correctly, but kunquat driver does not handle the exception. Is there a way to add test cases for this exception to wrapper tests and to driver tests?