Commitaecd860

authored

Fixed wrong sort during resolving StringBuilder (#1628)

1 parent08481e4 commitaecd860Copy full SHA for aecd860

File tree

+15

-1

lines changed

utbot-framework-test/src/test/kotlin/org/utbot/examples/strings
- StringExamplesTest.kt
utbot-framework/src/main/kotlin/org/utbot/engine
- Strings.kt
utbot-sample/src/main/java/org/utbot/examples/strings
- StringExamples.java

+15

-1

lines changed

Lines changed: 9 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -301,6 +301,15 @@ internal class StringExamplesTest : UtValueTestCaseChecker(`
`301`	`301`	`)`
`302`	`302`	`}`
`303`	`303`
	`304`	`+ @Test`
	`305`	`+funtestStringBuilderAsParameterExample() {`
	`306`	`+ check(`
	`307`	`+StringExamples::stringBuilderAsParameterExample,`
	`308`	`+ eq(1),`
	`309`	`+ coverage=FullWithAssumptions(assumeCallsNumber=1)`
	`310`	`+ )`
	`311`	`+ }`
	`312`	`+`
`304`	`313`	`@Test`
`305`	`314`	`funtestNullableStringBuffer() {`
`306`	`315`	`checkWithException(`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -220,7 +220,7 @@ sealed class UtAbstractStringBuilderWrapper(className: String) : BaseOverriddenW`
`220`	`220`	`val arrayValuesChunkId= typeRegistry.arrayChunkId(charArrayType)`
`221`	`221`
`222`	`222`	`val valuesFieldChunkId= hierarchy.chunkIdForField(overriddenClass.type, overriddenClass.valueField)`
`223`		`-val valuesArrayAddrDescriptor=MemoryChunkDescriptor(valuesFieldChunkId, wrapper.type,charType)`
	`223`	`+val valuesArrayAddrDescriptor=MemoryChunkDescriptor(valuesFieldChunkId, wrapper.type,charArrayType)`
`224`	`224`	`val valuesArrayAddr= findArray(valuesArrayAddrDescriptor,MemoryState.CURRENT).select(wrapper.addr)`
`225`	`225`
`226`	`226`	`val valuesArrayDescriptor=MemoryChunkDescriptor(arrayValuesChunkId, charArrayType, charType)`

Lines changed: 5 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -209,6 +209,11 @@ public String useStringBuffer(String fst, String snd) {`
`209`	`209`	`returnbuffer.toString();`
`210`	`210`	`}`
`211`	`211`
	`212`	`+// This test checks StringBuilder can be correctly constructed`
	`213`	`+publicvoidstringBuilderAsParameterExample(StringBuildersb) {`
	`214`	`+UtMock.assume(sb !=null);`
	`215`	`+ }`
	`216`	`+`
`212`	`217`	`publicStringnullableStringBuffer(StringBufferbuffer,inti) {`
`213`	`218`	`if (i >=0) {`
`214`	`219`	`buffer.append("Positive");`

Comments

(0)