Evgeniy Moiseenko comments

Results 66 comments of


                                            Evgeniy Moiseenko

Track coroutine events in arbitrary code

We might need to revisit this problem under #386

Would you please provide unamalgamed source code?

Is there any progress ?

Object numeration doesn't correspond between plugin and text output

Resolved by https://github.com/JetBrains/lincheck/pull/702

Internal index out of bounds exception

Fixed by #713

Add coroutine tests from deadlock test repo

@dmitrii-artuhov please rebase on develop

Improve support of time-related APIs in the model checking mode

To better understand how to model time in the model checking mode it would be very helpful to first collect some concrete examples of the code we want to test...

Fix `KotlinStdlibTransformationTest` on CI for java 20 & 21

Migrated to YT

Investigate timeout of `SerializableJavaUtilParameterTest` with trace debugger on JDK 21.

Migrated to YT

Ensure lazy byte-code transformation always works correctly in the verification phase under model-checking mode

Quote from `@ndkoval` about this issue from the discussion of #316 : > By the way, I also think we currently might have a bug with the model-checking mode, as...

Ensure lazy byte-code transformation always works correctly in the verification phase under model-checking mode

Migrated to YT