Evgeniy Moiseenko
Evgeniy Moiseenko
First of all, I would like to thank all the contributors to this library! For our project, we've been searching for a Coq library of monad theory and among few...
I have encountered a problem after updating nonious to the latest version of branch devel. Benchmarks that supposed to run very fast cause a freezing. For example ``` #include #include...
Closes #308 This PR fixes the performance problem accidentally introduced in #296 , that manifested on our Java 11 CI builds. The root cause of the problem and the solution...
Currently, the configuration in which Lincheck Java-agent transforms all classes in the model checking mode does not work (see [the corresponding build configuration](https://teamcity.jetbrains.com/buildConfiguration/KotlinTools_KotlinxLincheck_BuildLinuxOnJava21TransformAllClassesInTheModelCheckingMode?mode=builds)). This configuration is used for testing purposes,...
A new approach to byte-code transformations via Java-agent #296 introduced significant performance overhead on some Java configurations (most notably, the [Java 11 configuration](https://teamcity.jetbrains.com/buildConfiguration/KotlinTools_KotlinxLincheck_BuildDevelopOnJava11/4581382?expandBuildDeploymentsSection=false&hideTestsFromDependencies=false&hideProblemsFromDependencies=false&expandBuildChangesSection=true) on our CI builds). The source of...
Apparently, there is a bug in the scenario minimization, related to the minimization of initial part of a scenario. It leads to flaky tests. See examples in these builds on...
- [ ] validate that weak references may cause non-determinism in model checking mode (and add a test) - [ ] design the approach to support weak references in model...
This PR proposes a simple refactoring of the `Strategy` class API. **Motivation** Currently, the `Strategy` API provides the following method to run the scenario: ```kotlin abstract fun run(): LincheckFailure? ```...
When the test fails in the stress mode, try to reproduce the failure and collect the trace using model checking mode. Closes #151 Please rebase and merge after #262 ....
This PR adds benchmarking infrastructure to the Lincheck. It includes: * API to track progress of lincheck test run: `LincheckRunTracker` interface. * Statistics gathering infrastructure based on `LincheckRunTracker` API. *...