Evgeniy Moiseenko

Single Lincheck options class with `testingTime(..)` option

2

Closes #137, #150, #151 This PR deprecates `StressOptions`, `ModelCheckingOption`, and also `StressCTest`, `ModelCheckingCTest` annotations. Instead, new class `LincheckOptions` is introduced to configure Lincheck run. Configuration of scenarios number and invocations...

Track coroutine events in arbitrary code

4

Currently, the Lincheck supports only top-level `suspend` functions declared as operations. That is, the following code is supported: ```kotlin class RendezvousChannelTest { private val channel = Channel() @Operation suspend fun...

We can generate the code of examples given in the docs (readme, guide, etc) and the output of the tool automatically from the source code. This will help us to...

Simplify bytecode generation in `TestThreadExecutionGenerator`

6

Currently, subclasses of `TestThreadExecution` class, which are used to run scenario threads, are generated from bytecode (see `TestThreadExecutionGenerator` class). It makes it hard to maintain and modify the execution scenario...

On the relationship between (co)dom_rel and doma/domb

1

This is not an actual "issue", but rather a question about the design of the library. I am a bit confused about the relationship between `(co)dom_rel` and `doma`/`domb`. `dom_rel` is...

Currently, there are several places in the code base where conversions between internal and canonical class names happen. Currently these conversions happen chaotically, which leads to bugs and performance penalties....

Several improvements of representation tests: 1. Make more representation tests to inherit from `BaseTraceRepresentationTest` (formerly `BaseFailingTest`), unify test set-up, simplify tests. 2. Make all of the tests inheriting from `BaseTraceRepresentationTest`...