Skip to content

@utbot.triggersRecursion tag is missing #1014

Closed
@alisevych

Description

@alisevych

Description

@utbot.triggersRecursion tag is missing for Recursion.fib(int n) tests

To Reproduce

  1. Run the UTBot project in IntelliJ Idea 2022.1.4
  2. Install plugin
  3. Check: File -> Settings -> Tools -> UnitTestBot -> Javadoc comment style is "Structured via custom Javadoc tags"
  4. Open the utbot-sample/src/main/java/org/utbot/examples/recursion/Recursion.java file
  5. Generate tests for the methods
  6. Open the generated test

Expected behavior

Tests with input n >= 1 are supposed to have @utbot.triggersRecursion tag in Java doc.

Actual behavior

Tests with input (n = 1), (n = 2) do not have @utbot.triggersRecursion tag in Java doc.

Visual proofs (screenshots, logs, images)

    /**
     * @utbot.classUnderTest {@link Recursion}
     * @utbot.methodUnderTest {@link Recursion#fib(int)}
     * @utbot.executesCondition {@code (n == 1): False}
     * @utbot.returnsFrom {@code return fib(n - 1) + fib(n - 2);}
     */
    @Test
    @DisplayName("fib: return 1 -> return 0")
    public void testFib_NNotEquals1() {
        Recursion recursion = new Recursion();

        int actual = recursion.fib(2);

        assertEquals(1, actual);
    }

Environment

Windows 10 Pro
Gradle project
JDK 11

Metadata

Metadata

Labels

comp-summariesSomething related to the method names, code comments and display names generationctg-bugIssue is a bugspec-release-tailingsFailed to include in the current release, let's include it in the next onestatus-verifiedBug fix is verified

Type

No type

Projects

Status

Done

Relationships

None yet

Development

No branches or pull requests

Issue actions