Skip to content

Timeout 0 ms on Problems view for a Successful symbolic execution #1917

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
alisevych opened this issue Mar 9, 2023 · 0 comments
Open

Timeout 0 ms on Problems view for a Successful symbolic execution #1917

alisevych opened this issue Mar 9, 2023 · 0 comments
Labels
comp-sarif Issue is related to SARIF report or Problems tab comp-symbolic-engine Issue is related to the symbolic execution engine ctg-bug Issue is a bug lang-java Issue is related to Java support

Comments

@alisevych
Copy link
Member

Description

An error is shown on Problems view
Timeout 0 ms for phase StatisticsCollectionPhase elapsed, controller timeout - 2
for a successful test generated with Symbolic engine.

To Reproduce

  1. Run the 'utbot' project in IntelliJ Idea 2022.2 Ultimate
  2. Install the latest IU plugin built from main - take utbot-intellij-IU-2023.3.* artefact
  3. Use plugin to generate tests for org/utbot/examples/mock/others package
    with default settings (Fuzzing/Symbolic) and Mock everything outside package and Do NOT mock static methods
  4. Check errors detected by UnitTestBot on Problems view and SARIF-report for SideEffectApplier
  5. Navigate to the generated test

Expected behavior

Errors are not expected for successful executions.
Or they should be considered as error-prone.

Actual behavior

The following error is shown on Problems view:
"Unexpected behavior: Timeout 0 ms for phase StatisticsCollectionPhase elapsed, controller timeout - 2.\nTest case: applySideEffect(<ExampleClass>)\nGenerated test for this case"

Visual proofs (screenshots, logs, images)

image

    ///region SYMBOLIC EXECUTION: SUCCESSFUL EXECUTIONS for method applySideEffect(org.utbot.examples.mock.service.impl.ExampleClass)

    /**
     * @utbot.classUnderTest {@link SideEffectApplier}
     * @utbot.methodUnderTest {@link SideEffectApplier#applySideEffect(ExampleClass)}
     */
    @Test
    @DisplayName("applySideEffect: ")
    public void testApplySideEffect() {
        SideEffectApplier sideEffectApplier = new SideEffectApplier();
        ExampleClass aMock = mock(ExampleClass.class);
        aMock.field = 1;

        sideEffectApplier.applySideEffect(aMock);

        int finalAMockField = aMock.field;

        assertEquals(2, finalAMockField);
    }
    ///endregion

SideEffectApplierReport.sarif

Environment

Windows 10 Pro
IntelliJ IDEA 2022.2.4 Ultimate
Gradle, JDK 11

Additional context

The following bug reproduced with this scenario simultaneously:

@alisevych alisevych added ctg-bug Issue is a bug comp-symbolic-engine Issue is related to the symbolic execution engine comp-sarif Issue is related to SARIF report or Problems tab labels Mar 9, 2023
@alisevych alisevych added the lang-java Issue is related to Java support label Mar 14, 2023
@mmvpm mmvpm removed their assignment Apr 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
comp-sarif Issue is related to SARIF report or Problems tab comp-symbolic-engine Issue is related to the symbolic execution engine ctg-bug Issue is a bug lang-java Issue is related to Java support
Projects
Status: Todo
Development

No branches or pull requests

2 participants