UTBotCpp

UTBotCpp copied to clipboard

Though I'm not sure if it's more problem of identical tests or we just need prettify SARIF report. **To Reproduce** 1. Generate tests for following code: ```c #include int main(int...

tyuldashev

[BUG] Not enough tests generated for 'double' and 'long double'

1

**Description** Depending on parameter and variable types UBot generates diffirent number of tests. For `double` and `long double` it generates less than for `float`. **To Reproduce** Generate tests for following...

tyuldashev

**Description** When struct is passed to a function by reference, and this function returns struct, assumptions are generated only for the parameter. No assumptions are generated for the result. **To...

belous-dp

**Description** Regression tests weren't generated at all for lots of cases that contains array as a function parameter: 1. array of fixed known size more than 10 2. dynamic array...

belous-dp

**Description** After UTBot installed into VSCode it provides many different commands in contex menu (see pic below). They have keybindings displayed in that menu, but none of them works till...

tyuldashev

**Description** Changing `CMake` configuration files doesn't lead to regeneration of `compile_commands.json`, so UBot fails to generate tests and provides no help to resolve the problem. **To Reproduce** 1. Create simple...

tyuldashev

https://github.com/UnitTestBot/klee/blob/e1a2b064fcb0fe4a891c18f6310334b4ff6a87f7/lib/Core/Executor.cpp#L2918 ``` case Instruction::BitCast: { ref result = eval(ki, 0, state).value; BitCastInst *bc = cast(ki->inst); if(UseGEPExpr && isGEPExpr(result)) { unsigned size = bc->getType()->isPointerTy() ? kmodule->targetData->getTypeStoreSize(ki->inst->getType()->getPointerElementType()) : kmodule->targetData->getTypeStoreSize(ki->inst->getType()); gepExprBases[result] = {gepExprBases[result].first,...

S1eGa

**Description** If generate compile database from cmake without run make. Some path from `compile_commands.json` can be does not exest. Function like getFullPath check that directory exist. And return relative path....

ladisgin

**Description** Regression tests generated for [c-example/src/calc.c](https://github.com/UnitTestBot/UTBotCpp/blob/05a4baaf8394f02d0ff42a06ed20283f24690372/integration-tests/c-example/src/calc.c) fail. **To Reproduce** Steps to reproduce the behavior: 1. Generate tests for the file [c-example/src/calc.c](https://github.com/UnitTestBot/UTBotCpp/blob/05a4baaf8394f02d0ff42a06ed20283f24690372/integration-tests/c-example/src/calc.c). See generated tests: ```cpp TEST(regression, calc_two_numbers_test_1) { // PASSED...

belous-dp

link_commands.json is different for Bear and CMake

1

From what I have seen, Bear and CMake provide different link_commands.json on the test project from [that commit](https://github.com/UnitTestBot/UTBotCpp/commit/354699397d1c2411182daee4137c46e149cf3dbb). In short, it seems like Bear doesn't treat the installed library like...

operasfantom