René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Summaries are not generated with default useFuzzing setting","articleBody":"**Description**\r\n\r\nWhen `UtSettings::useFuzzing` has its default value `true`, no summaries are generated for test cases created by the symbolic engine. Summaries are correctly generated when `useFuzzing` settings is set to `false`.\r\n\r\n**To Reproduce**\r\n\r\nMake sure that `$HOME/.utbot/settings.properties` does not contain `useFuzzing = false` line (i.e., the default value is used).\r\n\r\nGenerate tests for a class (e.g., `utbot-sample/src/main/java/org/utbot/examples/algorithms/BinarySearch.java`).\r\n\r\n**Expected behavior**\r\n\r\nTest cases generated by the symbolic engine contain summaries (JavaDoc, `@DisplayName`, informative method names).\r\n\r\n**Actual behavior**\r\n\r\nTests are sequentially numbered, no JavaDoc is provided, no `@DisplayName` is provided.\r\n\r\n**Visual proofs (screenshots, logs, images)**\r\n\r\nFirst 3 tests have been generated by the fuzzer and have informative names and `@DisplayName`.\r\nAll other tests have been generated by the symbolic engine and have no summaries.\r\n\r\n```\r\n    @Test\r\n    @DisplayName(\"leftBinSearch: array = long[10], key = 0L -\u003e return 1\")\r\n    public void testLeftBinSearchReturnsOneWithNonEmptyPrimitiveArrayAndCornerCase() {\r\n        BinarySearch binarySearch = new BinarySearch();\r\n        long[] longArray = {\r\n                0L, 0L, 0L, 0L, 0L, 0L, 0L, 0L,\r\n                0L, 0L\r\n        };\r\n\r\n        int actual = binarySearch.leftBinSearch(longArray, 0L);\r\n\r\n        assertEquals(1, actual);\r\n    }\r\n\r\n    @Test\r\n    @DisplayName(\"leftBinSearch: array = long[10], key = Long.MAX_VALUE -\u003e return -1\")\r\n    public void testLeftBinSearchWithNonEmptyPrimitiveArrayAndCornerCase() {\r\n        BinarySearch binarySearch = new BinarySearch();\r\n        long[] longArray = {\r\n                0L, 0L, 0L, 0L, 0L, 0L, 0L, 0L,\r\n                0L, 0L\r\n        };\r\n\r\n        int actual = binarySearch.leftBinSearch(longArray, Long.MAX_VALUE);\r\n\r\n        assertEquals(-1, actual);\r\n    }\r\n\r\n    @Test\r\n    @DisplayName(\"leftBinSearch: array = long[0], key \u003c 0L -\u003e return -1\")\r\n    public void testLeftBinSearchWithEmptyPrimitiveArray() {\r\n        BinarySearch binarySearch = new BinarySearch();\r\n        long[] longArray = {};\r\n\r\n        int actual = binarySearch.leftBinSearch(longArray, -1L);\r\n\r\n        assertEquals(-1, actual);\r\n    }\r\n\r\n    @Test\r\n    public void testLeftBinSearch1() {\r\n        BinarySearch binarySearch = new BinarySearch();\r\n        long[] longArray = {-255L};\r\n\r\n        int actual = binarySearch.leftBinSearch(longArray, -128L);\r\n\r\n        assertEquals(-1, actual);\r\n    }\r\n\r\n    @Test\r\n    public void testLeftBinSearch2() {\r\n        BinarySearch binarySearch = new BinarySearch();\r\n        long[] longArray = {-255L};\r\n\r\n        int actual = binarySearch.leftBinSearch(longArray, -255L);\r\n\r\n        assertEquals(1, actual);\r\n    }\r\n\r\n    @Test\r\n    public void testLeftBinSearch3() {\r\n        BinarySearch binarySearch = new BinarySearch();\r\n        long[] longArray = {-255L, -255L};\r\n\r\n        int actual = binarySearch.leftBinSearch(longArray, -255L);\r\n\r\n        assertEquals(1, actual);\r\n    }\r\n\r\n    @Test\r\n    public void testLeftBinSearch4() {\r\n        BinarySearch binarySearch = new BinarySearch();\r\n        \r\n        /* This test fails because executable under testing alg.BinarySearch.leftBinSearch\r\n        produces Runtime exception java.lang.NullPointerException */\r\n        binarySearch.leftBinSearch(null, -255L);\r\n    }\r\n\r\n    @Test\r\n    public void testLeftBinSearch5() {\r\n        BinarySearch binarySearch = new BinarySearch();\r\n        long[] longArray = {-251L, -252L};\r\n\r\n        assertThrows(IllegalArgumentException.class, () -\u003e binarySearch.leftBinSearch(longArray, -255L));\r\n    }\r\n```\r\n\r\n**Environment**\r\n\r\n`UtSettings::useFuzzer` should be set to `true` to reproduce the bug.\r\n","author":{"url":"https://github.com/dtim","@type":"Person","name":"dtim"},"datePublished":"2022-07-06T07:45:05.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":1},"url":"https://github.com/428/UTBotJava/issues/428"}