-
Notifications
You must be signed in to change notification settings - 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_consonant
fromc-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