Move testing utilities in a separate module

Author: denis-fokin

utbot-analytics/build.gradle

@@ -33,7 +33,7 @@ dependencies {
     implementation group: 'org.apache.commons', name: 'commons-text', version: '1.9'
     implementation group: 'com.github.javaparser', name: 'javaparser-core', version: '3.22.1'
 
-    testImplementation project(':utbot-framework-test').sourceSets.main.output
+    testImplementation project(':utbot-testing')
     testImplementation project(':utbot-framework').sourceSets.test.output
 }
 

utbot-framework-test/build.gradle

@@ -1,6 +1,6 @@
 tasks.withType(org.jetbrains.kotlin.gradle.tasks.KotlinCompile).configureEach {
     kotlinOptions {
-        jvmTarget = JavaVersion.VERSION_1_8
+        jvmTarget = JavaVersion.VERSION_11
         freeCompilerArgs += ["-Xallow-result-return-type", "-Xsam-conversions=class"]
     }
 }
@@ -22,6 +22,7 @@ configurations {
 
 dependencies {
     api project(':utbot-framework-api')
+    testImplementation project(':utbot-testing')
 
     api project(':utbot-fuzzers')
     api project(':utbot-instrumentation')

utbot-summary-tests/build.gradle

@@ -10,7 +10,7 @@ dependencies {
     implementation(project(':utbot-instrumentation'))
     testImplementation project(':utbot-sample')
     testImplementation group: 'junit', name: 'junit', version: junit4Version
-    testImplementation project(':utbot-framework-test').sourceSets.main.output
+    testImplementation project(':utbot-testing')
     testImplementation project(':utbot-framework').sourceSets.test.output
 }
 

utbot-summary-tests/src/test/kotlin/examples/SummaryTestCaseGeneratorTest.kt

@@ -13,7 +13,8 @@ import org.utbot.summary.comment.nextSynonyms
 import org.utbot.summary.summarize
 import kotlin.reflect.KClass
 import kotlin.reflect.KFunction
-
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.TestLastStage
 
 private const val NEW_LINE = "\n"
 private const val POINT_IN_THE_LIST = "  * "

utbot-summary-tests/src/test/kotlin/examples/algorithms/SummaryArrayQuickSortExampleTest.kt

@@ -7,6 +7,7 @@ import org.utbot.examples.algorithms.ArraysQuickSort
 
 import org.utbot.framework.plugin.api.MockStrategyApi
 import org.utbot.framework.plugin.api.UtClusterInfo
+import org.utbot.testing.DoNotCalculate
 
 @Tag("slow")
 class SummaryArrayQuickSortExampleTest : SummaryTestCaseGeneratorTest(

utbot-summary-tests/src/test/kotlin/examples/controlflow/SummaryConditionsTest.kt

@@ -4,6 +4,7 @@ import examples.CustomJavaDocTagsEnabler
 import examples.SummaryTestCaseGeneratorTest
 import org.junit.jupiter.api.Test
 import org.junit.jupiter.api.extension.ExtendWith
+import org.utbot.testing.DoNotCalculate
 
 import org.utbot.examples.controlflow.Conditions
 import org.utbot.framework.plugin.api.MockStrategyApi

utbot-summary-tests/src/test/kotlin/examples/controlflow/SummarySwitchTest.kt

@@ -6,6 +6,7 @@ import org.junit.jupiter.api.Test
 import org.junit.jupiter.api.extension.ExtendWith
 import org.utbot.examples.controlflow.Switch
 import org.utbot.framework.plugin.api.MockStrategyApi
+import org.utbot.testing.DoNotCalculate
 
 @ExtendWith(CustomJavaDocTagsEnabler::class)
 class SummarySwitchTest : SummaryTestCaseGeneratorTest(

utbot-summary-tests/src/test/kotlin/examples/enums/ComplexEnumExampleTest.kt

@@ -6,6 +6,7 @@ import org.junit.jupiter.api.Test
 import org.junit.jupiter.api.extension.ExtendWith
 import org.utbot.examples.enums.ComplexEnumExamples
 import org.utbot.framework.plugin.api.MockStrategyApi
+import org.utbot.testing.DoNotCalculate
 
 
 @ExtendWith(CustomJavaDocTagsEnabler::class)

utbot-summary-tests/src/test/kotlin/examples/exceptions/SummaryExceptionClusteringExamplesTest.kt

@@ -4,6 +4,7 @@ import examples.CustomJavaDocTagsEnabler
 import examples.SummaryTestCaseGeneratorTest
 import org.junit.jupiter.api.Test
 import org.junit.jupiter.api.extension.ExtendWith
+import org.utbot.testing.DoNotCalculate
 
 import org.utbot.examples.exceptions.ExceptionClusteringExamples
 import org.utbot.framework.plugin.api.MockStrategyApi

utbot-summary-tests/src/test/kotlin/examples/exceptions/SummaryExceptionExampleTest.kt

@@ -6,6 +6,7 @@ import org.junit.jupiter.api.Test
 import org.junit.jupiter.api.extension.ExtendWith
 import org.utbot.examples.exceptions.ExceptionExamples
 import org.utbot.framework.plugin.api.MockStrategyApi
+import org.utbot.testing.DoNotCalculate
 
 
 @ExtendWith(CustomJavaDocTagsEnabler::class)

utbot-summary-tests/src/test/kotlin/examples/recursion/SummaryRecursionTest.kt

@@ -6,6 +6,7 @@ import org.junit.jupiter.api.Test
 import org.junit.jupiter.api.extension.ExtendWith
 import org.utbot.examples.recursion.Recursion
 import org.utbot.framework.plugin.api.MockStrategyApi
+import org.utbot.testing.DoNotCalculate
 
 @ExtendWith(CustomJavaDocTagsEnabler::class)
 class SummaryRecursionTest : SummaryTestCaseGeneratorTest(

utbot-summary-tests/src/test/kotlin/examples/unsafe/UnsafeWithFieldTest.kt

@@ -6,6 +6,7 @@ import org.junit.jupiter.api.Test
 import org.junit.jupiter.api.extension.ExtendWith
 import org.utbot.examples.unsafe.UnsafeWithField
 import org.utbot.framework.plugin.api.MockStrategyApi
+import org.utbot.testing.DoNotCalculate
 
 @ExtendWith(CustomJavaDocTagsEnabler::class)
 class UnsafeWithFieldTest : SummaryTestCaseGeneratorTest(

utbot-summary-tests/src/test/kotlin/math/SummaryOfMathTest.kt

@@ -7,6 +7,7 @@ import org.junit.jupiter.api.Test
 
 import org.utbot.framework.plugin.api.MockStrategyApi
 import org.utbot.framework.plugin.api.UtClusterInfo
+import org.utbot.testing.DoNotCalculate
 
 /**
  * It runs test generation for the poor analogue of the Stats.of method ported from the guava-26.0 framework

utbot-summary/build.gradle.kts

@@ -17,4 +17,5 @@ dependencies {
     implementation("com.github.javaparser:javaparser-core:3.22.1")
     testImplementation("org.mockito:mockito-core:4.2.0")
     testImplementation("org.junit.jupiter:junit-jupiter:$junit5Version")
+    testImplementation(project(":utbot-testing"))
 }

utbot-testing/build.gradle

@@ -0,0 +1,88 @@
+tasks.withType(org.jetbrains.kotlin.gradle.tasks.KotlinCompile).configureEach {
+    kotlinOptions {
+        jvmTarget = JavaVersion.VERSION_1_8
+        freeCompilerArgs += ["-Xallow-result-return-type", "-Xsam-conversions=class"]
+    }
+}
+
+tasks.withType(JavaCompile) {
+    sourceCompatibility = JavaVersion.VERSION_1_8
+    targetCompatibility = JavaVersion.VERSION_1_8
+}
+
+repositories {
+    flatDir {
+        dirs 'dist'
+    }
+}
+
+configurations {
+    z3native
+}
+
+dependencies {
+    api project(':utbot-framework-api')
+
+    api project(':utbot-fuzzers')
+    api project(':utbot-instrumentation')
+    api project(':utbot-summary')
+
+    implementation(project(":utbot-framework"))
+    testImplementation project(':utbot-sample')
+    testImplementation project(":utbot-framework").sourceSets.test.output
+    testImplementation project(":utbot-core").sourceSets.test.output
+
+    implementation("org.unittestbot.soot:soot-utbot-fork:${sootVersion}") {
+        exclude group:'com.google.guava', module:'guava'
+    }
+
+    implementation group: 'com.fasterxml.jackson.module', name: 'jackson-module-kotlin', version: jacksonVersion
+    implementation group: 'org.sosy-lab', name: 'javasmt-solver-z3', version: javasmtSolverZ3Version
+    implementation group: 'com.github.curious-odd-man', name: 'rgxgen', version: rgxgenVersion
+    implementation group: 'org.apache.logging.log4j', name: 'log4j-slf4j-impl', version: log4j2Version
+    implementation group: 'io.github.microutils', name: 'kotlin-logging', version: kotlinLoggingVersion
+    implementation group: 'org.jacoco', name: 'org.jacoco.report', version: jacocoVersion
+    implementation group: 'org.apache.commons', name: 'commons-text', version: apacheCommonsTextVersion
+    // we need this for construction mocks from composite models
+    implementation group: 'org.mockito', name: 'mockito-core', version: '4.2.0'
+
+    // To use JUnit4, comment out JUnit5 and uncomment JUnit4 dependencies here. Please also check "test" section
+    // testImplementation group: 'junit', name: 'junit', version: '4.13.1'
+    implementation group: 'org.junit.jupiter', name: 'junit-jupiter-params', version: '5.8.1'
+    implementation group: 'org.junit.jupiter', name: 'junit-jupiter-engine', version: '5.8.1'
+
+    // used for testing code generation
+    testImplementation group: 'commons-io', name: 'commons-io', version: commonsIoVersion
+    testImplementation group: 'junit', name: 'junit', version: junit4Version
+    testImplementation group: 'org.junit.platform', name: 'junit-platform-console-standalone', version: junit4PlatformVersion
+    testImplementation group: 'org.antlr', name: 'antlr4', version: antlrVersion
+    testImplementation group: 'org.mockito', name: 'mockito-core', version: mockitoVersion
+    testImplementation group: 'org.testng', name: 'testng', version: testNgVersion
+    testImplementation group: 'org.mockito', name: 'mockito-inline', version: mockitoInlineVersion
+    testImplementation group: 'com.google.guava', name: 'guava', version: guavaVersion
+
+    testImplementation group: 'org.mockito', name: 'mockito-inline', version: mockitoInlineVersion
+    testImplementation group: 'org.apache.logging.log4j', name: 'log4j-core', version: log4j2Version
+
+    z3native group: 'com.microsoft.z3', name: 'z3-native-win64', version: z3Version, ext: 'zip'
+    z3native group: 'com.microsoft.z3', name: 'z3-native-linux64', version: z3Version, ext: 'zip'
+    z3native group: 'com.microsoft.z3', name: 'z3-native-osx', version: z3Version, ext: 'zip'
+}
+
+
+test {
+
+    minHeapSize = "128m"
+    maxHeapSize = "2048m"
+
+    jvmArgs '-XX:MaxHeapSize=2048m'
+
+    // To use JUnit4, comment out useJUnitPlatform and uncomment useJUnit. Please also check "dependencies" section
+    //useJUnit()
+    useJUnitPlatform() {
+        excludeTags 'slow', 'IntegrationTest'
+    }
+    if (System.getProperty('DEBUG', 'false') == 'true') {
+        jvmArgs '-Xdebug', '-Xrunjdwp:transport=dt_socket,server=y,suspend=y,address=9009'
+    }
+}