Description
There are hundreds of error messages in the UTBot log. Looks like the problem is in the concrete executor.
To Reproduce
- Generate tests for function
vowel_consonant from c-example/lib/stubs/stubs.c
- Run tests
- See that tests fail
Expected behavior
Tests are supposed to be pass.
Actual behavior
Tests generated without fill vowel_consonant_vowel_symbolic array for stubs call value.
Visual proofs (screenshots, logs)
TEST(regression, vowel_consonant_test_1)
{
int actual = vowel_consonant('c', _vowel_consonant_vowel_stub);
EXPECT_EQ(1, actual);
}