Search results

Allow running Lincheck on some specific test case only

Status: Open.

#877 In JetBrains/lincheck;

· lounres opened on Nov 12, 2025

Is there anything like @Setup ,@State in linCheck If yes then I am not able to work with it getting the following error .

Status: Open.

#872 In JetBrains/lincheck;

· jayrathi5 opened on Nov 9, 2025

IntelliJ IDEA plugin does not support neither multimodule Gradle projects nor Kotlin Multiplatform projects

Status: Open.

#871 In JetBrains/lincheck;

· lounres opened on Nov 8, 2025

IntelliJ Platform test framework conflicts with Lincheck causing UnsupportedOperationException

Status: Open.

#870 In JetBrains/lincheck;

· stillya opened on Nov 8, 2025

Iqueue implementation for which the lincheck is not able to find non-linearizable execution .It's giving it linearizable.(Both Stress Testing and Model Checking )

Status: Open.

#857 In JetBrains/lincheck;

· jayrathi5 opened on Oct 30, 2025

Using 3.3 with maven

Status: Open.

#850 In JetBrains/lincheck;

· adamw opened on Oct 13, 2025

[3.3] Fails to progress on JDK-17 or lower

Status: Open.

#842 In JetBrains/lincheck;

· ben-manes opened on Oct 4, 2025

Missing support for static memory snapshot in data structures API

Status: Open.

Feature

#816 In JetBrains/lincheck;

· dmitrii-artuhov opened on Sep 5, 2025

Potential bug in the handling of <code>compareAndExchange</code> in model checking tests

Status: Open.

#772 In JetBrains/lincheck;

· SvyatoslavScherbina opened on Jul 24, 2025

#Violat

Status: Open.

#771 In JetBrains/lincheck;

· jayrathi5 opened on Jul 24, 2025

Install agent and do transforms in parallel safe manner

Status: Open.

#767 In JetBrains/lincheck;

· rnett opened on Jul 18, 2025

NoSuchElementException with version 3.1

Status: Open.

Bug

#765 In JetBrains/lincheck;

· durban opened on Jul 17, 2025