UTBotCpp
UTBotCpp copied to clipboard
Regression tests failure for c-example [C standard test]
Description Regression tests generated for c-example/src/calc.c fail.
To Reproduce Steps to reproduce the behavior:
- 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);
}
- Run tests
Expected behavior
Regression tests are supposed to be passed but regression test failed.
Environment UTBot version 2022.7.0