UTBotCpp

UTBotCpp copied to clipboard

ladisgin

Test run linkage problem on ubuntu 22.04 `error: undefined reference to 'memmove_s'`

ladisgin

ladisgin

**Description** Then final IR module contains external `CPP` variable. `KLEE` fail with ``` KLEE: ERROR: Unable to load symbol ``` **Solution** For solution can be used globals from `Annotation` branch,...

ladisgin

**Description** I tried to generate tests for the integration-tests/c-example project and receive this message with an error: > RESOURCE_EXHAUSTED: Received message larger than max (5124057 vs. 4194304) This prevents any...

bstee615

Only one test generates for function

1

For code ``` #include int min8(int a, int b) { if(a > b) { printf("a:%d, b:%d", a, b); b = abs(b); return b; } else { printf("a:%d, b:%d", a, b);...

ladisgin

**Description** If a type name equals variable name then klee file cannot be compiled in some cases. **Example** ```c typedef struct { int fld; } str; int cas(str *str, int...

IDKWNTCMF

**Description** In C we can use nested structs as function parameters without parent struct typename. But wrappers for such functions cannot be compiled with C++ compilers **Example** ```c struct MainStruct...

IDKWNTCMF

**Description** In C we can define a struct and a typedef with the same type name. But this won`t compile with C++ compilers. **To Reproduce** Steps to reproduce the behavior:...

IDKWNTCMF

**Description** If a file contains extern variables then generated tests cannot be executed. **To Reproduce** Steps to reproduce the behavior: 1. Generate tests for https://github.com/UnitTestBot/UTBotCpp/blob/main/integration-tests/c-example/lib/globals.c 2. Try to run generated...

IDKWNTCMF