René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"TreeSet tests contain too much reflection with system classes","articleBody":"**Description**\r\n\r\nSymbolic execution for examples using TreeSet produces tests with too complex reflection with system classes.\r\n\r\n**To Reproduce**\r\n\r\n1. Install [the latest UnitTestBot plugin build from main](https://github.com/UnitTestBot/UTBotJava/actions/runs/3367468745) in IntelliJ Idea 2022.2.3 (latest)\r\n2. Create a Gradle project with JDK 11\r\n3. Add a Java class with the following method:\r\n\r\n```java\r\n    /**\r\n     * Should create TreeSet without any modifications as T extends Number is not Comparable\r\n     */\r\n    public \u003cT extends Number\u003e boolean testTreeSetWithoutComparable(NavigableSet\u003cT\u003e set) {\r\n        if (set.size() \u003e 5) {\r\n            return true;\r\n        }\r\n        return false;\r\n    }\r\n\r\n    /**\r\n     * Should create TreeSet with modifications as Integer is Comparable\r\n     */\r\n    public boolean testTreeSetWithComparable(NavigableSet\u003cInteger\u003e set) {\r\n        if (set.size() \u003e 5) {\r\n            return true;\r\n        }\r\n        return false;\r\n    }\r\n```\r\n\r\n4. Generate tests with Symbolic execution only (100%) and `Mock everything outside package`\r\n\r\n**Expected behavior**\r\n\r\nGenerated tests are supposed to instantiate objects regularly.\r\n\r\n**Actual behavior**\r\n\r\nGenerated tests contain too much reflection with system classes\r\n\r\n**Visual proofs (screenshots, logs, images)**\r\n\r\n~~~java\r\n    ///region Test suites for executable org.utbot.examples.collections.CollectionExample.testTreeSetWithComparable\r\n\r\n    ///region\r\n\r\n    @Test\r\n    public void testTestTreeSetWithComparable1() {\r\n        CollectionExample collectionExample = new CollectionExample();\r\n        \r\n        /* This test fails because method [org.utbot.examples.collections.CollectionExample.testTreeSetWithComparable] produces [java.lang.NullPointerException]\r\n            org.utbot.examples.collections.CollectionExample.testTreeSetWithComparable(CollectionExample.java:124) */\r\n        collectionExample.testTreeSetWithComparable(null);\r\n    }\r\n\r\n    @Test\r\n    public void testTestTreeSetWithComparable2() throws Exception {\r\n        CollectionExample collectionExample = new CollectionExample();\r\n        ConcurrentSkipListSet set = ((ConcurrentSkipListSet) createInstance(\"java.util.concurrent.ConcurrentSkipListSet\"));\r\n        ConcurrentSkipListMap concurrentSkipListMap = ((ConcurrentSkipListMap) createInstance(\"java.util.concurrent.ConcurrentSkipListMap\"));\r\n        Object index = createInstance(\"java.util.concurrent.ConcurrentSkipListMap$Index\");\r\n        Object node = createInstance(\"java.util.concurrent.ConcurrentSkipListMap$Node\");\r\n        setField(index, \"java.util.concurrent.ConcurrentSkipListMap$Index\", \"node\", node);\r\n        setField(concurrentSkipListMap, \"java.util.concurrent.ConcurrentSkipListMap\", \"head\", index);\r\n        LongAdder longAdder = ((LongAdder) createInstance(\"java.util.concurrent.atomic.LongAdder\"));\r\n        Object[] cellArray = createArray(\"java.util.concurrent.atomic.Striped64$Cell\", 32);\r\n        setField(longAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\", cellArray);\r\n        setField(longAdder, \"java.util.concurrent.atomic.Striped64\", \"base\", 0L);\r\n        setField(concurrentSkipListMap, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\", longAdder);\r\n        setField(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\", concurrentSkipListMap);\r\n\r\n        boolean actual = collectionExample.testTreeSetWithComparable(set);\r\n\r\n        assertFalse(actual);\r\n\r\n        ConcurrentNavigableMap setM = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setMMAdder = ((LongAdder) getFieldValue(setM, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setMMAdderMAdderCells = getFieldValue(setMMAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells0 = get(setMMAdderMAdderCells, 0);\r\n        ConcurrentNavigableMap setM1 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM1MAdder = ((LongAdder) getFieldValue(setM1, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM1MAdderMAdderCells = getFieldValue(setM1MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells1 = get(setM1MAdderMAdderCells, 1);\r\n        ConcurrentNavigableMap setM2 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM2MAdder = ((LongAdder) getFieldValue(setM2, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM2MAdderMAdderCells = getFieldValue(setM2MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells2 = get(setM2MAdderMAdderCells, 2);\r\n        ConcurrentNavigableMap setM3 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM3MAdder = ((LongAdder) getFieldValue(setM3, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM3MAdderMAdderCells = getFieldValue(setM3MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells3 = get(setM3MAdderMAdderCells, 3);\r\n        ConcurrentNavigableMap setM4 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM4MAdder = ((LongAdder) getFieldValue(setM4, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM4MAdderMAdderCells = getFieldValue(setM4MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells4 = get(setM4MAdderMAdderCells, 4);\r\n        ConcurrentNavigableMap setM5 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM5MAdder = ((LongAdder) getFieldValue(setM5, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM5MAdderMAdderCells = getFieldValue(setM5MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells5 = get(setM5MAdderMAdderCells, 5);\r\n        ConcurrentNavigableMap setM6 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM6MAdder = ((LongAdder) getFieldValue(setM6, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM6MAdderMAdderCells = getFieldValue(setM6MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells6 = get(setM6MAdderMAdderCells, 6);\r\n        ConcurrentNavigableMap setM7 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM7MAdder = ((LongAdder) getFieldValue(setM7, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM7MAdderMAdderCells = getFieldValue(setM7MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells7 = get(setM7MAdderMAdderCells, 7);\r\n        ConcurrentNavigableMap setM8 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM8MAdder = ((LongAdder) getFieldValue(setM8, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM8MAdderMAdderCells = getFieldValue(setM8MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells8 = get(setM8MAdderMAdderCells, 8);\r\n        ConcurrentNavigableMap setM9 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM9MAdder = ((LongAdder) getFieldValue(setM9, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM9MAdderMAdderCells = getFieldValue(setM9MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells9 = get(setM9MAdderMAdderCells, 9);\r\n        ConcurrentNavigableMap setM10 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM10MAdder = ((LongAdder) getFieldValue(setM10, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM10MAdderMAdderCells = getFieldValue(setM10MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells10 = get(setM10MAdderMAdderCells, 10);\r\n        ConcurrentNavigableMap setM11 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM11MAdder = ((LongAdder) getFieldValue(setM11, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM11MAdderMAdderCells = getFieldValue(setM11MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells11 = get(setM11MAdderMAdderCells, 11);\r\n        ConcurrentNavigableMap setM12 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM12MAdder = ((LongAdder) getFieldValue(setM12, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM12MAdderMAdderCells = getFieldValue(setM12MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells12 = get(setM12MAdderMAdderCells, 12);\r\n        ConcurrentNavigableMap setM13 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM13MAdder = ((LongAdder) getFieldValue(setM13, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM13MAdderMAdderCells = getFieldValue(setM13MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells13 = get(setM13MAdderMAdderCells, 13);\r\n        ConcurrentNavigableMap setM14 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM14MAdder = ((LongAdder) getFieldValue(setM14, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM14MAdderMAdderCells = getFieldValue(setM14MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells14 = get(setM14MAdderMAdderCells, 14);\r\n        ConcurrentNavigableMap setM15 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM15MAdder = ((LongAdder) getFieldValue(setM15, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM15MAdderMAdderCells = getFieldValue(setM15MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells15 = get(setM15MAdderMAdderCells, 15);\r\n        ConcurrentNavigableMap setM16 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM16MAdder = ((LongAdder) getFieldValue(setM16, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM16MAdderMAdderCells = getFieldValue(setM16MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells16 = get(setM16MAdderMAdderCells, 16);\r\n        ConcurrentNavigableMap setM17 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM17MAdder = ((LongAdder) getFieldValue(setM17, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM17MAdderMAdderCells = getFieldValue(setM17MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells17 = get(setM17MAdderMAdderCells, 17);\r\n        ConcurrentNavigableMap setM18 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM18MAdder = ((LongAdder) getFieldValue(setM18, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM18MAdderMAdderCells = getFieldValue(setM18MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells18 = get(setM18MAdderMAdderCells, 18);\r\n        ConcurrentNavigableMap setM19 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM19MAdder = ((LongAdder) getFieldValue(setM19, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM19MAdderMAdderCells = getFieldValue(setM19MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells19 = get(setM19MAdderMAdderCells, 19);\r\n        ConcurrentNavigableMap setM20 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM20MAdder = ((LongAdder) getFieldValue(setM20, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM20MAdderMAdderCells = getFieldValue(setM20MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells20 = get(setM20MAdderMAdderCells, 20);\r\n        ConcurrentNavigableMap setM21 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM21MAdder = ((LongAdder) getFieldValue(setM21, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM21MAdderMAdderCells = getFieldValue(setM21MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells21 = get(setM21MAdderMAdderCells, 21);\r\n        ConcurrentNavigableMap setM22 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM22MAdder = ((LongAdder) getFieldValue(setM22, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM22MAdderMAdderCells = getFieldValue(setM22MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells22 = get(setM22MAdderMAdderCells, 22);\r\n        ConcurrentNavigableMap setM23 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM23MAdder = ((LongAdder) getFieldValue(setM23, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM23MAdderMAdderCells = getFieldValue(setM23MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells23 = get(setM23MAdderMAdderCells, 23);\r\n        ConcurrentNavigableMap setM24 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM24MAdder = ((LongAdder) getFieldValue(setM24, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM24MAdderMAdderCells = getFieldValue(setM24MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells24 = get(setM24MAdderMAdderCells, 24);\r\n        ConcurrentNavigableMap setM25 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM25MAdder = ((LongAdder) getFieldValue(setM25, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM25MAdderMAdderCells = getFieldValue(setM25MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells25 = get(setM25MAdderMAdderCells, 25);\r\n        ConcurrentNavigableMap setM26 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM26MAdder = ((LongAdder) getFieldValue(setM26, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM26MAdderMAdderCells = getFieldValue(setM26MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells26 = get(setM26MAdderMAdderCells, 26);\r\n        ConcurrentNavigableMap setM27 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM27MAdder = ((LongAdder) getFieldValue(setM27, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM27MAdderMAdderCells = getFieldValue(setM27MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells27 = get(setM27MAdderMAdderCells, 27);\r\n        ConcurrentNavigableMap setM28 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM28MAdder = ((LongAdder) getFieldValue(setM28, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM28MAdderMAdderCells = getFieldValue(setM28MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells28 = get(setM28MAdderMAdderCells, 28);\r\n        ConcurrentNavigableMap setM29 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM29MAdder = ((LongAdder) getFieldValue(setM29, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM29MAdderMAdderCells = getFieldValue(setM29MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells29 = get(setM29MAdderMAdderCells, 29);\r\n        ConcurrentNavigableMap setM30 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM30MAdder = ((LongAdder) getFieldValue(setM30, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM30MAdderMAdderCells = getFieldValue(setM30MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells30 = get(setM30MAdderMAdderCells, 30);\r\n        ConcurrentNavigableMap setM31 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM31MAdder = ((LongAdder) getFieldValue(setM31, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM31MAdderMAdderCells = getFieldValue(setM31MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells31 = get(setM31MAdderMAdderCells, 31);\r\n\r\n        assertNull(finalSetMAdderCells0);\r\n\r\n        assertNull(finalSetMAdderCells1);\r\n\r\n        assertNull(finalSetMAdderCells2);\r\n\r\n        assertNull(finalSetMAdderCells3);\r\n\r\n        assertNull(finalSetMAdderCells4);\r\n\r\n        assertNull(finalSetMAdderCells5);\r\n\r\n        assertNull(finalSetMAdderCells6);\r\n\r\n        assertNull(finalSetMAdderCells7);\r\n\r\n        assertNull(finalSetMAdderCells8);\r\n\r\n        assertNull(finalSetMAdderCells9);\r\n\r\n        assertNull(finalSetMAdderCells10);\r\n\r\n        assertNull(finalSetMAdderCells11);\r\n\r\n        assertNull(finalSetMAdderCells12);\r\n\r\n        assertNull(finalSetMAdderCells13);\r\n\r\n        assertNull(finalSetMAdderCells14);\r\n\r\n        assertNull(finalSetMAdderCells15);\r\n\r\n        assertNull(finalSetMAdderCells16);\r\n\r\n        assertNull(finalSetMAdderCells17);\r\n\r\n        assertNull(finalSetMAdderCells18);\r\n\r\n        assertNull(finalSetMAdderCells19);\r\n\r\n        assertNull(finalSetMAdderCells20);\r\n\r\n        assertNull(finalSetMAdderCells21);\r\n\r\n        assertNull(finalSetMAdderCells22);\r\n\r\n        assertNull(finalSetMAdderCells23);\r\n\r\n        assertNull(finalSetMAdderCells24);\r\n\r\n        assertNull(finalSetMAdderCells25);\r\n\r\n        assertNull(finalSetMAdderCells26);\r\n\r\n        assertNull(finalSetMAdderCells27);\r\n\r\n        assertNull(finalSetMAdderCells28);\r\n\r\n        assertNull(finalSetMAdderCells29);\r\n\r\n        assertNull(finalSetMAdderCells30);\r\n\r\n        assertNull(finalSetMAdderCells31);\r\n    }\r\n    ///endregion\r\n\r\n    ///endregion\r\n\r\n    ///region Test suites for executable org.utbot.examples.collections.CollectionExample.testTreeSetWithoutComparable\r\n\r\n    ///region\r\n\r\n    @Test\r\n    public void testTestTreeSetWithoutComparable1() {\r\n        CollectionExample collectionExample = new CollectionExample();\r\n        \r\n        /* This test fails because method [org.utbot.examples.collections.CollectionExample.testTreeSetWithoutComparable] produces [java.lang.NullPointerException]\r\n            org.utbot.examples.collections.CollectionExample.testTreeSetWithoutComparable(CollectionExample.java:114) */\r\n        collectionExample.testTreeSetWithoutComparable(null);\r\n    }\r\n\r\n    @Test\r\n    public void testTestTreeSetWithoutComparable2() throws Exception {\r\n        CollectionExample collectionExample = new CollectionExample();\r\n        ConcurrentSkipListSet set = ((ConcurrentSkipListSet) createInstance(\"java.util.concurrent.ConcurrentSkipListSet\"));\r\n        ConcurrentSkipListMap concurrentSkipListMap = ((ConcurrentSkipListMap) createInstance(\"java.util.concurrent.ConcurrentSkipListMap\"));\r\n        Object index = createInstance(\"java.util.concurrent.ConcurrentSkipListMap$Index\");\r\n        Object node = createInstance(\"java.util.concurrent.ConcurrentSkipListMap$Node\");\r\n        setField(index, \"java.util.concurrent.ConcurrentSkipListMap$Index\", \"node\", node);\r\n        setField(concurrentSkipListMap, \"java.util.concurrent.ConcurrentSkipListMap\", \"head\", index);\r\n        LongAdder longAdder = ((LongAdder) createInstance(\"java.util.concurrent.atomic.LongAdder\"));\r\n        Object[] cellArray = createArray(\"java.util.concurrent.atomic.Striped64$Cell\", 2);\r\n        setField(longAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\", cellArray);\r\n        setField(longAdder, \"java.util.concurrent.atomic.Striped64\", \"base\", 0L);\r\n        setField(concurrentSkipListMap, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\", longAdder);\r\n        setField(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\", concurrentSkipListMap);\r\n\r\n        boolean actual = collectionExample.testTreeSetWithoutComparable(set);\r\n\r\n        assertFalse(actual);\r\n\r\n        ConcurrentNavigableMap setM = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setMMAdder = ((LongAdder) getFieldValue(setM, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setMMAdderMAdderCells = getFieldValue(setMMAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells0 = get(setMMAdderMAdderCells, 0);\r\n        ConcurrentNavigableMap setM1 = ((ConcurrentNavigableMap) getFieldValue(set, \"java.util.concurrent.ConcurrentSkipListSet\", \"m\"));\r\n        LongAdder setM1MAdder = ((LongAdder) getFieldValue(setM1, \"java.util.concurrent.ConcurrentSkipListMap\", \"adder\"));\r\n        Object setM1MAdderMAdderCells = getFieldValue(setM1MAdder, \"java.util.concurrent.atomic.Striped64\", \"cells\");\r\n        Object finalSetMAdderCells1 = get(setM1MAdderMAdderCells, 1);\r\n\r\n        assertNull(finalSetMAdderCells0);\r\n\r\n        assertNull(finalSetMAdderCells1);\r\n    }\r\n    ///endregion\r\n\r\n    ///endregion\r\n~~~\r\n\r\n**Environment**\r\n\r\nWindows 10 Pro\r\nIntelliJ IDEA 2022.1.4 (JBR 11)\r\nUTBotJava project (Gradle , JDK 11)\r\n\r\n**Additional context**\r\n\r\nCode taken from PR - #988 \r\n","author":{"url":"https://github.com/alisevych","@type":"Person","name":"alisevych"},"datePublished":"2022-11-01T14:08:47.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/1282/UTBotJava/issues/1282"}