Vladislav Kalugin

*Incorrect link library.* When the linker links a library, it uses symbols only when necessary. KLEE link all files same as object, as result it fail with `multiply defined` if...

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

**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,...

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);...

**To Reproduce** Steps to reproduce the behavior: 1. Open the [JQ](https://github.com/stedolan/jq) project in IDE 2. Use plugin to generate tests 3. Run the generated test **Expected behavior** Tests are supposed...

**Description** Sometimes UTBot may break `clients.json` and fail to startup

**To Reproduce** Steps to reproduce the behavior: 1. Open the [JQ](https://github.com/stedolan/jq) project in IDE 2. Use plugin to generate tests 3. Run the generated test **Expected behavior** Tests are supposed...

## List of flaky CI tests ### Unit tests - [ ] #581 - [ ] #584 ### Integration tests - [ ] #582