@utbot.triggersRecursion tag is missing

Description

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

To Reproduce

Run the UTBot project in IntelliJ Idea 2022.1.4
Install plugin
Check: File -> Settings -> Tools -> UnitTestBot -> Javadoc comment style is "Structured via custom Javadoc tags"
Open the utbot-sample/src/main/java/org/utbot/examples/recursion/Recursion.java file
Generate tests for the methods
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

@amandelpie

@amandelpie

@alisevych

Thanks @alisevych , probably it will be fixed in the next release looks like missed and unsupported functionlity

@amandelpie

@amandelpie
Issue is reproducing on the latest main
Please check

@alisevych

Thanks for the signal, @alisevych will do a check during next 2 weeks

With Symbolic Execution = 90% I've obtained

    /**
     * @utbot.classUnderTest {@link Recursion}
     * @utbot.methodUnderTest {@link Recursion#fib(int)}
     * @utbot.executesCondition {@code (n < 0): False}
     * @utbot.executesCondition {@code (n == 0): False}
     * @utbot.executesCondition {@code (n == 1): False}
     * @utbot.triggersRecursion fib, where the test execute conditions:
     * {@code (n == 1): True}
     * return from: {@code return 1;}
     * @utbot.returnsFrom {@code return fib(n - 1) + fib(n - 2);}
     */
    @Test
    @DisplayName("fib: n == 1 : True -> return 0")
    public void testFib_NEquals1() {
        Recursion recursion = new Recursion();

        int actual = recursion.fib(2);

        assertEquals(1, actual);
    }

Looks like we have the same test but with different metadata

@amandelpie

@amandelpie Not reproducing for me either - on the latest main. Verified on IDEA 2022.1.4 and 2022.2.3

I think it is not a bug, looks like a result of soot analysis, sometimes it is missed the recursion

Navigation Menu

Repository navigation

@utbot.triggersRecursion tag is missing #1014

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

@utbot.triggersRecursion tag is missing #1014

Description

Activity

alisevych commented on Sep 26, 2022

amandelpie commented on Sep 28, 2022

alisevych commented on Nov 1, 2022

amandelpie commented on Nov 1, 2022

amandelpie commented on Nov 2, 2022

alisevych commented on Nov 2, 2022

amandelpie commented on Nov 2, 2022

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions