René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"NPE in concrete processing static field ","articleBody":"**Description**\r\n\r\nIf **the first** statement in MUT used a static field that should be processed concretely and which is not an enum, the engine emits `UtError` because of `NullPointerException` produced by `environment.state.lastEdge == null`.\r\n\r\n**To Reproduce**\r\n\r\nTry to generate a test for such a method:\r\n\r\n```java\r\npublic static void concreteStaticFieldAsFirstStatement() {\r\n    System.out.println(0);\r\n}\r\n```\r\n\r\n**Expected behavior**\r\n\r\nOne test is generated, which does nothing:\r\n\r\n```java\r\n@Test\r\n@DisplayName(\"concreteStaticFieldAsFirstStatement: -\u003e PrintStreamPrintln\")\r\npublic void testConcreteStaticFieldAsFirstStatement_PrintStreamPrintln() {\r\n    HelloWorld.concreteStaticFieldAsFirstStatement();\r\n}\r\n\r\n**Actual behavior**\r\n\r\nOne error method is generated:\r\n\r\n```java\r\npublic void testConcreteStaticFieldAsFirstStatement_errors() {\r\n    // Couldn't generate some tests. List of errors:\r\n    // \r\n    // 1 occurrences of:\r\n    // \u003cThrowable with empty message\u003e\r\n\r\n}\r\n```\r\n\r\n**Environment**\r\n\r\nCommit c09568f29e0ec6149a43ac6e318feca64e420daf\r\nJava, no mocks.\r\n\r\n**Additional context**\r\n\r\nNot applicable\r\n","author":{"url":"https://github.com/Damtev","@type":"Person","name":"Damtev"},"datePublished":"2022-07-06T09:41:58.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/432/UTBotJava/issues/432"}