Skip to content

Commit d1bea97

Browse files
sofurihafeEgorkaKulikov
authored andcommitted
Add parameterized test generation in CI (UnitTestBot#1114)
* Add parameterized test generation in ci * Little style corrections * Move *containsMocking* flag to UtSymbolicExecution Co-authored-by: Egor Kulikov <egor.k.kulikov@gmail.com>
1 parent 1a18c53 commit d1bea97

File tree

78 files changed

+350
-238
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

78 files changed

+350
-238
lines changed

utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kt

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -137,6 +137,8 @@ class UtSymbolicExecution(
137137
val staticFields: Set<FieldId>
138138
get() = stateBefore.statics.keys
139139

140+
var containsMocking: Boolean = false
141+
140142
override fun toString(): String = buildString {
141143
append("UtSymbolicExecution(")
142144
appendLine()

utbot-framework-test/src/test/kotlin/org/utbot/examples/algorithms/CorrectBracketSequencesTest.kt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -17,9 +17,9 @@ import org.utbot.tests.infrastructure.CodeGeneration
1717
internal class CorrectBracketSequencesTest : UtValueTestCaseChecker(
1818
testClass = CorrectBracketSequences::class,
1919
testCodeGeneration = true,
20-
languagePipelines = listOf(
21-
CodeGenerationLanguageLastStage(CodegenLanguage.JAVA),
22-
CodeGenerationLanguageLastStage(CodegenLanguage.KOTLIN, CodeGeneration) // TODO generics in lists
20+
pipelines = listOf(
21+
TestLastStage(CodegenLanguage.JAVA),
22+
TestLastStage(CodegenLanguage.KOTLIN, CodeGeneration) // TODO generics in lists
2323
)
2424
) {
2525
@Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/algorithms/SortTest.kt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -18,9 +18,9 @@ import org.utbot.tests.infrastructure.CodeGeneration
1818
internal class SortTest : UtValueTestCaseChecker(
1919
testClass = Sort::class,
2020
testCodeGeneration = true,
21-
languagePipelines = listOf(
22-
CodeGenerationLanguageLastStage(CodegenLanguage.JAVA),
23-
CodeGenerationLanguageLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
21+
pipelines = listOf(
22+
TestLastStage(CodegenLanguage.JAVA),
23+
TestLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
2424
)
2525
) {
2626
@Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/arrays/ArrayOfObjectsTest.kt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -16,9 +16,9 @@ import org.utbot.tests.infrastructure.CodeGeneration
1616
internal class ArrayOfObjectsTest : UtValueTestCaseChecker(
1717
testClass = ArrayOfObjects::class,
1818
testCodeGeneration = true,
19-
languagePipelines = listOf(
20-
CodeGenerationLanguageLastStage(CodegenLanguage.JAVA),
21-
CodeGenerationLanguageLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
19+
pipelines = listOf(
20+
TestLastStage(CodegenLanguage.JAVA),
21+
TestLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
2222
)
2323
) {
2424
@Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/arrays/ArrayStoreExceptionExamplesTest.kt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,10 +11,10 @@ import org.utbot.tests.infrastructure.isException
1111

1212
class ArrayStoreExceptionExamplesTest : UtValueTestCaseChecker(
1313
testClass = ArrayStoreExceptionExamples::class,
14-
languagePipelines = listOf(
15-
CodeGenerationLanguageLastStage(CodegenLanguage.JAVA),
14+
pipelines = listOf(
15+
TestLastStage(CodegenLanguage.JAVA),
1616
// Type inference errors in generated Kotlin code
17-
CodeGenerationLanguageLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
17+
TestLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
1818
)
1919
) {
2020
@Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/arrays/ArraysOverwriteValueTest.kt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,9 +10,9 @@ import org.utbot.tests.infrastructure.CodeGeneration
1010
class ArraysOverwriteValueTest : UtValueTestCaseChecker(
1111
testClass = ArraysOverwriteValue::class,
1212
testCodeGeneration = true,
13-
languagePipelines = listOf(
14-
CodeGenerationLanguageLastStage(CodegenLanguage.JAVA),
15-
CodeGenerationLanguageLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
13+
pipelines = listOf(
14+
TestLastStage(CodegenLanguage.JAVA),
15+
TestLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
1616
)
1717
) {
1818
@Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/arrays/IntArrayBasicsTest.kt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -14,9 +14,9 @@ import org.utbot.tests.infrastructure.CodeGeneration
1414
internal class IntArrayBasicsTest : UtValueTestCaseChecker(
1515
testClass = IntArrayBasics::class,
1616
testCodeGeneration = true,
17-
languagePipelines = listOf(
18-
CodeGenerationLanguageLastStage(CodegenLanguage.JAVA),
19-
CodeGenerationLanguageLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
17+
pipelines = listOf(
18+
TestLastStage(CodegenLanguage.JAVA),
19+
TestLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
2020
)
2121
) {
2222
@Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/arrays/PrimitiveArraysTest.kt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,9 @@ import org.utbot.tests.infrastructure.CodeGeneration
1212
internal class PrimitiveArraysTest : UtValueTestCaseChecker(
1313
testClass = PrimitiveArrays::class,
1414
testCodeGeneration = true,
15-
languagePipelines = listOf(
16-
CodeGenerationLanguageLastStage(CodegenLanguage.JAVA),
17-
CodeGenerationLanguageLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
15+
pipelines = listOf(
16+
TestLastStage(CodegenLanguage.JAVA),
17+
TestLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
1818
)
1919
) {
2020
@Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/casts/ArrayCastExampleTest.kt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -13,9 +13,9 @@ import org.utbot.tests.infrastructure.CodeGeneration
1313
internal class ArrayCastExampleTest : UtValueTestCaseChecker(
1414
testClass = ArrayCastExample::class,
1515
testCodeGeneration = true,
16-
languagePipelines = listOf(
17-
CodeGenerationLanguageLastStage(CodegenLanguage.JAVA),
18-
CodeGenerationLanguageLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
16+
pipelines = listOf(
17+
TestLastStage(CodegenLanguage.JAVA),
18+
TestLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
1919
)
2020
) {
2121
@Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/casts/CastClassTest.kt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,9 +10,9 @@ import org.utbot.tests.infrastructure.CodeGeneration
1010
internal class CastClassTest : UtValueTestCaseChecker(
1111
testClass = CastClass::class,
1212
testCodeGeneration = true,
13-
languagePipelines = listOf(
14-
CodeGenerationLanguageLastStage(CodegenLanguage.JAVA),
15-
CodeGenerationLanguageLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
13+
pipelines = listOf(
14+
TestLastStage(CodegenLanguage.JAVA),
15+
TestLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
1616
)
1717
) {
1818
@Test

0 commit comments

Comments
 (0)