Disabled Kotlin codegen tests with static mocks

UnitTestBot · Oct 4, 2022 · 11820f0 · 11820f0
1 parent a53d179
commit 11820f0
Show file tree

Hide file tree

Showing 4 changed files with 46 additions and 6 deletions.
diff --git a/utbot-framework-test/src/test/kotlin/org/utbot/examples/algorithms/SortTest.kt b/utbot-framework-test/src/test/kotlin/org/utbot/examples/algorithms/SortTest.kt
@@ -9,10 +9,20 @@ import org.utbot.framework.plugin.api.DocPreTagStatement
 import org.utbot.framework.plugin.api.DocRegularStmt
 import org.utbot.framework.plugin.api.MockStrategyApi
 import org.junit.jupiter.api.Test
+import org.utbot.framework.plugin.api.CodegenLanguage
 import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.ge
-
-internal class SortTest : UtValueTestCaseChecker(testClass = Sort::class) {
+import org.utbot.tests.infrastructure.CodeGeneration
+
+// TODO Kotlin mocks generics https://github.com/UnitTestBot/UTBotJava/issues/88
+internal class SortTest : UtValueTestCaseChecker(
+    testClass = Sort::class,
+    testCodeGeneration = true,
+    languagePipelines = listOf(
+        CodeGenerationLanguageLastStage(CodegenLanguage.JAVA),
+        CodeGenerationLanguageLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
+    )
+) {
     @Test
     fun testQuickSort() {
         check(

diff --git a/utbot-framework-test/src/test/kotlin/org/utbot/examples/mock/MockRandomTest.kt b/utbot-framework-test/src/test/kotlin/org/utbot/examples/mock/MockRandomTest.kt
@@ -11,9 +11,19 @@ import org.utbot.framework.plugin.api.UtCompositeModel
 import org.utbot.framework.plugin.api.UtNewInstanceInstrumentation
 import java.util.Random
 import org.junit.jupiter.api.Test
+import org.utbot.framework.plugin.api.CodegenLanguage
 import org.utbot.testcheckers.eq
-
-internal class MockRandomTest : UtValueTestCaseChecker(testClass = MockRandomExamples::class) {
+import org.utbot.tests.infrastructure.CodeGeneration
+
+// TODO Kotlin mocks generics https://github.com/UnitTestBot/UTBotJava/issues/88
+internal class MockRandomTest : UtValueTestCaseChecker(
+    testClass = MockRandomExamples::class,
+    testCodeGeneration = true,
+    languagePipelines = listOf(
+        CodeGenerationLanguageLastStage(CodegenLanguage.JAVA),
+        CodeGenerationLanguageLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
+    )
+) {
     @Test
     fun testRandomAsParameter() {
         val method: Random.() -> Int = Random::nextInt

diff --git a/utbot-framework-test/src/test/kotlin/org/utbot/examples/natives/NativeExamplesTest.kt b/utbot-framework-test/src/test/kotlin/org/utbot/examples/natives/NativeExamplesTest.kt
@@ -3,11 +3,21 @@ package org.utbot.examples.natives
 import org.utbot.tests.infrastructure.UtValueTestCaseChecker
 import org.utbot.tests.infrastructure.DoNotCalculate
 import org.junit.jupiter.api.Test
+import org.utbot.framework.plugin.api.CodegenLanguage
 import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.ge
 import org.utbot.testcheckers.withSolverTimeoutInMillis
+import org.utbot.tests.infrastructure.CodeGeneration
 
-internal class NativeExamplesTest : UtValueTestCaseChecker(testClass = NativeExamples::class) {
+// TODO Kotlin mocks generics https://github.com/UnitTestBot/UTBotJava/issues/88
+internal class NativeExamplesTest : UtValueTestCaseChecker(
+    testClass = NativeExamples::class,
+    testCodeGeneration = true,
+    languagePipelines = listOf(
+        CodeGenerationLanguageLastStage(CodegenLanguage.JAVA),
+        CodeGenerationLanguageLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
+    )
+) {
 
     @Test
     fun testFindAndPrintSum() {

diff --git a/utbot-framework-test/src/test/kotlin/org/utbot/examples/recursion/RecursionTest.kt b/utbot-framework-test/src/test/kotlin/org/utbot/examples/recursion/RecursionTest.kt
@@ -13,10 +13,20 @@ import org.utbot.framework.plugin.api.DocStatement
 import kotlin.math.pow
 import org.junit.jupiter.api.Disabled
 import org.junit.jupiter.api.Test
+import org.utbot.framework.plugin.api.CodegenLanguage
 import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.ge
+import org.utbot.tests.infrastructure.CodeGeneration
 
-internal class RecursionTest : UtValueTestCaseChecker(testClass = Recursion::class) {
+// TODO Kotlin mocks generics https://github.com/UnitTestBot/UTBotJava/issues/88
+internal class RecursionTest : UtValueTestCaseChecker(
+    testClass = Recursion::class,
+    testCodeGeneration = true,
+    languagePipelines = listOf(
+        CodeGenerationLanguageLastStage(CodegenLanguage.JAVA),
+        CodeGenerationLanguageLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
+    )
+) {
     @Test
     fun testFactorial() {
         val factorialSummary = listOf<DocStatement>(