Skip to content

Commit e97aee4

Browse files
committed
Updated compilation stage in (disabled) strings/GenericExamplesTest
+ updated string tests w.r.t. running without concrete execution
1 parent e0c2e42 commit e97aee4

File tree

2 files changed

+5
-4
lines changed

2 files changed

+5
-4
lines changed

utbot-framework-test/src/test/kotlin/org/utbot/examples/strings/GenericExamplesTest.kt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,9 @@ import org.utbot.testcheckers.eq
1212
internal class GenericExamplesTest : UtValueTestCaseChecker(
1313
testClass = GenericExamples::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/strings/StringExamplesTest.kt

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -328,7 +328,7 @@ internal class StringExamplesTest : UtValueTestCaseChecker(
328328
fun testSubstring() {
329329
checkWithException(
330330
StringExamples::substring,
331-
between(5..7),
331+
between(5..8),
332332
{ s, _, r -> s == null && r.isException<NullPointerException>() },
333333
{ s, i, r -> s != null && i < 0 || i > s.length && r.isException<StringIndexOutOfBoundsException>() },
334334
{ s, i, r -> s != null && i in 0..s.length && r.getOrThrow() == s.substring(i) && s.substring(i) != "password" },
@@ -588,6 +588,7 @@ internal class StringExamplesTest : UtValueTestCaseChecker(
588588
}
589589
}
590590

591+
// TODO: This test fails without concrete execution as it uses a symbolic variable
591592
@Test
592593
fun testListToString() {
593594
check(

0 commit comments

Comments
 (0)