JetBrains/lincheck

User code can catch internal Linchek ForcibleExecutionFinishException by catching Exception

Closed this issue · 3 comments

We use ForcibleExecutionFinishException to break the execution if we have some sudden invocation result.
However, tested code can catch some exceptions and don't re-throw them. If ForcibleExecutionFinishException is ignored, we may never know that execution was halted.

To fix the issue, you need to transform all catch blocks, propagating ForcibleExecutionFinishException

Let's fix it after #136

Let's simply make it an Error, and that will likely be enough in practice!