Cut exception stack straces thrown in validation functions

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

572 stars 33 forks source link

Cut exception stack straces thrown in validation functions #140

Closed ndkoval closed 1 year ago

ndkoval commented 1 year ago

When a validation function (annotated with @Validate) throws an exception, the full stack trace, including the Lincheck internals, is provided. It takes dozens of lines in the console, being useless at the same time. The suggestion is to cut the stack trace at the point of the validation function call.

ndkoval commented 1 year ago

We need to enhance ValidateFunctionTest correspondingly.

ndkoval commented 1 year ago

@avpotapov00, could you please fix this issue by the end of June?