Improve summaries for sandboxed tests by Symbolic execution

[alisevych]

Description

Summaries are missing when the test is generated for code with unpermitted operations in Threads.
And when Symbolic execution is used only.

To Reproduce

Steps from #895
Plus Fuzzing is OFF - only Symbolic engine is on:

Expected behavior

Generated test should have Description, Java doc, region should be named - accordingly.

New kind of tests handling by Summaries should be considered.

• Test name?
• Java doc?
• Which region name would be appropriate for tests disabled due to sandbox ?

Actual behavior

Generated tests are not disabled due to Sandbox. And do not have any description or Java doc. Region name is empty too.
When Fuzzing mode is on - description and region name is generated.

Visual proofs (screenshots, logs, images)

public class SecurityCheckTest {
    ///region Test suites for executable SecurityCheck.read

    ///region

    @Test
    public void testRead1() throws Throwable {
        SecurityCheck securityCheck = new SecurityCheck();

        int actual = securityCheck.read();

        assertEquals(10, actual);
    }
    ///endregion

    ///endregion
}

Environment

Windows 10 Pro
IntelliJ IDEA 2022.1.4
JDK 8

[alisevych]

Depends on #895

[amandelpie]

Unfortunately I have no idea who could help with this issue, probably @Markoutte or @EgorkaKulikov