Marco Pennekamp
d4b0dfee0a
- This new version fixes problems with concurrent hash maps in model checking tests and allows us to remove the correctness guarantee for them. ^KT-62136
41 lines
1.1 KiB
Kotlin
41 lines
1.1 KiB
Kotlin
plugins {
|
|
kotlin("jvm")
|
|
id("jps-compatible")
|
|
}
|
|
|
|
dependencies {
|
|
testImplementation(libs.junit.jupiter.api)
|
|
testRuntimeOnly(libs.junit.jupiter.engine)
|
|
|
|
testImplementation(project(":analysis:analysis-api"))
|
|
testImplementation(project(":analysis:low-level-api-fir"))
|
|
testImplementation(projectTests(":analysis:analysis-test-framework"))
|
|
testImplementation("org.jetbrains.kotlinx:lincheck:2.24")
|
|
|
|
testRuntimeOnly(commonDependency("org.jetbrains.intellij.deps.fastutil:intellij-deps-fastutil"))
|
|
}
|
|
|
|
sourceSets {
|
|
"test" { projectDefault() }
|
|
}
|
|
|
|
configureJvmToolchain(JdkMajorVersion.JDK_11_0)
|
|
|
|
projectTest(jUnitMode = JUnitMode.JUnit5) {
|
|
dependsOn(":dist")
|
|
workingDir = rootDir
|
|
useJUnitPlatform()
|
|
|
|
// This is required by lincheck model checking to be able to use `jdk.internal.misc.Unsafe` and similar classes under the hood.
|
|
jvmArgs(
|
|
"--add-opens",
|
|
"java.base/jdk.internal.misc=ALL-UNNAMED",
|
|
"--add-exports",
|
|
"java.base/jdk.internal.util=ALL-UNNAMED",
|
|
"--add-exports",
|
|
"java.base/sun.security.action=ALL-UNNAMED"
|
|
)
|
|
}
|
|
|
|
testsJar()
|