Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Tests ArrayOfArrays.testReallyMultiDimensionalArray and testReallyMultiDimensionalArrayMutation are failed with new ksmt #2718

Open
EgorkaKulikov opened this issue Dec 13, 2023 · 0 comments
Labels
comp-instrumented-process Issue is related to Instrumented process ctg-bug Issue is a bug

Comments

@EgorkaKulikov
Copy link
Collaborator

Description

The mentioned tests were disabled after we updated ksmt because they started failing due to some problem in ValueConstructor

java.lang.IllegalArgumentException: array element type mismatch
	at java.base/java.lang.reflect.Array.set(Native Method)
	at org.utbot.framework.plugin.api.util.constructor.ValueConstructor.constructArray(ValueConstructor.kt:323)
	at org.utbot.framework.plugin.api.util.constructor.ValueConstructor.construct(ValueConstructor.kt:193)
	at org.utbot.framework.plugin.api.util.constructor.ValueConstructor.constructArray(ValueConstructor.kt:322)
	at org.utbot.framework.plugin.api.util.constructor.ValueConstructor.construct(ValueConstructor.kt:193)
	at org.utbot.framework.plugin.api.util.constructor.ValueConstructor.constructParamsAndMocks(ValueConstructor.kt:165)
	at org.utbot.framework.plugin.api.util.constructor.ValueConstructor.constructState(ValueConstructor.kt:112)
	at org.utbot.framework.plugin.api.util.constructor.ValueConstructor.construct(ValueConstructor.kt:127)
	at org.utbot.framework.util.EngineUtilsKt.toValueTestCase(EngineUtils.kt:22)
	at org.utbot.testing.UtValueTestCaseChecker.walk(UtValueTestCaseChecker.kt:2139)
	at org.utbot.examples.arrays.ArrayOfArraysTest.testReallyMultiDimensionalArray(ArrayOfArraysTest.kt:1177)
@EgorkaKulikov EgorkaKulikov added ctg-bug Issue is a bug comp-instrumented-process Issue is related to Instrumented process labels Dec 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
comp-instrumented-process Issue is related to Instrumented process ctg-bug Issue is a bug
Projects
Status: Todo
Development

No branches or pull requests

1 participant