Test runs and hangs forever

[frankcoutinho]

Currently using:
Kotlin version 2.0.21
Lincheck version 2.34

package org.acme

import org.jetbrains.kotlinx.lincheck.annotations.*
import org.jetbrains.kotlinx.lincheck.*
import org.jetbrains.kotlinx.lincheck.strategy.managed.modelchecking.ModelCheckingOptions
import org.junit.jupiter.api.Test
import java.util.UUID

class MyList {

    private val list = mutableListOf<String>()

    fun add(text: String) {
        list.add(text)
    }
}

class BasicTest {

    private val c = MyList()

    @Operation
    fun inc() = c.add("${UUID.randomUUID()}")

    @Test
    fun test() = ModelCheckingOptions().check(this::class)
}

In case gradle build file is needed:

plugins {
    kotlin("jvm") version "2.0.21"
}

group = "org.example"
version = "1.0-SNAPSHOT"

repositories {
    mavenCentral()
}

dependencies {
    testImplementation("org.jetbrains.kotlinx:lincheck:2.34")
    testImplementation(kotlin("test"))
}

tasks.test {
    useJUnitPlatform()
}

kotlin {
    jvmToolchain(21)
}