René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Absent Serializable in ancestors for many classes","articleBody":"**Description**\r\n\r\nWe don't have `Serializable` in ancestors of `java.lang.Long` and many other classes that cause false UNSAT verdicts.\r\n\r\n**To Reproduce**\r\n\r\nSteps to reproduce the behavior:\r\n\r\n1. Run generation on org.utbot.examples.mixed.SerializableExample#example\r\n2. Look at the results\r\n\r\n**Expected behavior**\r\n\r\nShould be generated test case.\r\n\r\n**Actual behavior**\r\n\r\nThere is no test case generated.\r\n\r\n**Visual proofs (screenshots, logs, images)**\r\n\r\n```java\r\npublic void example() {\r\n    join(\"string\", File.separator, System.currentTimeMillis());\r\n}\r\n\r\npublic static \u003cT\u003e String join(T... elements) {\r\n    return null;\r\n}\r\n```\r\n\r\n**Environment**\r\n\r\nThere is no specific environment required.\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-12-15T11:18:37.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/1527/UTBotJava/issues/1527"}