René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Symbolic engine dies trying analyze large enum with `static` initializer block (e.g. `HttpStatusCode`)","articleBody":"**Description**\r\n\r\nSymbolic engine is unable to generate any test for the following method in 60 seconds even when `Mock everything outside the class` mocking strategy is used and `Mock static methods` is enabled (`HttpStatus` class can be found here: [HttpStatus.zip](https://github.com/UnitTestBot/UTBotJava/files/12144794/HttpStatus.zip)).\r\n\r\n```java\r\npublic HttpStatus methodUnderTest() {\r\n    return HttpStatus.OK;\r\n}\r\n```\r\n\r\n**To Reproduce**\r\n\r\nSettings:\r\n* `100% Symbolic execution`\r\n* `Mock everything outside the class` mocking strategy\r\n* `Mock static methods` enabled\r\n\r\nGenerate tests for `methodUnderTest()`.\r\n\r\n**Expected behavior**\r\n\r\nOne test is generated\r\n\r\n**Actual behavior**\r\n\r\nNo tests are generated","author":{"url":"https://github.com/IlyaMuravjov","@type":"Person","name":"IlyaMuravjov"},"datePublished":"2023-07-24T10:33:11.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/2439/UTBotJava/issues/2439"}