-
Couldn't load subscription status.
- Fork 30
Closed
Labels
bugSomething isn't workingSomething isn't working
Description
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_consonantfromc-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);
}Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't working
Type
Projects
Status
Done