Only one test generates for function

[ladisgin]

For code

#include <stdlib.h>

int min8(int a, int b) {
    if(a > b) {
        printf("a:%d, b:%d", a, b);
        b = abs(b);
        return b;
    } else {
        printf("a:%d, b:%d", a, b);
        a = abs(a);
        return a;
    }
}

Generates only one test

TEST(regression, min8_test1)
{
    int actual = min8(0, 0);
    EXPECT_EQ(0, actual);
}

Waiting at least two tests

[ladisgin]

Problem with -disable-O0-optnone compiler flag Not reproduce on main branch of KLEE