Timur Yuldashev

[BUG] Timeout from setting is not used during test generation

3

**Description** It seems that timeout set in VSCode extension settings is not applied during test generation. Or it covers another error. **To Reproduce** Steps to reproduce the behavior: 1. Open...

Cannot run test generated for structures named after C++ keyword

1

**Description** It seems that some C++ keywords cannot be used as structure names in C code, because generated tests cannot be run. For instance `and` and probably others. **To Reproduce**...

`jq` project: UTBot cannot generate tests, KLEE internal errors, Plugin cannot re-connect to the server

1

**Description** In most cases when tests are generated for `jq` project it results in error like 'function is too complex', 'syntax is not supported' or 'KLEE internal error'. Also after...

**Description** In case there is `ferror` check in user code then UTBot may generate regression test which fails **To Reproduce** Generate and run tests for following code: ```c #include int...

**Description** If user code accepts file name as parameter then opens and read it, then UTBot generates improper file names and tests fail with errors. **To Reproduce** Generate and run...

**Description** Whenever user includes `immintrin.h` file it causes many errors during compilation on server side and inability to generate tests. **To Reproduce** 1. Add line `#include` to some existing and...

**To Reproduce** Steps to reproduce the behavior: 1. Enable Verbose Formatting for UTBot 2. Generate tests for following code ```c size_t min_size_t(size_t a, size_t b) { if (a < b)...

**Description** Colorization of coverage report for `switch` looks inconsistent, for instance `case:` line may be shown uncovered while inside that branch everything is covered. **To Reproduce** Generate and run tests...

**Description** Sometimes when target is explicitly selected UTBot generates two test with identical steps, but with different expected results. **To Reproduce** Steps to reproduce the behavior: 1. Open `c-example` project...

**To Reproduce** Run and execute tests for following code: ```c #include void *memset(void *s, int c, size_t count) { char *xs = s; while (count--) *xs++ = c; return s;...