search

JetBrains / lincheck

Framework for testing concurrent data structures
Mozilla Public License 2.0
545 stars 31 forks source link

Propagate `Error`s when catching exceptions #258

Open ndkoval opened 5 months ago

ndkoval commented 5 months ago

As pointed in #130 (here), Lincheck swallows all throwable exceptions blindly, whereas Error types should always be propagated and never handled directly. This results in the test retrying forever and not reporting what went wrong.

Let's always propagate Errors.