Lincheck plugin does not work with `cancellableOnSuspension = false`
Opened this issue · 0 comments
de-shyt commented
The code is stored here. For one of the @Operation
methods, the cancellableOnSuspension
flag is set to false
.
The code can be reproduced by running Buffered1ChannelTest
.
When a model checking test fails, the Investigate in Debug Mode
button appears in the output. After pressing it, the visualisation of the failed scenario is not loaded. Instead, the test is run again, and the same output with the button is shown.
Lincheck version: 2.34
Lincheck plugin version: 0.9
Intellij IDEA version: 2024.2.2