jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/TransformationProfile.kt [284:303]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    override fun getMethodConfiguration(className: String, methodName: String, descriptor: String): TransformationConfiguration {
        val config = TransformationConfiguration()

        // NOTE: `shouldWrapInIgnoredSection` should be before `shouldNotInstrument`,
        //       otherwise we may incorrectly forget to add some ignored sections
        //       and start tracking events in unexpected places
        if (shouldWrapInIgnoredSection(className, methodName, descriptor)) {
            return config.apply {
                wrapInIgnoredSection = true
            }
        }
        if (shouldNotInstrument(className, methodName, descriptor)) {
            return config
        }

        // For `java.lang.Thread` class (and `ThreadContainer.start()` method),
        // we only apply `ThreadTransformer` and skip all other transformations
        if (isThreadClass(className) || isThreadContainerThreadStartMethod(className, methodName)) {
            return config.apply {
                trackAllThreadsOperations = true
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/TransformationProfile.kt [342:361]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    override fun getMethodConfiguration(className: String, methodName: String, descriptor: String): TransformationConfiguration {
        val config = TransformationConfiguration()

        // NOTE: `shouldWrapInIgnoredSection` should be before `shouldNotInstrument`,
        //       otherwise we may incorrectly forget to add some ignored sections
        //       and start tracking events in unexpected places
        if (shouldWrapInIgnoredSection(className, methodName, descriptor)) {
            return config.apply {
                wrapInIgnoredSection = true
            }
        }
        if (shouldNotInstrument(className, methodName, descriptor)) {
            return config
        }

        // For `java.lang.Thread` class (and `ThreadContainer.start()` method),
        // we only apply `ThreadTransformer` and skip all other transformations
        if (isThreadClass(className) || isThreadContainerThreadStartMethod(className, methodName)) {
            return config.apply {
                trackAllThreadsOperations = true
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -