René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Unexpected UNSAT status during parameters resolving","articleBody":"**Description**\r\n\r\nBecause of some reason we got an UNSAT status for a state during parameters resolving in an invocation processing. It happens inside org.utbot.engine.Traverser#initStringLiteral method, but it is not clear, how it is possible to get unsat because of creating a new object. \r\n\r\n**To Reproduce**\r\n\r\nSteps to reproduce the behavior:\r\n\r\n1. Run the 'UTBotTest' project in debug IntelliJ Idea\r\n2. Set a breakpoint inside of the code that drops unsat states in `commonInvokePart`\r\n3. Use plugin to generate tests for class `MapOperate`\r\n\r\n**Expected behavior**\r\n\r\nThe breakpoint should never be reached.\r\n\r\n**Actual behavior**\r\n\r\nUTBot reaches the breakpoint. \r\n\r\n**Environment**\r\n\r\nThere is no specific environment, but it might take a long time to reach it.\r\n\r\n**Additional context**\r\n\r\nThere is no additional context.","author":{"url":"https://github.com/CaelmBleidd","@type":"Person","name":"CaelmBleidd"},"datePublished":"2022-10-04T09:26:00.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/1070/UTBotJava/issues/1070"}