Make `ForcibleExecutionFinishException` an `Error`

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

545 stars 31 forks source link

Closed ndkoval closed 4 months ago

ndkoval commented 4 months ago

Make ForcibleExecutionFinishException an Error to avoid catching it in the user code.

Fixes #225