User code can catch internal Linchek ForcibleExecutionFinishException by catching Exception
Closed this issue · 3 comments
avpotapov00 commented
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.
ndkoval commented
To fix the issue, you need to transform all catch
blocks, propagating ForcibleExecutionFinishException
ndkoval commented
Let's simply make it an Error
, and that will likely be enough in practice!