Evgeniy Moiseenko

icon indicating an email [email protected]

icon company JetBrains Research icon location Researcher in Programming Language Theory and Formal Verification.

Results 66 comments of Evgeniy Moiseenko

New API for general-purpose model checking

There is a soft dependency on #387 : until we implement it, it would be possible to test only single threaded code (useless). But we still can start prototyping and...

New API for general-purpose model checking

This feature was released in Lincheck 3.0

Fix hunging tests with throwing native calls on JVMs 20 and 21

Description of the issue. If tests [`FailingRandomBytesTest`](https://github.com/JetBrains/lincheck/blob/develop/src/jvm/test/org/jetbrains/kotlinx/lincheck_test/trace_debugger/RandomTests.kt#L349) are enabled, then the whole test run hungs on CI on JVMs 20 and 21 (not reproducible locally). The `FailingRandomBytesTest` itself do not...

Fix hunging tests with throwing native calls on JVMs 20 and 21

Migrated to YT

Fix LoopDetector bugs, leading to failures in trace debugger

The bug is likely caused by #452

Fix LoopDetector bugs, leading to failures in trace debugger

Migrated to YT

Support externally created threads

Should be done after #387

Hide Java stdlib collections impelementation details in the trace

Related issue #506

The Rerun button works incorrectly in lincheck project

Migrated to YT

Multiple suspension points support

We discussed this PR today with @avpotapov00 , and come to the conclusion that it overlaps with #361. This PR implements three things: 1. Fix for events tracking in a...