UTBotCpp

UTBotCpp copied to clipboard

**Description** Input file preparation usually contains following line: `struct _IO_FILE * fA = (UTBot::FILE *) fopen("../../../tests/src/A", "r");` Which uses three types to reference a file: * `struct _IO_FILE` * `UTBot::FILE`...

tyuldashev

**Description** In verbose mode lines which create test input files should be part of 'Construct input' section instead of being outside of any section. **To Reproduce** Steps to reproduce the...

tyuldashev

**Description** Currently test file content is formed from number of adjacent one-letter stings. It would take less space and would be easier to read if that would be just one...

tyuldashev

**Description** We would like to optimize the process of testing on a real-life projects. **Expected behavior** When bug on a real-life project is found it should be easy to reproduce...

Lana243

There are always error in log and link to another empty log files

1

**Description** Sometimes when KLEE fails only empty log file generated, so it's difficult to investigate the problem **To Reproduce** Steps to reproduce the behavior: 1. Create simple CPP project with...

tyuldashev

**Description** Sometimes CLion integration tests fail in workflow run. **To Reproduce** Could not reproduce it locally on my machine. To catch it in ci, launch the job `Build UTBot and...

vol0n

[BUG] KLEE internal error when generating test with function pointer

1

**To Reproduce** Generate tests for following code: ```c int compare(const void *a, const void *b) { return (*(char *)a - *(char *)b); } void my_test(char *str) { qsort(str, strlen(str), sizeof(char),...

tyuldashev

[BUG] Array parameter initialized with simple type

1

**Description** In case function accept array as parameter but simply pass it to another function and does not access its element, UTBot initialize such parameter without array. **To Reproduce** ```c...

tyuldashev

**Description** Add support for __int128 and unsigned __int128. **Example** #include ```cpp unsigned __int128 int128_mult(unsigned long long a, unsigned long long b) { unsigned __int128 mult = a; mult *= b;...

belous-dp

Unstable tests generation for signed/unsigned loops [C standard test]

1

**Description** Tests generation for `for` loops is broken. Somehow the tests for one function depend on another function, although the functions themselves do not depend on each other. The issue...

belous-dp