Reference to the Lincheck IDEA plugin added

README.md

@@ -117,6 +117,12 @@ The following interleaving leads to the error:
 |   result: 4                                                                                               |                      |
 ```
 
+## Lincheck IDEA Plugin
+
+Try [Lincheck IDEA Plugin](https://plugins.jetbrains.com/plugin/24171-lincheck) to investigate
+bugs easily, navigate trace points, and quickly identify bugs with fully-fledged debugger integration.
+Walk through the failure trace to any direction you want (even in the past!) and examine your data structure in live mode via the debugger, without sophisticated conditional breakpoints creation. Download in from the JetBrains Plugin marketplace or right from the IntelliJ IDEA Ultimate.
+
 ## Contributing 
 
 See [Contributing Guidelines](CONTRIBUTING.md).

src/jvm/main/org/jetbrains/kotlinx/lincheck/Reporter.kt

@@ -390,6 +390,10 @@ internal fun StringBuilder.appendFailure(failure: LincheckFailure): StringBuilde
     if (failure.trace != null) {
         appendLine()
         appendTrace(failure, results, failure.trace, exceptionStackTraces)
+        if (!ideaPluginEnabled()) {
+            appendLine()
+            appendPluginReference()
+        }
     } else {
         appendExceptionsStackTracesBlock(exceptionStackTraces)
     }
@@ -713,4 +717,11 @@ private fun StringBuilder.appendException(t: Throwable) {
     appendLine(sw.toString())
 }
 
+private fun StringBuilder.appendPluginReference() = append(pluginReferenceInTrace)
+
+internal val pluginReferenceInTrace = """
+    Enhance your debugging experience with the Lincheck IDEA Plugin https://plugins.jetbrains.com/plugin/24171-lincheck. 
+    Easily navigate trace points and quickly identify bugs with fully-fledged debugger integration.
+    """.trimIndent()
+
 private const val EXCEPTIONS_TRACES_TITLE = "Exception stack traces:"

src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/InternalLincheckBugTest.kt

@@ -42,6 +42,6 @@ class InternalLincheckBugTest {
     fun test() = ModelCheckingOptions()
         .actorsPerThread(2)
         .checkImpl(this::class.java) { failure ->
-            failure.checkLincheckOutput("internal_bug_report.txt")
+            failure.checkLincheckOutput("internal_bug_report.txt", expectPluginReferenceIfPluginDisabled = false)
         }
 }

src/jvm/test/org/jetbrains/kotlinx/lincheck_test/util/TestUtils.kt

@@ -43,11 +43,18 @@ internal inline fun <reified E: Exception> Options<*, *>.checkFailsWithException
  *
  * @param expectedOutputFile name of file stored in resources/expected_logs, storing the expected lincheck output.
  */
-internal fun LincheckFailure?.checkLincheckOutput(expectedOutputFile: String) {
+internal fun LincheckFailure?.checkLincheckOutput(expectedOutputFile: String, expectPluginReferenceIfPluginDisabled: Boolean = true) {
     check(this != null) { "The test should fail" }
 
     val actualOutput = StringBuilder().appendFailure(this).toString()
-    val expectedOutput = getExpectedLogFromResources(expectedOutputFile)
+    var expectedOutput = getExpectedLogFromResources(expectedOutputFile)
+
+    if (expectPluginReferenceIfPluginDisabled && !ideaPluginEnabled()) {
+        expectedOutput = StringBuilder(expectedOutput)
+            .appendLine()
+            .append(pluginReferenceInTrace)
+            .toString()
+    }
 
     if (actualOutput.filtered != expectedOutput.filtered) {
         assertEquals(expectedOutput, actualOutput)