Skip to content

Commit 5975728

Browse files
committed
Add parameterized test generation in ci
1 parent 312e347 commit 5975728

File tree

78 files changed

+330
-226
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

+330
-226
lines changed

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

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -103,7 +103,9 @@ abstract class UtExecution(
103103
var summary: List<DocStatement>? = null,
104104
var testMethodName: String? = null,
105105
var displayName: String? = null
106-
) : UtResult()
106+
) : UtResult() {
107+
var wasForceMocked: Boolean = false
108+
}
107109

108110
/**
109111
* Symbolic execution.

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+
CodeGenerationLastStage(CodegenLanguage.JAVA),
22+
CodeGenerationLastStage(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+
CodeGenerationLastStage(CodegenLanguage.JAVA),
23+
CodeGenerationLastStage(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+
CodeGenerationLastStage(CodegenLanguage.JAVA),
21+
CodeGenerationLastStage(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+
CodeGenerationLastStage(CodegenLanguage.JAVA),
1616
// Type inference errors in generated Kotlin code
17-
CodeGenerationLanguageLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
17+
CodeGenerationLastStage(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+
CodeGenerationLastStage(CodegenLanguage.JAVA),
15+
CodeGenerationLastStage(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+
CodeGenerationLastStage(CodegenLanguage.JAVA),
19+
CodeGenerationLastStage(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+
CodeGenerationLastStage(CodegenLanguage.JAVA),
17+
CodeGenerationLastStage(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+
CodeGenerationLastStage(CodegenLanguage.JAVA),
18+
CodeGenerationLastStage(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+
CodeGenerationLastStage(CodegenLanguage.JAVA),
15+
CodeGenerationLastStage(CodegenLanguage.KOTLIN, CodeGeneration)
1616
)
1717
) {
1818
@Test

0 commit comments

Comments
 (0)