UTBotCpp icon indicating copy to clipboard operation
UTBotCpp copied to clipboard

Regression tests failure for c-example [C standard test]

Open belous-dp opened this issue 3 years ago • 0 comments

Description Regression tests generated for c-example/src/calc.c fail.

To Reproduce Steps to reproduce the behavior:

  1. Generate tests for the file c-example/src/calc.c. See generated tests:
TEST(regression, calc_two_numbers_test_1) { // PASSED
    int actual = calc_two_numbers('a', 0, 0);
    EXPECT_EQ(-1, actual);
}

TEST(regression, f_test_1) { // PASSED
    int actual = f(0);
    EXPECT_EQ(0, actual);
}

TEST(regression, other_module_call_test_1) { // PASSED
    int actual = other_module_call(0);
    EXPECT_EQ(2, actual);
}

TEST(regression, other_module_call_test_2) { // FAILED (actual is 2)
    int actual = other_module_call(0);
    EXPECT_EQ(1, actual);
}

TEST(regression, calc_two_numbers_f_test_1) { // PASSED
    int actual = calc_two_numbers_f('c', 'g');
    EXPECT_EQ(2, actual);
}

TEST(regression, calc_two_numbers_f_test_2) { // FAILED (actual is 2)
    int actual = calc_two_numbers_f('c', 'c');
    EXPECT_EQ(1, actual);
}
  1. Run tests

Expected behavior

Regression tests are supposed to be passed but regression test failed.

Environment UTBot version 2022.7.0

belous-dp avatar Jul 13 '22 15:07 belous-dp