René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Unexpected tests for some inherited methods on enums","articleBody":"**Description**\r\n\r\nGenerated tests for enum contain methods testing valueOf\r\n\r\n**To Reproduce**\r\n\r\n1. Run Contest Estimator with method `com.google.common.base.CaseFormat.*` and 300s time limit.\r\n\r\n**Actual behavior**\r\n\r\nGenerated tests contain the following:\r\n```java\r\n    @Test\r\n    //@org.junit.jupiter.api.DisplayName(\"valueOf: arg_0 = blank string -\u003e throw IllegalArgumentException\")\r\n    public void testValueOfThrowsIAEWithBlankString() {\r\n        /* This test fails because executable under testing com.google.common.base.CaseFormat.valueOf\r\n        produces Runtime exception java.lang.IllegalArgumentException: No enum constant com.google.common.base.CaseFormat.    */\r\n        CaseFormat.valueOf(\"   \");\r\n    }\r\n\r\n    @Test\r\n    //@org.junit.jupiter.api.DisplayName(\"valueOf: arg_0 has special characters -\u003e throw IllegalArgumentException\")\r\n    public void testValueOfThrowsIAEWithBlankString1() {\r\n        /* This test fails because executable under testing com.google.common.base.CaseFormat.valueOf\r\n        produces Runtime exception java.lang.IllegalArgumentException: No enum constant com.google.common.base.CaseFormat.\r\n\t\r\n */\r\n        CaseFormat.valueOf(\"\\n\\t\\r\");\r\n    }\r\n```\r\n","author":{"url":"https://github.com/sofurihafe","@type":"Person","name":"sofurihafe"},"datePublished":"2022-07-08T07:48:33.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":3},"url":"https://github.com/457/UTBotJava/issues/457"}