René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Mock label is assigned to null values","articleBody":"**Description**\r\n\r\nWe have an array that contains information about whether some object is mocked or not with symbolic addresses as its indices. When we create an object, we assign a mark corresponding provided mock information. Because of an error, we do it without the condition that they should not be taken into account if the object we create is null, and it cases UNSAT verdict.\r\n\r\n**To Reproduce**\r\n\r\nSteps to reproduce the behavior:\r\n\r\n1. Open a test project with utbot-api dependency\r\n2. Copy there a code from `visual proof` section below\r\n3. Run generation with `Other packages` mock strategy\r\n\r\n**Expected behavior**\r\n\r\nOne generated test.\r\n\r\n**Actual behavior**\r\n\r\nNo generated tests.\r\n\r\n**Visual proofs (screenshots, logs, images)**\r\n\r\n```java\r\npublic int mocksForNullOfDifferentTypes(Integer intValue, Random random) {\r\n    UtMock.assume(intValue == null);\r\n    UtMock.assume(random == null);\r\n\r\n    return 0;\r\n}\r\n```\r\n\r\n**Environment**\r\nMocks are enabled, any Junit is ok, mock strategy `all other classes` of `from other packages`\r\n\r\n**Additional context**\r\n\r\nThere is no additional context\r\n","author":{"url":"https://github.com/CaelmBleidd","@type":"Person","name":"CaelmBleidd"},"datePublished":"2022-12-15T05:33:59.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/1520/UTBotJava/issues/1520"}