René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Tests `ArrayOfArrays.testReallyMultiDimensionalArray` and `testReallyMultiDimensionalArrayMutation` are failed with new ksmt","articleBody":"**Description**\r\n\r\nThe mentioned tests were disabled after we updated `ksmt` because they started failing due to some problem in `ValueConstructor`\r\n\r\n```\r\njava.lang.IllegalArgumentException: array element type mismatch\r\n\tat java.base/java.lang.reflect.Array.set(Native Method)\r\n\tat org.utbot.framework.plugin.api.util.constructor.ValueConstructor.constructArray(ValueConstructor.kt:323)\r\n\tat org.utbot.framework.plugin.api.util.constructor.ValueConstructor.construct(ValueConstructor.kt:193)\r\n\tat org.utbot.framework.plugin.api.util.constructor.ValueConstructor.constructArray(ValueConstructor.kt:322)\r\n\tat org.utbot.framework.plugin.api.util.constructor.ValueConstructor.construct(ValueConstructor.kt:193)\r\n\tat org.utbot.framework.plugin.api.util.constructor.ValueConstructor.constructParamsAndMocks(ValueConstructor.kt:165)\r\n\tat org.utbot.framework.plugin.api.util.constructor.ValueConstructor.constructState(ValueConstructor.kt:112)\r\n\tat org.utbot.framework.plugin.api.util.constructor.ValueConstructor.construct(ValueConstructor.kt:127)\r\n\tat org.utbot.framework.util.EngineUtilsKt.toValueTestCase(EngineUtils.kt:22)\r\n\tat org.utbot.testing.UtValueTestCaseChecker.walk(UtValueTestCaseChecker.kt:2139)\r\n\tat org.utbot.examples.arrays.ArrayOfArraysTest.testReallyMultiDimensionalArray(ArrayOfArraysTest.kt:1177)\r\n```\r\n","author":{"url":"https://github.com/EgorkaKulikov","@type":"Person","name":"EgorkaKulikov"},"datePublished":"2023-12-13T13:25:04.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/2718/UTBotJava/issues/2718"}